科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
亚历山大·格罗滕迪克的学术方法
柳渝 2022-5-25 15:00
格罗滕迪克的深度抽象天赋在代数几何学领域里开辟了一片崭新的天地,为解决现代数学中一些令人头疼的难题提供了理论基础。 美国数学会( AMS )资深作者阿林 · 杰克森( Allyn Jackson )在 2014 年《美国数学学会通告》上有关格罗滕迪克的一篇传记文章中写道【 1 】: “ 他拥有极其强大的、几乎超 ...
个人分类: 解读哥德尔不完全性定理|1087 次阅读|没有评论
亚历山大·格罗滕迪克,代数几何的创始人
柳渝 2022-5-25 14:19
每一门科学,当我们不是将它作为能力和统治力的工具,而是作为我们人类世代以来努力追求、对知识的冒险历程的时候,它是这样一种和谐,从一个时期到另一个时期,或多或少,巨大而丰富……它展现给我们微妙而精细的对应,仿佛来自虚空。 ——格罗滕迪克自传《收获与播种》 亚历山大 · 格罗滕迪克( Alexan ...
个人分类: 解读哥德尔不完全性定理|1597 次阅读|没有评论
原始递归函数溯源
柳渝 2022-5-19 02:50
在可计算性理论中,原始递归函数大致是指可以由计算机程序计算的函数,其循环都是 “for” 循环(也就是说,在进入循环之前就可以确定每个循环的迭代次数的上限)。原始递归函数构成了一般递归函数的一个严格的子集。 1. 历史 递归定义 以前在数学中被形式或非形式使用过,但原始递归函数的构造可以 ...
个人分类: 解读哥德尔不完全性定理|712 次阅读|没有评论
Rózsa Péter,递归函数理论的创始人
柳渝 2022-5-18 17:24
罗兹 · 佩特( Rózsa Péter , 1905-1977 )(原名 Politzer )在一个饱受战争和内乱蹂躏的国家长大,在那里,仅仅是日复一日的生活就绝非易事。她对数学理论做出了重大贡献,为此在她的一生中得到了一些认可,但是她的名字,应该和计算理论的创始人(哥德尔、图灵、丘奇、克莱因)的名字写在一起,今天却几乎 ...
个人分类: 解读哥德尔不完全性定理|917 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(5)
柳渝 2022-5-17 01:58
关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/25 - 26 Druuh: @柳渝,我想你可能混淆了命题计算与谓语计算。 在数理逻辑中,命题计算为复杂公式中的每个基本命题分配一个真值(真或假, 0 或 1 ),而复杂公式的值由布尔代数的计算决定( 0 AND 1=0 , 0 OR 1=1 ,等 ...
个人分类: 解读哥德尔不完全性定理|304 次阅读|没有评论
皮尔士与康德
柳渝 2022-5-14 19:19
从一开始,皮尔士就受德国哲学家康德的影响,他觉得对他有特别吸引力的是建立体系的方法( the architectonic method ),利用这一方法,康德寻求把哲学建立成为一个具有坚实逻辑基础的彻底的和科学的体系。然而,康德把当时现存的逻辑看作最终的(原因是那个逻辑从亚里士多德起就没有真正地变化 ) ,而皮尔士认为逻 ...
个人分类: 解读哥德尔不完全性定理|1012 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(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 ...
个人分类: 解读哥德尔不完全性定理|2074 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(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 ...
个人分类: 解读哥德尔不完全性定理|1210 次阅读|没有评论
波利亚猜想(Pólya conjecture)
柳渝 2022-5-7 15:44
波利亚猜想是由匈牙利数学家乔治 - 波利亚( George Pólya , 1887 – 1985 )在 1919 年提出:对每个 x1 ,在不超过 x 的正整数中,含有奇数个素数因子(不一定是不同的)的整数个数不少于含有偶数个素数因子的整数个数。 比如: 18 = 2^1×3^2 : 3 个素数因子 17 = 17 ...
个人分类: 解读哥德尔不完全性定理|1692 次阅读|没有评论
哥德尔给策梅洛的回信
柳渝 2022-5-5 17:05
1931 年 9 月, 策梅洛写给哥德尔的信 中批评哥德尔的证明有误,哥德尔遂给策梅洛的回信。在Grattan-Guinness的这篇文章中有哥德尔的回信原文,因德文我无法翻译成中文,但通过Grattan-Guinness的转述,我们对哥德尔回信的内容可以略知一二。 格拉坦 - 吉尼斯( Ivor Grattan-Guinness , 1941-2014 )是英 ...
个人分类: 解读哥德尔不完全性定理|2138 次阅读|没有评论

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

GMT+8, 2022-10-4 08:17

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部