The blind spot
by Jean-Yves Girard · first published 2011
9mentions
4recommended by
6HN commenters
2016–2024first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
The Blind Spot: Lectures On Logic by Jean Yves-Girard For context, Girard is a mathematical logician, philosopher, and co-discoverer of the type system System F (Haskell, ML, etc.). The book is a monograph on proof…
on “Ask HN: What are the most eye-opening textbooks you have ever read?” ↗Jean-Yves Girard's The Blind Spot (2011) may be a better read for those who find this review a bit woo.
on “What Scientists Can't See: "The Blind Spot"” ↗…with the dryness of "logic of the 20th century". If you like the idea of an energetic approach to reconceptualize philosophy, in particular the philosophy of logic, I recommend reading Girard's work. The Blind Spot: Lectures on Logic is an organized survey of logic starting with Hilbert's formalism and ending up in the operator algebras of Geometry of Interaction. Along the way, Girard's combative, highly opinionated…
on “How Robert Nozick put a purple prose bomb under analytical philosophy” ↗"The Blind Spot: Lectures on Logic" by Jean-Yves Girard
on “Ask HN: What's Prolog like in 2024?” ↗…[7] https://ncatlab.org/nlab/show/groupoid+cardinality Alternately alternately alternately, foundational madness of the best kind. [8] http://www.forkinganddividing.com/ [9] https://www.amazon.com/Blind-Spot-Lectures-Logic/dp/30371908...
on “The Beauty of Roots (2011)” ↗…found in the work of Jean-Yves Girard. In particular, the opposition of syntax/semantics is criticized. Girard prefers to treat proofs as mathematical objects in of themselves, i.e. realizability. See The Blind Spot [2] and if you read French, [3] is a non-technical explanation of his post-classical logical ideas. [1] https://www.urbanomic.com/book/synthetic-philosophy-of-conte... [2] https://www.maa.org/press/maa-reviews/the-blind-spot-lecture...…
on “Philosophy Needs a New Definition” ↗…putting side by side of logical rules, it is a global perception: since I had found the concept of empire, I had my theorem and the faulty lemma was hardly more than a misprint." - Jean-Yves Girard, The Blind Spot
on “Why doesn't mathematics collapse, though humans often make mistakes in proofs?” ↗Girard is French, and The Blind Spot is best understood as a piece of continental philosophy, not analytic. The short version is that back in the late 60s, Althusser suggested that fields of knowledge inherently have "a blind spot" -- his…
on “How Robert Nozick put a purple prose bomb under analytical philosophy” ↗See Girard, The Blind Spot: Lectures on Logic (2011) for some attempts at tackling this question. (in particular, his "proof nets" attempt to have a canonical form, such that we can identify differently drawn concrete proof nets…
on “When are two proofs essentially the same? (2007)” ↗