现代逻辑学五位先驱
，也是有史以来最杰出的逻辑学家之一。他最著名的作品无疑是 "哥德尔不完备性定理"。他以连接古典逻辑、直觉主义逻辑和模态逻辑而闻名。他是爱因斯坦最亲密的朋友之一，在普林斯顿高等研究院时，他每天都和爱因斯坦
6 个月 前
一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理
无法描述它。这是一个很好的哲学谜语。 对于普通读者来说，这是对哥德尔不完备性定理的一个很好的解释。 我已经读过Godel，Escher，Bach。这是一个很好的解释。 完整的中文翻译
3 年 前
数学、形式逻辑和算法殊途同归导致计算机发明
-哥德尔（Kurt Gödel）的年轻人用他的《不完备性定理》（Incompleteness Theorems）摧毁了这一设想。哥德尔证明，在任何足以描述自然数算术的一致形式系统中，都存在无法在该系统
7 个月 前
什么是逻辑形式系统？ - Sam
，几乎所有人都是这样做的。 那时，德国逻辑学家库尔特-哥德尔（Kurt Gödel）宣布了与他同名的不完备性定理，其结果是，真理和可证明性确实必须被视为独立的概念。 在本节中，我将解释真理和可证明性
1 年 前
在思想、语言和机器上的思考：人与动物区别是人能以递归形式表达思想 - 0x0f0f0f
（可以解释为句子或命题）的有限序列，每个公式都是公理或根据推论规则从序列中的先前公式得出。 形式的公理系统虽然对所有科学都是基础性的，但其固有的局限性几乎是自相矛盾的。这些结果称为Gödel哥德尔不完备
4 年 前
实体本身或实体之间关系哪个更重要？ - scientificamerican
科学、遗传学、音乐和艺术。霍夫施塔特痴迷于引用、谈论或以其他方式与自身交互的事物——特别是 哥德尔不完备定理 。 关系学说的另一位雄辩的解释者是科学作家阿曼达·格夫特 (Amanda Gefter
2 年 前
数学基于逻辑还是逻辑基于数学？
：lambek-curry-howard——数学证明是程序，程序是同构的数学证明。
图灵计算机的停机问题与逻辑中的哥德尔不完备性直接相关。该死的几乎同样的事情。
Lambda 演算和图灵机也有直接关系
2 个月 前
形式验证的历史和方法
发展历程和数学逻辑的起源。
[*]可证明的递归函数：研究算术理论中可证明的递归函数，展示了哥德尔不完备性定理的另一种表述。
[*]逆向数学和类型论：探索逆向数学、构造性数学中的类型论以及类型论对
1 个月 前