……和谓词逻辑是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...
…and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean van Heijenoort. http://www.amazon.com/Frege-Godel-Mathematical-1879-1931-Sci...
I would recommend Andrew Hodges. Read this to get a taste: Did Church and Turing Have a Thesis about Machines?[1] (spoiler alert: probably)
For the history of logic, Jean van Heijenoort's[2] annotated anthology, From Frege to Gödel[3] is fascinating.
And, BTW, I think your hunch (about Whig history) is correct.
[1]: http://www.turing.org.uk/publications/ct70.pdf
[2]: https://en.wikipedia.org/w
> 能发一些你引用的参考资料链接吗？看起来很有意思。
没问题。
最好先从让·范·海耶诺特开创性的《从弗雷格到哥德尔：数理逻辑源流录（1879-1931）》（From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931）[1]入手。里面收录了希尔伯特、布劳威尔等许多人的原著文本，不过我个人觉得最有意思的文本是赫尔曼·外尔（Hermann Weyl）的，我在这里[2]几乎全文引用了（用
> Can you link to some of the references you cite? That seems like an interesting read.
Sure.
It's best to start with Jean van Heijenoort's seminal From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931[1]. It includes the original texts by Hilbert, Brouwer and many others, but the text I personally found most interesting was Hermann Weyl's, which I quoted here[2] nearly in full (in
很适合和《GEB》（哥德尔、艾舍尔、巴赫）搭配阅读的一本书是《从弗雷格到哥德尔：数理逻辑源流录》（From Frege to Godel: A Source Book in Mathematical Logic）。对于觉得《GEB》风格有点过于奇特的人来说，这本书显然也更合适。当然，如果你只是单纯想读懂证明本身，还有内格尔（Nagel）的《哥德尔证明》（Gödel's Proof）。
A nice book to pair with GEB is /From Frege to Godel: A Source Book in Mathematical Logic/. Certainly also better for someone who might find GEB a bit too idiosyncratic. And, of course, if you want to simply read the proof, there's Nagel's /Gödel's Proof/.
Here is a the letter from Russel to Jean van Heijenoort in response to the latter's request to print the correspondence between Russell/Frege in "From Frege to Godel" (https://plato.stanford.edu/entries/russell-paradox/). ---- As I think about acts of integrity and grace, I realise that there is nothing in my knowledge to compare with Frege’s dedication to truth.…
…the soundness comment? I share a fellow siblings comment of a little skepticism? But I'm neither a professionally nor scholarly logician, though I've read and owned (a couple of times) Van Heijenoorts From Frege to Godel, so feel free to throw some meat my way if you follow up with this comment.
……和谓词逻辑是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...
…and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean van Heijenoort. http://www.amazon.com/Frege-Godel-Mathematical-1879-1931-Sci...
我推荐安德鲁·霍奇斯（Andrew Hodges）。读读这个感受一下：丘奇和图灵是否有关于机器的命题？[1]（剧透预警：可能有） 至于逻辑史，让·范·海耶诺特[2]加了注释的文献选集《从弗雷格到哥德尔》[3]非常精彩。 顺便说一句，我觉得你关于（辉格史观）的直觉是对的。 [1]: http://www.turing.org.uk/publications/ct70.pdf [2]: https://en.wikipedia.org/w
I would recommend Andrew Hodges. Read this to get a taste: Did Church and Turing Have a Thesis about Machines?[1] (spoiler alert: probably) For the history of logic, Jean van Heijenoort's[2] annotated anthology, From Frege to Gödel[3] is fascinating. And, BTW, I think your hunch (about Whig history) is correct. [1]: http://www.turing.org.uk/publications/ct70.pdf [2]: https://en.wikipedia.org/w
> 能发一些你引用的参考资料链接吗？看起来很有意思。 没问题。 最好先从让·范·海耶诺特开创性的《从弗雷格到哥德尔：数理逻辑源流录（1879-1931）》（From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931）[1]入手。里面收录了希尔伯特、布劳威尔等许多人的原著文本，不过我个人觉得最有意思的文本是赫尔曼·外尔（Hermann Weyl）的，我在这里[2]几乎全文引用了（用
> Can you link to some of the references you cite? That seems like an interesting read. Sure. It's best to start with Jean van Heijenoort's seminal From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931[1]. It includes the original texts by Hilbert, Brouwer and many others, but the text I personally found most interesting was Hermann Weyl's, which I quoted here[2] nearly in full (in
很适合和《GEB》（哥德尔、艾舍尔、巴赫）搭配阅读的一本书是《从弗雷格到哥德尔：数理逻辑源流录》（From Frege to Godel: A Source Book in Mathematical Logic）。对于觉得《GEB》风格有点过于奇特的人来说，这本书显然也更合适。当然，如果你只是单纯想读懂证明本身，还有内格尔（Nagel）的《哥德尔证明》（Gödel's Proof）。
A nice book to pair with GEB is /From Frege to Godel: A Source Book in Mathematical Logic/. Certainly also better for someone who might find GEB a bit too idiosyncratic. And, of course, if you want to simply read the proof, there's Nagel's /Gödel's Proof/.
这是罗素写给让·范·海耶诺特的回信，回应后者希望在《从弗雷格到哥德尔》中刊印罗素与弗雷格通信的请求（https://plato.stanford.edu/entries/russell-paradox/）。---- 当我思考什么是正直与崇高时，我意识到在我的认知里，没有任何事物能比得上弗雷格对真理的献身精神。……
Here is a the letter from Russel to Jean van Heijenoort in response to the latter's request to print the correspondence between Russell/Frege in "From Frege to Godel" (https://plato.stanford.edu/entries/russell-paradox/). ---- As I think about acts of integrity and grace, I realise that there is nothing in my knowledge to compare with Frege’s dedication to truth.…
……那个关于可靠性（soundness）的评论？我和同楼另一位网友一样，也抱有一点怀疑？但我既不是专业逻辑学家，也不是从事这方面研究的学者，虽然我读过且买过（好几次）范·海耶诺特的《从弗雷格到哥德尔》，所以如果你接着这个评论回复的话，尽管甩点硬核干货过来吧。
…the soundness comment? I share a fellow siblings comment of a little skepticism? But I'm neither a professionally nor scholarly logician, though I've read and owned (a couple of times) Van Heijenoorts From Frege to Godel, so feel free to throw some meat my way if you follow up with this comment.