雷蒙德·M.斯穆里安（Raymond M. Smullyan，1919—2017） 世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。
哥德尔不完全性定理研究专家，系统地发展了表列证明方法，并致力于向普通读者普及数理逻辑。著有30余部著作，包括数理逻辑专业著作以及趣味逻辑谜题书，如《形式系统的理论》（Theory of Formal Systems，1961）、《一阶逻辑》（First-Order Logic，1968）、《哥德尔不完全性定理》（Gödel’s Incompleteness Theorems，1992）、《元数学的递归论》（Recursion Theory for Metamathematics，...
雷蒙德·M.斯穆里安（Raymond M. Smullyan，1919—2017） 世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。
哥德尔不完全性定理研究专家，系统地发展了表列证明方法，并致力于向普通读者普及数理逻辑。著有30余部著作，包括数理逻辑专业著作以及趣味逻辑谜题书，如《形式系统的理论》（Theory of Formal Systems，1961）、《一阶逻辑》（First-Order Logic，1968）、《哥德尔不完全性定理》（Gödel’s Incompleteness Theorems，1992）、《元数学的递归论》（Recursion Theory for Metamathematics，1993）、《对角化和自指》（Diagonalization and Self-Reference，1994）、《这本书叫什么？》（What Is the Name of This Book?，1978）、《逻辑迷宫》（Logical Labyrinths，2009）、《哥德尔谜题书》（The Gödelian Puzzle Book，2013）等。
“If the constitution of the material frame is mathematical, it is not merely so. If the mind, in its capacity of formal reasoning, obeys, whether consciously or unconsciously, mathematical laws, it claims through its other capacities of sentiment and action, through its perception of beauty and of moral fitness, through its deep springs of emotion and affection, to hold relation to a different order of things. Even the revelation of the material universe in its boundless magnitude, and pervading order, and constancy of law, is not necessarily the most fully apprehended by him who has traced with minutest accuracy the steps of the great demonstration. And if we embrace in our survey the interest and duties of life, how little does any process of mere ratiocination enable us to comprehend th... (查看原文)
“The design of the following treatise is to investigate the fundamental laws of the mind by which reasoning is performed, to give expression to them in the symbolic language of a Calculus, and upon this foundation to establish the science of Logic and construct its method; to make that method itself the basis of a general method for the application of the mathematical doctrine of Probabilities, and finally, to collect from the various elements of truth brought to view in the course of these inquiries some probable intimations concerning the nature and constitution of the human mind.” (查看原文)
正文开篇： 原文：sixty men can do a piece of work sixty times as quickly as one man 此版本翻译：60个人可以像一个人一样快的完成一项工作60次 百度机翻：六十个人做一件工作的速度是一个人的六十倍 翻过几页： 原文：the only way that P can fail to hold for all eleme...
(展开)
看看书
中国轻工业出版社2019版
还没人写过短评呢