科学网

 找回密码
  注册
亚历山大·格罗滕迪克的学术思想
柳渝 2022-5-25 18:29
在 1983 年 6 月到 1986 年 2 月间,格罗滕迪克写作了自传体《收获与播种:一个数学家过去的思考和见证》 ( Récoltes et Semailles : Réflexions et témoignages sur un passé de mathématicien ) 。 这部著作不仅包括他对生平发生的事件的回忆,而且也包括对那些事件的深入细致的分析和 ...
个人分类: 解读哥德尔不完全性定理|6980 次阅读|没有评论
亚历山大·格罗滕迪克的学术方法
柳渝 2022-5-25 15:00
格罗滕迪克的深度抽象天赋在代数几何学领域里开辟了一片崭新的天地,为解决现代数学中一些令人头疼的难题提供了理论基础。 美国数学会( AMS )资深作者阿林 · 杰克森( Allyn Jackson )在 2014 年《美国数学学会通告》上有关格罗滕迪克的一篇传记文章中写道【 1 】: “ 他拥有极其强大的、几乎超 ...
个人分类: 解读哥德尔不完全性定理|4136 次阅读|没有评论
亚历山大·格罗滕迪克,代数几何的创始人
柳渝 2022-5-25 14:19
每一门科学,当我们不是将它作为能力和统治力的工具,而是作为我们人类世代以来努力追求、对知识的冒险历程的时候,它是这样一种和谐,从一个时期到另一个时期,或多或少,巨大而丰富……它展现给我们微妙而精细的对应,仿佛来自虚空。 ——格罗滕迪克自传《收获与播种》 亚历山大 · 格罗滕迪克( Alexan ...
个人分类: 解读哥德尔不完全性定理|5288 次阅读|没有评论
原始递归函数溯源
柳渝 2022-5-19 02:50
在可计算性理论中,原始递归函数大致是指可以由计算机程序计算的函数,其循环都是 “for” 循环(也就是说,在进入循环之前就可以确定每个循环的迭代次数的上限)。原始递归函数构成了一般递归函数的一个严格的子集。 1. 历史 递归定义 以前在数学中被形式或非形式使用过,但原始递归函数的构造可以 ...
个人分类: 解读哥德尔不完全性定理|2112 次阅读|没有评论
Rózsa Péter,递归函数理论的创始人
柳渝 2022-5-18 17:24
罗兹 · 佩特( Rózsa Péter , 1905-1977 )(原名 Politzer )在一个饱受战争和内乱蹂躏的国家长大,在那里,仅仅是日复一日的生活就绝非易事。她对数学理论做出了重大贡献,为此在她的一生中得到了一些认可,但是她的名字,应该和计算理论的创始人(哥德尔、图灵、丘奇、克莱因)的名字写在一起,今天却几乎 ...
个人分类: 解读哥德尔不完全性定理|1940 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(5)
柳渝 2022-5-17 01:58
关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/25 - 26 Druuh: @柳渝,我想你可能混淆了命题计算与谓语计算。 在数理逻辑中,命题计算为复杂公式中的每个基本命题分配一个真值(真或假, 0 或 1 ),而复杂公式的值由布尔代数的计算决定( 0 AND 1=0 , 0 OR 1=1 ,等 ...
个人分类: 解读哥德尔不完全性定理|794 次阅读|没有评论
皮尔士与康德
柳渝 2022-5-14 19:19
从一开始,皮尔士就受德国哲学家康德的影响,他觉得对他有特别吸引力的是建立体系的方法( the architectonic method ),利用这一方法,康德寻求把哲学建立成为一个具有坚实逻辑基础的彻底的和科学的体系。然而,康德把当时现存的逻辑看作最终的(原因是那个逻辑从亚里士多德起就没有真正地变化 ) ,而皮尔士认为逻 ...
个人分类: 解读哥德尔不完全性定理|1560 次阅读|没有评论
法国谚语“Chassez le naturel il revient au galop!” - 本性难移
柳渝 2022-5-10 13:38
中文有句谚语 “ 江山易改,本性难移 ” ,在法国语中也有类似的一句谚语: “Chassez le naturel il revient au galop!” ,直译: “ 把你的本性赶走,它又跑回来了! ” 这句话是 18 世纪初一位法国多产的剧作家德苏什( Philippe Néricault , 1680-1754 ),其创作志向是 “ 寓教于乐 ” , ...
个人分类: 在中法文化之间流连|4156 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(4)
柳渝 2022-5-10 05:32
关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/22 - 25 ( https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-revisited-par-yu-li/ BasicRabbit @ 柳渝, 你问: “ 在标准的 N 种算术模型中, G ...
个人分类: 解读哥德尔不完全性定理|3154 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(3)
柳渝 2022-5-9 05:59
关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/20 - 22 ( https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-revisited-par-yu-li/ ) BasicRabbit : @ 柳渝,你说: “ 与说谎者悖论相似的悖论命题 Q ...
个人分类: 解读哥德尔不完全性定理|1771 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-14 16:02

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部