Tag: math
-
The Blind Spot: Lectures on Logic
Jean-Yves Girard’s The Blind Spot: Lectures on Logic is an exposition of proof theory, challenging established notions and inviting reconsideration of the nature of mathematical knowledge. Intended for postgraduate students and researchers in logic, this work transcends mere technical exposition to engage with the philosophical underpinnings of logic itself, dissecting the relationship between questions and…
Simon Gros 