发表服务
哥德尔比爱因斯坦晚出生 27 年，在 1906 年，爱因斯坦发表 3 篇重要论文之“奇迹年”后的第二年，哥德尔才呱呱坠地。哥德尔天分极高，从小是个数学神童，喜欢寻根究底地问问题，因而在 4 岁的时候就得了一个“为什么先生
一位程序员用Lisp证明了数学证明过的哥德尔不完备定理,数学,定理,希尔伯特,弗雷格,哥德尔 该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。1+1=2是公理，那么公理可以证 …
哥德尔不完全性定理. 哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。. 这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。. 该定理与塔尔斯基的形式语言的真理论，图灵机和判定…. 管理 日志.
奥地利数学家哥德尔在1931年发表了题为《论<数学原理> 及有关系统的形式不可判定命题》的论文，其中提出这样一个观点，在任何数学系统中，只要其能包含整数的算术，这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。
读《哥德尔》. 读完《GEB》后对哥德尔定理产生了兴趣，于是便接着读了《哥德尔证明》，后来又在豆瓣上搜相关的书，看到了这本《哥德尔》。. 书的名字给人一种传记的感觉，然而读过后发现这算不上一本合格的传记。. 英文题目是《Reflections on Kurt Godel》，我 ...
1.1 在我看来，一切取决于你是否把哥德尔定理理解为哥德尔原理。尽管对哥德尔定理的深刻性的解读文章多如牛毛，但基本上都是把它作为哥德尔定理在理解。 这就如同，你可以用狭义相对论的方程组来理解狭义相对论对…
哥德尔比爱因斯坦晚出生 27 年，在 1906 年，爱因斯坦发表 3 篇重要论文之“奇迹年”后的第二年，哥德尔才呱呱坠地。哥德尔天分极高，从小是个数学神童，喜欢寻根究底地问问题，因而在 4 岁的时候就得了一个“为什么先生
一位程序员用Lisp证明了数学证明过的哥德尔不完备定理,数学,定理,希尔伯特,弗雷格,哥德尔 该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。1+1=2是公理，那么公理可以证 …
哥德尔不完全性定理. 哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。. 这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。. 该定理与塔尔斯基的形式语言的真理论，图灵机和判定…. 管理 日志.
奥地利数学家哥德尔在1931年发表了题为《论<数学原理> 及有关系统的形式不可判定命题》的论文，其中提出这样一个观点，在任何数学系统中，只要其能包含整数的算术，这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。
读《哥德尔》. 读完《GEB》后对哥德尔定理产生了兴趣，于是便接着读了《哥德尔证明》，后来又在豆瓣上搜相关的书，看到了这本《哥德尔》。. 书的名字给人一种传记的感觉，然而读过后发现这算不上一本合格的传记。. 英文题目是《Reflections on Kurt Godel》，我 ...
1.1 在我看来，一切取决于你是否把哥德尔定理理解为哥德尔原理。尽管对哥德尔定理的深刻性的解读文章多如牛毛，但基本上都是把它作为哥德尔定理在理解。 这就如同，你可以用狭义相对论的方程组来理解狭义相对论对…
发表服务