从弗雷格到哥德尔
From Frege to Gödel
Jean van Heijenoort · 初版 1967 年
- 7次提及
- 3人推荐
- 5位 HN 评论者
Hacker News 读者推荐
……和谓词逻辑是E·J·莱蒙（E. J. Lemmon）写的《逻辑学入门》（Beginning Logic）。http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... 另外，涵盖现代逻辑史的绝佳原始文献合集是让·范·海耶诺特（Jean van Heijenoort）主编的《从弗雷格到哥德尔……》（From Frege to Godel...）。http://www.amazon.com/Frege-Godel-Mathematical-1879-1931-Sci...
daviddaviddavid 在 HN 的推荐
我推荐安德鲁·霍奇斯（Andrew Hodges）。读读这个感受一下：丘奇和图灵是否有关于机器的命题？[1]（剧透预警：可能有） 至于逻辑史，让·范·海耶诺特[2]加了注释的文献选集《从弗雷格到哥德尔》[3]非常精彩。 顺便说一句，我觉得你关于（辉格史观）的直觉是对的。 [1]: http://www.turing.org.uk/publications/ct70.pdf [2]: https://en.wikipedia.org/w
pron 在 HN 的推荐
> 能发一些你引用的参考资料链接吗？看起来很有意思。 没问题。 最好先从让·范·海耶诺特开创性的《从弗雷格到哥德尔：数理逻辑源流录（1879-1931）》（From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931）[1]入手。里面收录了希尔伯特、布劳威尔等许多人的原著文本，不过我个人觉得最有意思的文本是赫尔曼·外尔（Hermann Weyl）的，我在这里[2]几乎全文引用了（用
pron 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0674324498
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。