Clip
Is Mathematical Proof a Language?
The podcast explores the question of whether producing mathematical output is similar to producing linguistic output. It discusses famous stories and examples of how mathematical proofs were presented by using diagrams and pictures instead of verbal language, and reflects upon whether consciousness is merely an extra layer on top of cognition.