逻辑史
文章平均质量分 82
weixin_41670255
这个作者很懒,什么都没留下…
展开
-
谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六
谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六牛虎交接之际,到惠州双月湾轻走了一趟。在惠东县的海滨温泉区,沐浴浸泡,送走了牛年的最后一天。在双月湾的西湾银滩,乘船出海,渡过了虎岁的大年初一。本来还可以到东湾的海龟景区瞅瞅,疫情又一次阻断了我们的行程。谁能料知呢?惠州虎年春节初一,查出新冠一例,初二景区立马关闭,海滨行程强制提前结束。惠州的双月湾图片乘船出海双月湾西湾长滩夜景真乃人算不如天算也,牛虎交替之旅,就此戛然而止。我也就提前接续上对于哥德尔的关注,继续上篇的哥德尔数配置了。原创 2022-02-07 17:20:59 · 488 阅读 · 0 评论 -
901虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五
虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五丑牛之年走到了它的尽头,又一轮时序循环将要开始了。为这个尽头和起点,我做了一副对联,按华夏传统用浓墨书写,填在自家的门上。算是概略了这即将掠过的农历牛年,又算是对虎年旋即将至的一份期待。我的一付年末对联照片这副手联,是我给亲朋的新春致意,这个致意还带著两行十字文。年复一联,联传亲情友情。岁有两期,期待未来将来。也许,疫情很快就要过去;也许,我们的文字有更为广阔的时空腾挪,也许,更多的期许会在这寅虎之年出现;也许,我们永远只是在徒劳的期原创 2022-01-29 17:30:28 · 890 阅读 · 0 评论 -
以哥德尔命名的哥德尔数——哥德尔拆解汉译之四
以哥德尔命名的哥德尔数——哥德尔拆解汉译之四在哥德尔的系统P之后,原著文本立刻就出现题为2.1节的哥德尔数。哥德尔写这篇论文的时候,大概不会想到他为逻辑符号、逻辑公式配以自然数,会被后世称呼为以他名字命名的哥德尔数。在哥德尔原著文本中,第二章一气呵成,中间完全没有停顿。哥德尔将其形式系统P描述完毕,立刻就开始了对系统P初始符号的配数。后世各种英译本,为阅读方便大都按内容分节。但从哥德尔文集卷1中可知,哥德尔德文原著和该文集中英译并没有这样的分节。带德文版的哥德尔文集1哥德尔文集1中的德文原文没有分节原创 2022-01-15 13:59:07 · 981 阅读 · 0 评论 -
哥德尔的形式系统P——哥德尔重读拆解汉译之三
哥德尔的形式系统P——哥德尔重读拆解汉译之三又到了新的一年,时序交替总有人借文字而抒发心中情愫,而诗之简洁流畅常常是抒发情愫之首选。而文字之借,又以情寄古典最为便捷,还可藏自文之拙也。于是,在解读哥德尔之际,伴随岁月流转之叹,思绪飘忽之时,随意翻阅起那本厚厚的《唐诗鉴赏辞典》。无意中品味了初唐诗人刘希夷拟古乐府《有所思》中一段,那花相似与人不同的对照,颇让人找到点文字的寄托,且把这短短的诗句留驻在读哥德尔的文中。古人无复洛城东,今人还对落花风。年年岁岁花相似,岁岁年年人不同。照片时序交替不已,花原创 2022-01-03 21:02:34 · 386 阅读 · 0 评论 -
对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二
对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二一直在搜寻Martin Hirzed的2000年哥德尔原著英译本,前几天在网上的随意搜寻,竟然在豆丁网页上发现了。要价还算合理,4元就可全文下载。下载后的文本是所谓的超文本(Hyper text),文本还间或带有彩色字符。正在设想这重读哥德尔的博客该如何延续,下载后再读这个Hyper text,以0作为第一部分:“关于这个文件”的起首一段,好像再次激活了我的弄文兴趣。先汉译其首段,从这段汉译大概可以窥知,我何以被这个首段所激活。Martin原创 2021-12-28 17:04:42 · 444 阅读 · 0 评论 -
第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一
第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一哥德尔原著中的第一不完全性定理证明的全过程,已经艰难地旅行了一趟。不是浮光掠影,却依然处在似懂非懂之中。静坐沉思,常自叹功力甚浅,未能力透纸背,了悟哥德尔符号玄机也。刚刚学到两个对待知识态度的英文单词。一个是know-it-all,中文翻译为无所不知,另一个是learn-it-all,中文翻译为无所不学。我们这个社会好像有不少know-it-all即无所不知的人和团体,所有人,所有团体都得听它的,因为它无所不知。好在还有一个正原创 2021-12-16 10:49:44 · 698 阅读 · 0 评论 -
哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26
哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26读哥德尔又遇到理解的困难,这个阅读受困的时段,正是因老桂大寿建立的几个科哲微信群讨论东方思维西方思维,还有辩证逻辑非辩证逻辑等等观念的时段。对科哲所知有限,但对思维与逻辑应该还有点感觉。东方和西方思维的分划,我感觉是一个伪分划。思维如果有地缘之分,那其实不是因地缘在划分思维,而是因地缘在划分语言。东西方人因地缘之故,有各种不同的自然语言,而显得思维似乎是各不相同。逻辑分为辩证和非辩证也是一个奇怪的分划,其实是一个非学术性,带有点实用意义的分划。这原创 2021-12-06 13:26:42 · 358 阅读 · 0 评论 -
宇宙时空 符号世界 对应引理——哥德尔读后之25
宇宙时空 符号世界 对应引理——哥德尔读后之25信息是这个世界的奇异存在,有一些你会不屑一顾,有一些你会无动于衷。但有些信息却会撞击你的灵魂,一听到就为之一震。你不会在乎它的虚实,也不会在乎它的信度,更不会在乎他背后的什么伦理、什么意义。你会感到一种穿透力,一种在感召你的某种神性一般的东西。昨天从微信中获得一个视频,一个美国女孩准备独自登录火星,做一次有可能一去不返的单向宇宙航行。这个视频似乎就是这样一类信息,还真可能就是不可信的信息。但就是能够撼动人,它让你觉得这个世界总有人在为未知所憧憬,即使充满魔原创 2021-11-17 21:28:11 · 632 阅读 · 0 评论 -
元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一
元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一电视机产生之后,人类就开始进入屏幕时代。而这个屏幕时代,因为计算机的出现,特别是个人计算机的出现,它似乎就在用远超寻常的速度,以技术发现为标志,从一种主流屏幕跨入另一种主流屏幕,从而形成不同的屏幕时代。个人计算机的出现产生的是PC屏幕时代,这大概从1981年IBM推出第一台个人计算机开始。IBM推出个人计算机这个时代仅仅维持了14年,到1995年,网景公司开发出最早的网络浏览器,互联网由此而逐渐变成人人都能理解,并且也能使用的更为广阔的屏幕空间。原创 2021-09-18 19:27:56 · 349 阅读 · 0 评论 -
哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十
哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十这两天从外刊文字中了解到,人工智能AI很牛,不是一般地牛,很可能超越人的智能。但有一个事实,却不是能够轻易就被否定掉的。那就是,所谓现代机器人,包括可以自动驾驶的汽车,它们应该是人工智能的典型代表,其实际智能可能还没有超过一个七个月的婴儿。这个智能测试直观简洁,似乎只涉及到一个基本的哲学观念:存在。婴儿的照片自动驾驶汽车一个使用玩具的七个月婴儿,当把玩具放在他旁边的毯子之下时,婴儿可以从毯子下面找到玩具,他知道玩具虽然看不见,但玩具依然存在原创 2021-09-10 15:16:24 · 221 阅读 · 0 评论 -
哥德尔不完全性定理 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八
命题6 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八开始命题六,也就是哥德尔第一不完全性定理的阅读了,但似乎离这个著名定理,还有那么一丁点的距离。于是本篇依然是交代命题6证明前的那些必不可少的证明铺垫。一、哥德尔命题6,即第一不完全性定理的两个版本表达在预设了c为任意公式类及其相关条件,并且给出一致性观念之后,命题6(VI)即对后世影响深远的哥德尔第一不完全性定理出场了。(依据1962年英译本)这个有关不可判定命题存在的一般性结果读作命题6:命题6:对于每一个一致原创 2021-08-21 09:28:38 · 361 阅读 · 0 评论 -
哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七021-08-09
哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七这一篇读后,间隔的时间有点长。炎热的气候,还有继续在捣乱的新冠疫情,还有顶着疫情在东京召开的奥运会,全都在耗散你的效率。6月的广州疫情,让广州紧张了一个多月。刚刚缓过气来可以到处走走了,北京的一场大暴雨,无情打断了你预计的行程。真个是:广州疫情北京雨游兴萌生天无情。紧接着,郑州又摊上事了,更为无情的大水,让好多人就那么离开了这个折腾不休的世界。一年多来,让人爽心的事少,让人纠结的事多。郑州的事情只过了几天,当你再盘算出去走走的时候,新冠疫情又从原创 2021-08-09 12:09:53 · 285 阅读 · 0 评论 -
哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六
哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六刚刚感叹一番全球天灾,完成一篇哥德尔阅读的对比图表文。休憩转换一下阅读奇怪字符的神经,听听音乐,看看美图。这几天,重又走进哥德尔之际,历史的聚焦镜头,一下子从遥远的西欧洪灾折转到了老家的邻省河南。西欧的洪水恐怕还没有退尽,在河南郑州,还有河南很大范围的城镇,却似乎是碰到了千年未遇的水难。真不知道这个世界怎么啦,可怜地铁隧道中,沉没多少冤鬼魂。九龙翻江兴恶浪,遗祸中原郑州城。祈祷上苍,佑护生灵。水灾留照:隧道积水和隧道前车辆郑州地铁5原创 2021-07-24 09:07:40 · 102 阅读 · 0 评论 -
拼接、比较与计算——哥德尔读后之十四
拼接、比较与计算——哥德尔读后之十四除了喧嚣、闹腾、莫名的亢奋和同样莫名的浮夸,我用心灵体验的那个客体空间,好像容不下哪怕是一粒沙子和些许浮尘。那个空间真是太太纯粹了,纯粹得可以看清其中的点点滴滴。我在这样的纯粹面前,把自己也看得清清楚楚。你接受不了这样的纯粹,因为阳光之下也有阴影。自然,你就只能是这个纯粹空间晦暗阴影中的一尊幽灵。不过,魔鬼为人们关上了很多门,天使也为人们开启了很多窗。天网恢恢,疏而有漏,人无魔助之时,常有自助之路。既有字符之可思,也有经典之可读。也许,遵从自我的呼唤,读你所读,思你所思原创 2021-07-07 20:20:08 · 136 阅读 · 2 评论 -
哥德尔原著译本的前十四个定义——哥德尔读后之十三
哥德尔原著译本的前十四个定义——哥德尔读后之十三广州的疫情依然紧张,我校昨晚还包括今天早上,员工都在奔赴南操场进行自5月底以来的第二次核酸检测。因为疫情,差不多有一个月都蜷缩在家中了,顶多因为生活必须,去一下家门口附近的便利超市。得感谢网络带给这个世界的便利,让我们在疫情封锁之下,能够足不出户获得来自万里之遥的货品,消融掉一些闭户不出带来的郁闷与纠结。核酸检测网上购物还算方便现代网络来自计算机科学的迅猛发展,再往前追溯,一般会追到信息科学的源头。在格雷克那本《信息简史》中,最早的计算机灵感来自英原创 2021-06-25 20:22:54 · 162 阅读 · 2 评论 -
从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二
从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二人类对于地球的兴趣,如同数学家观察数学角度的变化一样,从地球之中导向了地球之外。六月中旬的两条新闻,都是有关人类飞越地球的航天消息。六月17日,中国三名航天员从酒泉出发,开始了他们到空间站停留九十天的航天之旅。也是在这一天,又听到美国蓝色起源公司,开启商务空间旅游的新闻。本年度的7月20日,亚马逊总裁协同其弟与机舱执行官,又招标一人,一共四人,将启动人类第一次航天旅游。空间站航天照片航天旅游不识庐山真面目,只缘身在此山中。跨出三界外,不在原创 2021-06-18 17:02:28 · 606 阅读 · 0 评论 -
哥德尔定理依赖的数学背景——读哥德尔后之十一
哥德尔定理依赖的数学背景——读哥德尔后之十一开读哥德尔原著英译本第二章,恰好碰上广州来势汹汹的疫情。这个该死的新冠病毒,在地球上肆虐快两年了,该消停了吧?可5月的广州,让这个期盼又成幻影。又得一番折腾,才能让我们回复到正常的生活轨道了。本来想到广州“南海神庙”再瞅瞅的愿望,因为这突如其来的疫情,暂时是落空了。广州疫情的几张图片从荔湾开始广州疫情广州全员检测广州南海神庙好像正好是去年4月份的时候,我正在一段一段地品味法国作家加缪的《鼠疫》(见我的新浪博文784-795)。重新翻看《鼠疫》原创 2021-06-09 17:21:10 · 133 阅读 · 0 评论 -
巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九
## 巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九终于看完了全部导言,这个哥德尔原著的1962年英译本,总共不到70页文稿,而导读性的前言和导言就占了近30页。哥德尔的原著英译本内容呢,则从37页开始,到67页结束,也是近30页。导读导言和原著文本,几乎就是各占书中一半文字江山,有点意思。导言看完,在继续理解哥德尔之际,思路却似乎没有聚焦到哥的理论,而是发散展开,想到了语言,想到了和语言相关的那个巴比塔。艾舍尔画的巴比塔圣经中的巴比塔圣经中的巴比塔传说标题一、圣经中的巴比塔早年原创 2021-05-19 16:20:00 · 184 阅读 · 0 评论 -
逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八
##* *## *逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八内格尔那本《哥德尔证明》的导言,是《集异壁》的作者侯世达为之撰写的。侯世达1959年初涉哥德尔,1972年那一年,他在一趟驾车横穿美国大陆,风餐露宿多日的旅行之后到达纽约。他的哥德尔之旅由此而再次开启,并最终弄出了那本厚厚的《集异壁》大作。看来,学术总会和人的旅游涉事有那么一点关联。即使新冠疫情之下,远行不宜,也会迈开脚步,看看你周边的世界。由是,如同上篇开首想到广州的官洲生物岛一样,本篇讨论一致性,这个一致性的另一种意蕴,也许和模拟有关原创 2021-05-09 17:34:11 · 313 阅读 · 0 评论 -
生物岛 理查德数和哥德尔G数 读哥德尔之7
生物岛 理查德数和哥德尔G数 读哥德尔之7小小的新冠病毒,在全世界肆虐了一年多,还没有歇息的意思。那些荒唐的文化熏陶,好像也没有歇息的意思。但生活得继续,学习也得继续,养生健身也得继续。啃哥德尔那颗硬果的同时,经年累月的疫情,觉得那生物世界真乃是奇妙无比,耐人寻味。于是,沾点生物标签的地方,突然有一天就映射到我这里。广州的官洲国际生物岛,一个四面被珠江南航道包围的小岛,早有所知,却大都经官洲地铁站一晃而过,并没有实地看看。这读书消闲之余,该把这个空白给填补起来。近段时间,也就专程去了好几次广州生物岛。沿原创 2021-04-30 19:33:25 · 272 阅读 · 1 评论 -
艺术与实在中的递归 递归和原始递归函数——读哥德尔之六
**艺术与实在中的递归 递归和原始递归函数——读哥德尔之六**哥德尔不完全性定理又一个需要交代的背景,是所谓递归概念,以及由递归引出的原始递归函数。哥德尔1931年的那篇证明不完全性定理的论文,原始递归函数起到极重要的作用。按照莫绍揆先生的说法,也就是在这篇论文之后,“原始递归函数论”便正式出现了(参见莫绍揆著《递归论》第1页)。何谓递归呢?本篇首节先来点轻松的不那么严格的描述,只求对于递归有个感觉上的认知。虽然感觉很不可靠,但和感觉很相近的直觉这个词,往往是理解那些高玄知识的初阶。可能是错讹的,但原创 2021-04-17 14:11:12 · 695 阅读 · 0 评论 -
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五随意翻看哥德尔的轶闻琐事,他的一些奇怪直觉引人关注和思考。其中的一个奇怪直觉特别有趣,哥德尔竟然是个彻底的“反经验主义者”,他描述的东西几乎与实在世界毫不相干。用戈德斯坦的一段评论,哥德尔与爱因斯坦一样,他们致力于超越人类的所谓经验,尤其是致力于超越逻辑实证主义者所完全依赖的经验。这两位学术巨擘,全都是在用自己的发现,描述他们“视野之外”的神秘世界。(参见:戈德斯坦《不完备性》湖南科技出版社中文版第25页)。爱因斯坦发现的东西,属于理论物理学,他的“视野之原创 2021-04-11 15:01:06 · 560 阅读 · 2 评论 -
罗素怀特海的PM,皮亚诺的PA,哥德尔的P__读哥德尔之三
**罗素怀特海的PM,皮亚诺的PA,哥德尔的P__读哥德尔之三**阳春三月,游串频仍,数次租车,简短行程,远方贵客,粤地三城,忙中间隙,偶有闲文。这碌碌转的折腾瞎忙,三月就这么飞快地溜走,再转到哥德尔这里接续再读,已经是人间四月天,春日清明节矣。不过,忙碌的阳春三月,自感收获连连。有朋自远方来,不亦乐乎。有幸赴深珠见知音老友,不亦乐乎。有古篆墨宝小照,有镌刻印鉴厚谊,不亦乐乎。世道维艰,却人间有情,亦人生之欣慰也。清明节图博安挚友的古篆墨宝照还是那句老话,相逢总是短暂,独处才是常情原创 2021-04-04 15:38:26 · 475 阅读 · 0 评论 -
元数学之一瞥——读哥德尔之二
元数学之一瞥——读哥德尔之二有朋自远方来,不亦乐乎。这个世界到处都充满虚伪与荒唐,所谓的仁人志士台面上的慷慨激昂,豪情万丈,好像就是在印证这种虚伪与荒唐似的。但有朋友在,这个世界就还有一点温馨。我还是和远方来的好友看看风景,聊聊往事,把那些无知与疏狂当作蛛丝一样地抹去吧。大把大把下视这类无聊的东西在,有纯真的友情,也有超越尘世的思考,还有许许多多的慧觉慧智与慧悟,在给人生带来另一番期待和希望。从依山而建,几重山门的南华寺大门走出来,很快,通向韶关火车站的公交车到了。我们依依惜别,JM夫妇慢步登上汽车,汽原创 2021-03-28 18:52:57 · 899 阅读 · 0 评论 -
求知以解惑 温故而知新 ——重读哥德尔之一(开篇)
标题****求知以解惑 温故而知新 ——重读哥德尔之一(开篇)**标题一、初识哥德尔对哥德尔的认知是从那本大部头的《哥德尔 艾舍尔 巴赫 集异壁之大成》开始的(以下简称《集异壁》)。把哥德尔与音乐家,与画家联系在一起来描述,这让我倍感惊奇,它拓宽了世俗凡夫之人的眼界。一首音乐,竟然可以是对于逻辑的奉献。而逻辑学家哥德尔,不仅可以和德国大音乐家巴赫的曲子连系在一起,还可以和荷兰大画家艾舍尔的科学画联系在一起。这个世界,骗人的东西很多,但有趣的东西也不少。至少,逻辑的东西还能够和高雅的艺术奇迹般地一起描述,原创 2021-03-12 21:59:12 · 342 阅读 · 0 评论 -
科幻 数学归纳法和皮亚诺公理5——尾篇之读皮亚诺之八
科幻 数学归纳法和皮亚诺公理5——尾篇之读皮亚诺之八新年的二月就这么随风飘去,三月来临了。时钟仿佛加快了它前行的速度,好像2021年还是刚刚到来似的,可转眼间,本年度六分之一的时光已经甩在我们身后了。时光飞逝,读书为乐。一份介绍美国怪侠马斯克的小文告知,对马斯克影响最深的一本科幻小说是《银河系搭车客指南》。这本书现在有中译本,买来随意浏览,竟然是上个世纪70年代的作品。翻到38页,看到作者的一个科幻想象图景。银河系漫游图片地球变成了一台终极的声音重放系统,四声道,堪称完美,它的完美仿真,甚至让男士原创 2021-03-02 20:21:02 · 718 阅读 · 0 评论 -
逻辑归纳与数学归纳:皮亚诺公理5解读1——皮亚诺读后之七
逻辑归纳与数学归纳:皮亚诺公理5解读1——皮亚诺读后之七本打算这个公理5的解读作为皮亚诺读后的终结篇,借助校图书馆的几个数据库,搜索数学归纳法的来龙去脉,发现这个数归法的历史还真值得一谈。估计这历史的追溯可成一篇,如果这个追溯正好有解读皮亚诺公理5的作用,那皮亚诺的阅读自然告一段落,我就该回到这次读书的主旨,弄明白一点哥德尔,在皮亚诺之后,就继续去跟读哥德尔了。但若容量太大,自然还得再来一篇博文。文字浏览,意蕴思索,观后成文,还是边读边想边盘算吧。标题一、演绎与归纳标题1、古典演绎与不那么古的古典归原创 2021-02-27 16:16:56 · 1320 阅读 · 0 评论 -
*皮亚诺关于公理4的一段语录解析 皮亚诺读后之六
皮亚诺关于公理4的一段语录解析 皮亚诺读后之六科学院在增补院士,如今的科学研究似乎与权势和利益总脱不开干系。仿佛就没有不为利益而进行的研究,也没有超脱权势不受权势影响的科学。有这样一个几乎成为常识的观念,任何人成为院士,自然都有可能。不过,继续皮亚诺那套东西时,我突然想到很早看过的一篇数学随笔:应用数学是坏数学。重又翻翻,发现作者似乎给纯粹数学家一点鼓舞,他们把自己的专业看作是艺术,最高的赞扬是漂亮,不在乎利益,也不在乎权势。而谈到应用数学家时,作者认为,他们最好的赞赏则是“强有力”,最在乎的自然是得到应原创 2021-02-22 12:19:13 · 476 阅读 · 0 评论 -
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五 鼠年的最后一晚,万里之遥的视频,带来孩子们新春的问候。春节的广州静悄悄的,牛年,就这么紧随着鼠年成为人们的过往记忆而款款而来。大年初二,一篇《西江月》的“三杯两盏”勾起我的文思,盘算着要如同《西江月》那样,也留下点什么文字痕迹才好。咬文嚼字的结果,弄出个四言八句。 岁月不居,时节如流。 忽焉已过,六轮丑牛。 往事如烟,人生何求? 三杯两盏,戏说春秋。 ...原创 2021-02-16 11:20:44 · 556 阅读 · 0 评论 -
皮亚诺的数概念起点和算术公理1-2告诉我们什么?—— 皮亚诺读后之四
皮亚诺的数概念起点和算术公理1-2告诉我们什么?—— 皮亚诺读后之四我们最经常使用的自然数,究竟从哪里来?这种追溯,大概来自人类心灵对于“自然之根”的探求欲望。就像人类不仅要记载自己的历史起源,还要把自身之外的宇宙起源,物质起源都要理出个究竟一样。寻根图片这寻根之举,于人文领域总叫人啼笑皆非。俄国的一些史家大概总在为俄国人的辉煌寻找证据,不管它曾经有过多少罪恶。而中国的一些史家,似乎更精于此道。刚刚看到几则历史寻源的大道小道消息,名校的一些教授在证明:金字塔、古希腊文明是现代伪造,被互联网鼓捣成世界原创 2021-02-08 16:06:59 · 915 阅读 · 0 评论 -
皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二
标题皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二有一首古老的英语民歌,描述走出野蛮的人类最常做的三件事:***Reading, 读啊!Writing, 写啊!Rithmetic, 算啊!***(摘自丹齐克著《数 科学的语言》第16页)这三个最普通的人类行为,都和各个人群所使用的自然语言相关。而算啊!通常就是指的算术运算。这就把我们引向了算术,引向了数学家对于算术基础的研究。刚刚接触过德国的戴德金,现在,我们的算术旅程向东进发,从德国移向意大利,从德国的戴德金东行至意大利的数学家原创 2021-01-24 17:28:18 · 528 阅读 · 0 评论 -
普遍语言、国际语言和数学家皮亚诺(Peano)——读皮亚诺之一
普遍语言、国际语言和数学家皮亚诺(Peano)——读皮亚诺之一自德国人莱布尼兹有了普遍语言的设想之后,逻辑的现代发展,在欧洲,好像走的一条从西到东的路径。英国人布尔用代数来设想逻辑,开创出逻辑学现代发展的一条新路。接着,就是一批德国人对于数学基础问题的研究。戴德金、弗雷格包括康托等人有关数字基础,特别是算术基础的研究成果,孕育着现代逻辑的进一步拓展。在研究地域上进一步向东,这次轮到古老而又现代的意大利了。那里是算术基础研究的一座高峰,同时也是一个奇观,如同海涅的一首著名诗篇提到的,意大利西西里岛上的埃特拉原创 2021-01-18 15:13:59 · 959 阅读 · 0 评论 -
戴德金的数学归纳法 戴德金读后之五(尾篇)
标题 戴德金的数学归纳法 戴德金读后之五(尾篇)理解戴德金完全归纳法的观念背景,似乎是在做一场哲学思辨。你面对的是那些在生活学习中经常碰到的一些抽象物,引你遐思,好像总能有些许领悟的感觉。但是,当你深入到戴德金为这个完全归纳法提供的证明,再面对他一组复杂的符号串的时候,你则会一脸懵圈,有可能是一番不知所云之感。这当然会让你寻找一些和戴德金著作相关的一些读物,让朦胧和晦涩有所消退。由是,这戴德金阅读的尾篇,就从朱言钧先生的一个评论开始。朱言钧简介读戴德金的双重感受,在朱言钧先生那里,编译戴德金著作的原创 2021-01-13 18:00:51 · 329 阅读 · 0 评论 -
戴德金的数学归纳法定理证明,有哪些观念背景?——读戴德金之四
标题戴德金的数学归纳法定理证明,有哪些观念背景?——读戴德金之四2021年读书的第一件事,就是弄明白一点戴氏的数归法。严格成型的数学归纳法,据说是1575年从意大利的一位数学学者(Maurolico)那里开始,距离今天大约有500年左右。发展到德国的戴德金那里,已经是19世纪末叶了。在戴德金的数学随笔中,数归法被看作是一个定理,即他的随笔《数的意义与性质》一文中的定理59,戴德金称之为完全归纳法定理。但在我看来,这个定理好像是从一个普通的东西,英文为(thing)开始的,更像是用thing作为起点的一个原创 2021-01-04 17:19:06 · 396 阅读 · 0 评论 -
数字 阅读与创造——读戴德金之三
标题数字 阅读与创造——读戴德金之三17世纪末叶,德国学者莱布尼兹在设想普遍语言可能的时候,从算术加想到了逻辑加。逻辑大概从这个时候开始,就和数学有了一种天然的联系。莱氏的这个设想经历一个半世纪,大约有150多年之久吧。19世纪的50年代,英国学者布尔进一步发展了逻辑加,除了逻辑加之外,还有逻辑乘,由此而有了逻辑代数。所以,在现代逻辑学的发展史上,布尔的这个贡献被看作是:他使逻辑从认识论的统治下解放出来,从而使得逻辑作为一门独立的科学获得了新生。(威廉.涅尔《逻辑学的发展》第518页)现代逻辑随后的原创 2020-12-25 16:16:21 · 252 阅读 · 0 评论 -
无理数究竟是什么?连续性公理的产物?——读戴德金之二
标题无理数究竟是什么?连续性公理的产物?——读戴德金之二人类的进步轨迹,很大程度上可以从数学,特别是初等算术中的数字演化中看出点门道。虽说是地理大发现开启了世界的历史,但世界历史的进展似乎总是和算术的进步相关联。从时间节点来看,在15世纪开始航海时代的时候,恰好也是现代算术理论刚刚启动的年代。用美国学者丹齐克的话来描述,现代的算术,其历史还不到四百年。丹齐克出版那本《数 科学的语言》一书的时间是1930年,已经时过近百年矣。这岂不是在表明,现代算术的历史还不到500年么?大概和地理大发现时代处在同一个时间原创 2020-12-13 17:19:37 · 1404 阅读 · 0 评论 -
质疑 追寻 与成果出版——读戴德金1872年《连续性和无理数》之1
标题质疑 追寻 与成果出版——读戴德金1872年《连续性和无理数》之1逻辑与数学的联姻,开启于1697年。这一年,德国的莱布尼兹做了也许是最初的算术加法联想,生成了莱布尼兹的逻辑加。莱布尼兹之后100多年,又出现布尔代数的设想,古典逻辑由此有了最初的数学基础,由是,就有了布尔的逻辑加和逻辑乘,大致相当于布尔代数的并和交。而再其后约百年,哥德尔又把对于算术系统的判定融入到他的不完全性定理之中,逻辑由此而彰显出,似乎和算术有着不解之缘。近来一段时间,接触哥德尔那个著名的定理,加上这个不解之缘,更诱发了我对算原创 2020-11-30 21:56:01 · 627 阅读 · 1 评论 -
哥德尔定理的背景知识1:戴德金的数观念——哥德尔逻辑与哲学之3
哥德尔定理的背景知识1:戴德金的数观念——哥德尔逻辑与哲学之3哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃。有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中,你总会有一些接触那些稀奇古怪符号的感受。虽说很多时候都是艰涩枯燥,但你也许正是在这种枯燥艰涩的逼近中,有可能学到一些抵抗这类枯燥的良方。在执着逼近的过程中,还可能有闪现灵光和文字魅力的时刻哩。只要有那么一点点,你的执着不就有了点收获,没有白费力气么?Torkel的那本书,正在啃它的第二章:不完全性定理的一个原创 2020-11-24 13:07:22 · 753 阅读 · 1 评论 -
数字 2020和喜寿
标题数字 2020和喜寿 ——又是随感一则标题一、数字大自然与人类一起创造了自然数,自然数为我们人类留下了许多谜团,对这些谜团的研究,成就了今天的数学伟业。有关自然数奥秘的猜想中,世人熟知的是哥德巴赫猜想。自然数中,还有许多艰深复杂的猜想,这里再举一例。例如,著名的“孪生素数猜想”,至今也没有被智者完全猜透。该猜想是这样的:孪生素数,即相差为2的一对素数,有无穷多对。孪生素数猜想自然数的这种神奇性质,引发了无数智者的思考探究。数字由此而呈现它神秘、冷峻、充满人类智慧的一面。但数字除了神秘冷峻与智原创 2020-11-13 12:40:50 · 317 阅读 · 0 评论 -
禅宗公案 艾舍尔的画与哥德尔定理——哥德尔逻辑与哲学之2
标题禅宗公案 艾舍尔的画与哥德尔定理——哥德尔逻辑与哲学之2几天的散漫阅读,我该从过去漫游式的哥德尔阅读,靠近一点哥德尔的技术细节了。不过,这样深入之前,好像还需要一点引论式的描述,这个描述直接借用《哥德尔 巴赫 艾舍尔》一书的第九章:无门与哥德尔。标题一、哥德尔与宗教神学在讨论哥德尔的技术细节之际,先把思路扯得远一点。我将像侯世达那样,把哥德尔和中国千年之前的禅宗公案来一点散漫性的联系。哥德尔大概怎么也想不到,他年轻时在欧洲做出的逻辑定理,不仅是逻辑学科领域的一件大事,它竟然还会和佛教的禅宗公案有原创 2020-10-29 17:56:48 · 470 阅读 · 0 评论