图书标签: 数学  哲学  哥德尔  数理逻辑  逻辑  科普  逻辑学  Godel   

喜欢 哥德尔证明 的读者还喜欢

• 
  数学哲学 pdf epub mobi txt 电子书 下载
• 
  不完备性 pdf epub mobi txt 电子书 下载
• 
  哥德尔 pdf epub mobi txt 电子书 下载
• 
  哥德尔、艾舍尔、巴赫 pdf epub mobi txt 电子书 下载
• 
  意识的解释 pdf epub mobi txt 电子书 下载
• 
  逻辑人生 pdf epub mobi txt 电子书 下载
• 
  证明与反驳 pdf epub mobi txt 电子书 下载
• 
  算术基础 pdf epub mobi txt 电子书 下载
• 
  科学哲学导论 pdf epub mobi txt 电子书 下载
• 
  数学与人类思维 pdf epub mobi txt 电子书 下载

本书后半部分以脚注的方式写成。。。

编码部分讲的挺通俗的,

重读此书，数学太少，作为领域外科普很适合。不过有一点数理逻辑基础还是大有帮助。另外这本书中很多逻辑学概念都没有涉及，所以只能算最浅显的哥德尔论述了。（其实哥德尔证明核心还是构造PM系统消歧义）

最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。 一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。

好吧，这货简直就是数学的毁灭使者，在他25岁的时候，一举摧毁了逻辑主义、形式主义和集合化公理三大学派，也摧毁了我的智商。9万字的小册子，看了一个下午，脑子都要爆炸了。

有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统，是不完备的）. 所以，那些在电视里滔滔不绝预测未来股市，楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...  

写一点废话，加深记忆 试图以模型论为数学基础的3个思路 1.寻找一个模型作为解释使其一致（无限后退） 2.几何→代数（同上） 3.Hilbert：把元数学和对象数学分开 元数学：关于符号（种类、排列、运作规则） 对象数学：通常数学 沿用思路3：分析完全形式化的演算系统所包含的...  

PM：一种形式演算系统，在其中能表达所有通常的算术概念。 1.构造一个公式G，代表元数学命题“使用PM规则，公式G不可证”。 2.从1可以看出，G是可证的，当且仅当，～G是可证的。而在PM中，如果G与～G都可证，那么PM不一致。所以，如果PM一致，那么G不可证。 3.如果PM一致，G不...  

我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位，也就是说人如果想知道更多，必然要借助于非逻辑的力量。逻辑和科学是最易于传播的，但很可能人类的进化就这样被淹没在“大多数”、“正常”的...  

太多关于哥德尔定理的讨论，都是就着一点感性认识随意发挥，实在太不着边际。我们都不是逻辑学专家（就我自己而言，在朝着专家的方向努力，能否成功还得两说，但至少现在肯定不是），要完全搞清哥德尔的工作然后再去讨论，既无可能也无必要。但在讨论之前，至少要了解哥德尔的...