盲点
The blind spot
Jean-Yves Girard · 初版 2011 年
- 9次提及
- 4人推荐
- 6位 HN 评论者
Hacker News 读者推荐
Jean-Yves Girard 的《The Blind Spot: Lectures On Logic》。补充点背景，Girard 是一位数理逻辑学家、哲学家，也是类型系统 System F（Haskell、ML 等）的共同提出者。这本书是一部关于证明……
lambdaxymox 在 HN 的推荐
如果有人觉得这篇评论有点玄乎（woo），那让-伊夫·吉拉尔的《The Blind Spot》（2011）读起来可能会更好一点。
082349872349872 在 HN 的推荐
……忍受“20 世纪逻辑学”的枯燥乏味。如果你喜欢用一种充满活力的方式来重构哲学概念（尤其是逻辑哲学），我强烈推荐读读 Girard 的著作。《The Blind Spot: Lectures on Logic》是对逻辑学一次系统性的梳理，从希尔伯特的形式主义讲起，一直延伸到 Geometry of Interaction 的算子代数。一路读下来，Girard 那极具攻击性、主观色彩浓烈的……
danharaj 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3037190884
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。