博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 关于“哥德尔的不完全性定理”的讨论（8）
- 关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/28 - 29 BasicRabbit： 在柳渝的这篇文章的前几天， Paul Jorion 发表了一篇关于同一主题的文章，题为 “ 什么使一个证明名副其实？ ” ，从这个标题中，人们注意到数学家已经消失了，这个标题煽动人们把争论转向： P ...
- 关于“哥德尔的不完全性定理”的讨论（7）
- 关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/26 - 27 Druuh ： 我重复了对你文章的一个评论： “ 然而，哥德尔以惊人的轻率提出了这样一个主张： ’ 同样，从形式的角度来看，证明只不过是公式的有限序列（具有某些可指定的属性） ’ ” 。 为什么你 ...
- 关于“哥德尔的不完全性定理”的讨论（6）
- 关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/26 - 28 柳渝： @BasicRabbit 你说： - 对我来说，哥德尔不完全性定理提出的 哲学 问题是，人们是否能从与自指（ 我说谎 ）有关的主观知识中得出客观知识（定理）。在我看来，这就是我认为的形而上学 ...
- 亚历山大·格罗滕迪克的学术思想
- 在 1983 年 6 月到 1986 年 2 月间，格罗滕迪克写作了自传体《收获与播种：一个数学家过去的思考和见证》 （ Récoltes et Semailles ： Réflexions et témoignages sur un passé de mathématicien ） 。 这部著作不仅包括他对生平发生的事件的回忆，而且也包括对那些事件的深入细致的分析和 ...
- 亚历山大·格罗滕迪克的学术方法
- 格罗滕迪克的深度抽象天赋在代数几何学领域里开辟了一片崭新的天地，为解决现代数学中一些令人头疼的难题提供了理论基础。 美国数学会（ AMS ）资深作者阿林 · 杰克森（ Allyn Jackson ）在 2014 年《美国数学学会通告》上有关格罗滕迪克的一篇传记文章中写道【 1 】： “ 他拥有极其强大的、几乎超 ...
- 亚历山大·格罗滕迪克，代数几何的创始人
- 每一门科学，当我们不是将它作为能力和统治力的工具，而是作为我们人类世代以来努力追求、对知识的冒险历程的时候，它是这样一种和谐，从一个时期到另一个时期，或多或少，巨大而丰富……它展现给我们微妙而精细的对应，仿佛来自虚空。 ——格罗滕迪克自传《收获与播种》 亚历山大 · 格罗滕迪克（ Alexan ...
- 原始递归函数溯源
- 在可计算性理论中，原始递归函数大致是指可以由计算机程序计算的函数，其循环都是 “for” 循环（也就是说，在进入循环之前就可以确定每个循环的迭代次数的上限）。原始递归函数构成了一般递归函数的一个严格的子集。 1. 历史 递归定义 以前在数学中被形式或非形式使用过，但原始递归函数的构造可以 ...
- Rózsa Péter，递归函数理论的创始人
- 罗兹 · 佩特（ Rózsa Péter ， 1905-1977 ）（原名 Politzer ）在一个饱受战争和内乱蹂躏的国家长大，在那里，仅仅是日复一日的生活就绝非易事。她对数学理论做出了重大贡献，为此在她的一生中得到了一些认可，但是她的名字，应该和计算理论的创始人（哥德尔、图灵、丘奇、克莱因）的名字写在一起，今天却几乎 ...
- 关于“哥德尔的不完全性定理”的讨论（5）
- 关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/25 - 26 Druuh： @柳渝，我想你可能混淆了命题计算与谓语计算。 在数理逻辑中，命题计算为复杂公式中的每个基本命题分配一个真值（真或假， 0 或 1 ），而复杂公式的值由布尔代数的计算决定（ 0 AND 1=0 ， 0 OR 1=1 ，等 ...
- 皮尔士与康德
- 从一开始，皮尔士就受德国哲学家康德的影响，他觉得对他有特别吸引力的是建立体系的方法（ the architectonic method ），利用这一方法，康德寻求把哲学建立成为一个具有坚实逻辑基础的彻底的和科学的体系。然而，康德把当时现存的逻辑看作最终的（原因是那个逻辑从亚里士多德起就没有真正地变化 ) ，而皮尔士认为逻 ...
