Can anyone recommend other interesting biographies of mathematicians? I personally enjoyed this biography of Alfred Tarski (http://en.wikipedia.org/wiki/Alfred_Tarski): http://www.amazon.com/Alfred-Tarski-Cambridge-Concise-Histor...
…(Saul Kripke) Zen and the Art of Motorcycle Maintenance (Robert Pirsig) There are others, and a lot of essays (by thinkers like Bertrand Russell, Carl Hempel, Hilary Putnam, WVO Quine, Karl Popper, Alfred Tarski, Gottlob Frege, David Chalmers, Daniel Dennett, Michel Foucault, Jean Baudrillard, Mikhail Bakunin, CS Peirce, and David Hume, among many others), but these seem apropos as they most readily came to mind.
…of the authors of HtDP: CS19. You can find it here: https://learnaifromscratch.github.io/software. I have two favorite math books that have helped me understand more math: 1. Introduction to Logic by Alfred Tarski 2. Vector Calculus by Hubbard and Hubbard What are yours?
我个人非常喜欢阿尔弗雷德·塔斯基的书《Introduction to Logic and to the Methodology of Deductive Sciences》。波兰语第一版写于1936年，英文版现在依然可以在 Dover 买到：https://store.doverpublications.com/048628462x.html
I personally really like Alfred Tarski's book "Introduction to Logic and to the Methodology of Deductive Sciences". The first Polish edition was written in 1936 and the English version is still available from Dover: https://store.doverpublications.com/048628462x.html
说得好。我也强烈推荐大家都去读读伟大逻辑学家阿尔弗雷德·塔斯基的经典著作《Introduction to Logic: And to the Methodology of Deductive Sciences》，去真正搞懂形式推理（Formal Reasoning）所基于的“逻辑”到底是什么。
Well said. Also i highly recommend everybody to read the great logician Alfred Tarski's classic book Introduction to Logic: And to the Methodology of Deductive Sciences to really understand "Logic" which is what Formal Reasoning is based on.
…off by the "implication" logical operator (evaluates to True when the antecedent is False irrespective of the consequent). But if you use some actual domain examples then it becomes clear why it is so. Alfred Tarski's classic book mentioned above does a good job of building up logic from the first principles and hence is a great companion to any standard textbook.
有人能推荐其他有趣的数学家传记吗？我个人很喜欢阿尔弗雷德·塔斯基（Alfred Tarski，http://en.wikipedia.org/wiki/Alfred_Tarski）的这本传记：http://www.amazon.com/Alfred-Tarski-Cambridge-Concise-Histor...
Can anyone recommend other interesting biographies of mathematicians? I personally enjoyed this biography of Alfred Tarski (http://en.wikipedia.org/wiki/Alfred_Tarski): http://www.amazon.com/Alfred-Tarski-Cambridge-Concise-Histor...
……（Saul Kripke）；《禅与摩托车维修艺术》（Robert Pirsig）。还有其他的，以及大量论文（来自 Bertrand Russell、Carl Hempel、Hilary Putnam、WVO Quine、Karl Popper、Alfred Tarski、Gottlob Frege、David Chalmers、Daniel Dennett、Michel Foucault、Jean Baudrillard、Mikhail Bakunin、CS Peirce 和 David Hume 等思想家），不过这几本似乎很合适，因为我最先想到的就是它们。
…(Saul Kripke) Zen and the Art of Motorcycle Maintenance (Robert Pirsig) There are others, and a lot of essays (by thinkers like Bertrand Russell, Carl Hempel, Hilary Putnam, WVO Quine, Karl Popper, Alfred Tarski, Gottlob Frege, David Chalmers, Daniel Dennett, Michel Foucault, Jean Baudrillard, Mikhail Bakunin, CS Peirce, and David Hume, among many others), but these seem apropos as they most readily came to mind.
……HtDP 的作者之一：CS19。你可以在这里找到：https://learnaifromscratch.github.io/software。有两本最喜欢的数学书帮我理解了更多数学知识：1. 阿尔弗雷德·塔斯基的《逻辑学导论》（Introduction to Logic） 2. Hubbard 和 Hubbard 的《向量微积分》（Vector Calculus）。你最喜欢的书有哪些？
…of the authors of HtDP: CS19. You can find it here: https://learnaifromscratch.github.io/software. I have two favorite math books that have helped me understand more math: 1. Introduction to Logic by Alfred Tarski 2. Vector Calculus by Hubbard and Hubbard What are yours?
我个人非常喜欢阿尔弗雷德·塔斯基的书《Introduction to Logic and to the Methodology of Deductive Sciences》。波兰语第一版写于1936年，英文版现在依然可以在 Dover 买到：https://store.doverpublications.com/048628462x.html
I personally really like Alfred Tarski's book "Introduction to Logic and to the Methodology of Deductive Sciences". The first Polish edition was written in 1936 and the English version is still available from Dover: https://store.doverpublications.com/048628462x.html
说得好。我也强烈推荐大家都去读读伟大逻辑学家阿尔弗雷德·塔斯基的经典著作《Introduction to Logic: And to the Methodology of Deductive Sciences》，去真正搞懂形式推理（Formal Reasoning）所基于的“逻辑”到底是什么。
Well said. Also i highly recommend everybody to read the great logician Alfred Tarski's classic book Introduction to Logic: And to the Methodology of Deductive Sciences to really understand "Logic" which is what Formal Reasoning is based on.
……被“蕴涵”（implication）逻辑运算符给搞懵了（无论后件是什么，当前件为 False 时求值结果都为 True）。但如果你结合一些实际领域的例子，为什么会这样就很清楚了。上面提到的阿尔弗雷德·塔斯基那本经典之作在从第一性原理构建逻辑方面做得非常出色，因此是任何标准教科书的绝佳配套读物。
…off by the "implication" logical operator (evaluates to True when the antecedent is False irrespective of the consequent). But if you use some actual domain examples then it becomes clear why it is so. Alfred Tarski's classic book mentioned above does a good job of building up logic from the first principles and hence is a great companion to any standard textbook.