![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
算法
文章平均质量分 72
weixin_41670255
这个作者很懒,什么都没留下…
展开
-
哥德尔的形式系统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 评论 -
哥德尔命题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 评论 -
天灾 经典 定义31-46译本对照——哥德尔读后之十五
天灾 经典 定义31-46译本对照——哥德尔读后之十五从牛年之初,就被哥德尔原著英译本缠上。导论的阅读,覆盖了牛年的春天。正文浏览之际,又碰上广州的荔湾疫情。春日已过,入夏时分,阅读之余,游兴萌生。思绪迁移到了疫情阻断的旅行,念想着到塞外风情的内蒙旧地重游,追怀那客逝他乡的苦命之人。想到就做,于是机票定好了,车也预定好了。可人算不如天算,恰好就是起飞前的一天,北京和内蒙地区挂起了暴风雨的橙色预警。可能就是预警吧,不会影响行程的。我好像有一种对媒体的天然不信任感,包括最有科学依据的天气预报,也受这个感觉的原创 2021-07-19 22:01:24 · 131 阅读 · 1 评论 -
哥德尔原著译本的前十四个定义——哥德尔读后之十三
哥德尔原著译本的前十四个定义——哥德尔读后之十三广州的疫情依然紧张,我校昨晚还包括今天早上,员工都在奔赴南操场进行自5月底以来的第二次核酸检测。因为疫情,差不多有一个月都蜷缩在家中了,顶多因为生活必须,去一下家门口附近的便利超市。得感谢网络带给这个世界的便利,让我们在疫情封锁之下,能够足不出户获得来自万里之遥的货品,消融掉一些闭户不出带来的郁闷与纠结。核酸检测网上购物还算方便现代网络来自计算机科学的迅猛发展,再往前追溯,一般会追到信息科学的源头。在格雷克那本《信息简史》中,最早的计算机灵感来自英原创 2021-06-25 20:22:54 · 162 阅读 · 2 评论 -
从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二
从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二人类对于地球的兴趣,如同数学家观察数学角度的变化一样,从地球之中导向了地球之外。六月中旬的两条新闻,都是有关人类飞越地球的航天消息。六月17日,中国三名航天员从酒泉出发,开始了他们到空间站停留九十天的航天之旅。也是在这一天,又听到美国蓝色起源公司,开启商务空间旅游的新闻。本年度的7月20日,亚马逊总裁协同其弟与机舱执行官,又招标一人,一共四人,将启动人类第一次航天旅游。空间站航天照片航天旅游不识庐山真面目,只缘身在此山中。跨出三界外,不在原创 2021-06-18 17:02:28 · 606 阅读 · 0 评论 -
逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八
##* *## *逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八内格尔那本《哥德尔证明》的导言,是《集异壁》的作者侯世达为之撰写的。侯世达1959年初涉哥德尔,1972年那一年,他在一趟驾车横穿美国大陆,风餐露宿多日的旅行之后到达纽约。他的哥德尔之旅由此而再次开启,并最终弄出了那本厚厚的《集异壁》大作。看来,学术总会和人的旅游涉事有那么一点关联。即使新冠疫情之下,远行不宜,也会迈开脚步,看看你周边的世界。由是,如同上篇开首想到广州的官洲生物岛一样,本篇讨论一致性,这个一致性的另一种意蕴,也许和模拟有关原创 2021-05-09 17:34:11 · 313 阅读 · 0 评论 -
艺术与实在中的递归 递归和原始递归函数——读哥德尔之六
**艺术与实在中的递归 递归和原始递归函数——读哥德尔之六**哥德尔不完全性定理又一个需要交代的背景,是所谓递归概念,以及由递归引出的原始递归函数。哥德尔1931年的那篇证明不完全性定理的论文,原始递归函数起到极重要的作用。按照莫绍揆先生的说法,也就是在这篇论文之后,“原始递归函数论”便正式出现了(参见莫绍揆著《递归论》第1页)。何谓递归呢?本篇首节先来点轻松的不那么严格的描述,只求对于递归有个感觉上的认知。虽然感觉很不可靠,但和感觉很相近的直觉这个词,往往是理解那些高玄知识的初阶。可能是错讹的,但原创 2021-04-17 14:11:12 · 695 阅读 · 0 评论 -
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五随意翻看哥德尔的轶闻琐事,他的一些奇怪直觉引人关注和思考。其中的一个奇怪直觉特别有趣,哥德尔竟然是个彻底的“反经验主义者”,他描述的东西几乎与实在世界毫不相干。用戈德斯坦的一段评论,哥德尔与爱因斯坦一样,他们致力于超越人类的所谓经验,尤其是致力于超越逻辑实证主义者所完全依赖的经验。这两位学术巨擘,全都是在用自己的发现,描述他们“视野之外”的神秘世界。(参见:戈德斯坦《不完备性》湖南科技出版社中文版第25页)。爱因斯坦发现的东西,属于理论物理学,他的“视野之原创 2021-04-11 15:01:06 · 560 阅读 · 2 评论 -
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五 鼠年的最后一晚,万里之遥的视频,带来孩子们新春的问候。春节的广州静悄悄的,牛年,就这么紧随着鼠年成为人们的过往记忆而款款而来。大年初二,一篇《西江月》的“三杯两盏”勾起我的文思,盘算着要如同《西江月》那样,也留下点什么文字痕迹才好。咬文嚼字的结果,弄出个四言八句。 岁月不居,时节如流。 忽焉已过,六轮丑牛。 往事如烟,人生何求? 三杯两盏,戏说春秋。 ...原创 2021-02-16 11:20:44 · 556 阅读 · 0 评论 -
皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二
标题皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二有一首古老的英语民歌,描述走出野蛮的人类最常做的三件事:***Reading, 读啊!Writing, 写啊!Rithmetic, 算啊!***(摘自丹齐克著《数 科学的语言》第16页)这三个最普通的人类行为,都和各个人群所使用的自然语言相关。而算啊!通常就是指的算术运算。这就把我们引向了算术,引向了数学家对于算术基础的研究。刚刚接触过德国的戴德金,现在,我们的算术旅程向东进发,从德国移向意大利,从德国的戴德金东行至意大利的数学家原创 2021-01-24 17:28:18 · 528 阅读 · 0 评论 -
戴德金的数学归纳法 戴德金读后之五(尾篇)
标题 戴德金的数学归纳法 戴德金读后之五(尾篇)理解戴德金完全归纳法的观念背景,似乎是在做一场哲学思辨。你面对的是那些在生活学习中经常碰到的一些抽象物,引你遐思,好像总能有些许领悟的感觉。但是,当你深入到戴德金为这个完全归纳法提供的证明,再面对他一组复杂的符号串的时候,你则会一脸懵圈,有可能是一番不知所云之感。这当然会让你寻找一些和戴德金著作相关的一些读物,让朦胧和晦涩有所消退。由是,这戴德金阅读的尾篇,就从朱言钧先生的一个评论开始。朱言钧简介读戴德金的双重感受,在朱言钧先生那里,编译戴德金著作的原创 2021-01-13 18:00:51 · 329 阅读 · 0 评论 -
无理数究竟是什么?连续性公理的产物?——读戴德金之二
标题无理数究竟是什么?连续性公理的产物?——读戴德金之二人类的进步轨迹,很大程度上可以从数学,特别是初等算术中的数字演化中看出点门道。虽说是地理大发现开启了世界的历史,但世界历史的进展似乎总是和算术的进步相关联。从时间节点来看,在15世纪开始航海时代的时候,恰好也是现代算术理论刚刚启动的年代。用美国学者丹齐克的话来描述,现代的算术,其历史还不到四百年。丹齐克出版那本《数 科学的语言》一书的时间是1930年,已经时过近百年矣。这岂不是在表明,现代算术的历史还不到500年么?大概和地理大发现时代处在同一个时间原创 2020-12-13 17:19:37 · 1402 阅读 · 0 评论 -
世界逻辑日,原来是这么促成的!!
世界逻辑日,原来是这么促成的!!走南闯北了几年之后,因为读了几本谈逻辑与算法关系的书,突然就觉得这逻辑的历史得重新关注,在与算法关联的基础上关注。于是又回到原来工作时的套路上来,一点一点地寻觅那些有关逻辑与算法历史的线索,然后把寻觅中的阅读变成一个一个的文字和符号。还在阅读的进程之中,但如今这个年代,承载信息技术的微信,总会给你一些惊奇意外的消息,两个年关就给了我两个新奇。一个阳历年关,逻辑圈...原创 2020-01-14 11:41:26 · 834 阅读 · 1 评论 -
兰贝特构造的一个有关属种的概念演算2-逻辑与算法二十一
兰贝特构造的一个有关属种的概念演算2—逻辑与算法之二十一兰贝特的牛顿公式该如何理解呢?刘易斯对它的形成有一个从低阶逐步上升的铺垫,然后就把这个上升的趋势归结为表达无限的牛顿公式,最后对这个神奇的公式做了一个幻想式的评论。而那长长一串符号给我的感觉,却似乎意味着,那不过是兰贝特对于那个古老的属和种概念的数学理解和逻辑理解。他的数学理解就是把算术的运算引入到语词的组合上来,所以这个牛顿公式就有最基...原创 2020-01-12 15:22:01 · 193 阅读 · 0 评论 -
兰贝特构造的一个有关属种推理的幻想式演算1—逻辑与算法之二十
兰贝特构造的一个有关属种推理的幻想式演算1—逻辑与算法之二十双20的新年把世界带入了21世纪的20年代,新年伊始,逻辑与算法的思考还在心中萦绕。岁月前行,思绪回归,莱布尼兹的那两个片断19和20之后,继续阅读《符号逻辑概览》,自然就轮到了瑞士出生的数学家兰贝特Johann Heinrich Lambert。自莱布尼兹之后,欧洲出现各种各样发展逻辑演算的意图。萨格尔segner,贝努里Berno...原创 2020-01-03 18:00:18 · 277 阅读 · 0 评论 -
逻辑证明的基础除了定义,还有公理--逻辑与算法十九
逻辑证明的基础除了定义,还有公理–逻辑与算法十九引言萊布尼兹的片断19和片断20的最后注釋是关于公理的,先给出公理1和公理2的基本内容,然后我们来看莱布尼兹如何看待它的逻辑加所依据的这两个公理。公理1:B⊕N=N⊕B。逻辑加的交换律公理2:A⊕A=A。逻辑加的吸收律一个演绎证明的基础首先是定义,除了定义之外,那就是公理了。莱布尼兹在其晚年发表的一篇论文《数学的形而上学基础》(写于1716...原创 2019-12-28 16:24:43 · 766 阅读 · 0 评论 -
莱布尼兹普遍演算的定义注释--逻辑与算法之十八
莱布尼兹普遍演算的定义注释–逻辑与算法之十八证明完了24个命题,在片断20的最后部分,莱布尼兹对于他的演算中提到的定义和公理给出了一大段注释。首先注释的是片断20给出的定义3,4,5,6。这非常自然,因为在莱布尼兹《关于物和词之间联系的对话》一文中,他对定义有过一段简短的论述:“一切证明的基础是定义。”(见《莱布尼兹自然哲学著作选》第19页)。然后,他就给普遍演算中两个公理也做了注释。因为篇...原创 2019-12-24 18:41:12 · 1063 阅读 · 0 评论 -
莱布尼兹逻辑加命题22-24解读 逻辑与算法之十七
莱布尼兹逻辑加命题22-24解读 逻辑与算法之十七命题22-24为有关分离的逻辑加命题,且有其特殊之处。这类命题,在已先有两个分离词项的基础上,意在找到第三个词项,以满足某些条件。在莱布尼兹逻辑加的命题中,这类命题属于有点艰涩难懂的字符结构,需要从艰涩的文字中体悟到文字背后隐藏的东西。颇为特殊的是,这些命题,莱布尼兹都用寻找第三个词项,而不是证明某个命题的方式来描述,让人颇感奇怪。且让我们穿透文...原创 2019-12-19 17:19:34 · 322 阅读 · 0 评论 -
莱布尼兹逻辑加与包含关系命题13-21——逻辑与算法之十六
莱布尼兹逻辑加与包含关系命题13-21——逻辑与算法之十六命题13-命题21是逻辑加命题的延续,逻辑加与包含关系融汇其中,我们按照片断的顺序,开始命题13-21的理解。命题13:如果L⊕B=L,那么B在L中。如果任意词项附加到另一个词项,并不改变另一个词项,那么,这个所附加的词项就在另一个词项之中。证明:1.B在L⊕B之中(依据定义4,包含的定义)L⊕B=L(依据假设)3.以L替...原创 2019-12-12 12:11:04 · 534 阅读 · 0 评论 -
莱布尼兹命题11和涉及包含关系的命题12-逻辑与算法之十五
莱布尼兹命题11和涉及包含关系的命题12-逻辑与算法之十五一、命题11莱布尼兹命题11是命题10的延续,是多于两个词项等式情况下,有关等式左项逻辑加和等式右项逻辑加的多项式命题。命题11:如果A=L,并且B=M,并且C=N,那么则有A⊕B⊕C=L⊕M⊕N,等等。如果任意数目的词项在我们的考虑之下,并且又有等数目的词项和另一个等数目的词项,一对一的相同(一致),那么,前者所构成的一个合成词项...原创 2019-12-03 21:36:34 · 342 阅读 · 0 评论 -
莱布尼兹命题10中的逻辑加及其转换性命题10+ -逻辑与算法之十四
莱布尼兹命题10中的逻辑加及其转换性命题10+ -逻辑与算法之十四片断20中的命题10,依然是有关逻辑加的定理,且看莱布尼兹如何处理。我们面前呈现两个等量公式,先将两公式左边的符号,运算逻辑加。然后,将公式右边的符号,同样运算逻辑加。这两次运算逻辑加的结果,可以用等号连接,因为它们相同。这应该是同一法则的另一种情形,比命题9复杂一些。本篇的篇幅容量,大概只能处理这个命题及其证明了。估计也只...原创 2019-11-29 16:41:11 · 346 阅读 · 0 评论 -
萊布尼兹命題9 幾何原本公理2 亞里士多德的相同 邏輯與算法之十三
莱布尼兹命题9 《几何原本》公理2和亚里士多德的“相同”-逻辑与算法之十三在莱布尼兹的片断20中,从命题9开始,对命题的证明都辅之以几何图形。无论如何抽象的几何图形,也比纯粹文字的表述更容易为人理解。在759中曾给出过片断20命题3的文字证明,本篇再给出片断20中,逻辑加交换律命题1的文字证明。然后,则仅给出有辅助图形的命题9及其证明。这个思路是一个未曾预料到的转换,原本想一个一个命题联袂而...原创 2019-11-25 16:49:11 · 208 阅读 · 0 评论 -
莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二
莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二相同和不同是莱布尼兹片断20中,最为基础的定义。展开莱布尼兹关于普遍演算的设想,余下的定义,公理和公设都不可缺,然后才能开始命题的证明。本篇继续以文本片断20为据,先给出余下的定义3-6,继而给出公理1-2和公设2的部分。很难想象,这个世界如果没有2000年前《几何原本》的存在,今天会是什么样子。开启人类科学时代的那些如牛顿、莱布尼...原创 2019-11-16 21:11:29 · 2005 阅读 · 0 评论 -
莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一
莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一《符号逻辑概览》附录中的节20,莱布尼兹先用文字说明某些定义,再用文字证明有关逻辑加的24个命题。在这些被描述的定义和被证明的命题中,其中有12个附之以几何作图。这自然引发我的兴趣,从算术加引申出的逻辑加,是不是也和欧氏几何有点关联呢?也许,弄清楚这12个有几何图形的说明和证明,我们就会找到一些答案。这大概很难弯道超车,还是老老实...原创 2019-11-14 19:32:21 · 264 阅读 · 0 评论 -
曾称呼过算法逻辑的符号逻辑,逻辑与数学的联姻,从莱布尼兹开始 - 逻辑与算法之九
曾称呼过算法逻辑的符号逻辑,逻辑与数学的联姻,从莱布尼兹开始逻辑与算法之九讲过多年的逻辑史,莱布尼兹在讲授中总会专辟一章,把他作为现代数理逻辑的一个起点来讲。但因为材料的缺乏,细节总是一带而过。这一次想对算法知识有点启蒙,下了点决心,旅游的热忱也降点温,要把莱布尼兹的工作了解得更清楚一些。于是,就不断翻看莱布尼兹的中文文献,自然,觉得有关联的英文文献也不时翻阅。重看刘易斯1918年的《符号...原创 2019-11-06 10:49:53 · 351 阅读 · 0 评论 -
曾经互不相干的两个演绎系统:三段论与欧几里得几何学 逻辑与算法之八
曾经互不相干的两个演绎系统:三段论与欧几里得几何学 逻辑与算法之八三段论和欧几里得几何学,这两个近乎同时产生的演绎系统,它们好像很长时间都互不相干。不仅如前文所述,一开始就互不相干,而且在其后近两千年的历史长河中,依然也互不相干。如同两条平行前移的溪流,有时平缓,有时激越,却在漫长的时间流逝之中,几乎就看不到它们的交汇融合。三段论推理是三段论推理,它只把自己锁定在自然语言的命题、话...原创 2019-11-03 16:57:22 · 645 阅读 · 0 评论 -
欧几里得算法中的归谬法和反证法 逻辑与算法之七
欧几里得算法中的归谬法和反证法 逻辑与算法之七 思索《几何原本》第七卷命题1的证明,是一件十分有趣的事情。回忆我的小学和中学,好像没有学过反证法似的,归谬法更没有印象。不过,这也许是儿时的记忆有误。数学当中,如果一个命题直接不大好证,我们可以绕个弯,先证明它反面不成立,然后就可以推出,那个待证的原命题是成立的。老师说这样证明有效,你还能反驳什么呢?不过,我们的水平难以反驳...原创 2019-10-26 15:30:36 · 1065 阅读 · 0 评论 -
贫乏却最美好的三段论和神奇而不太严格的欧几里得算法-逻辑与算法之六
贫乏却最美好的三段论和神奇而不太严格的欧几里得算法- 逻辑与算法之六三段论是没有数字计算的推理,虽然如有些学者所言,这个来自希腊语的术语“三段论”本身就有计算的涵义。但希腊语的这个计算也许只是在推理意义上的计算或者演算,并没有数字计算的涵义。照片1三段论的希腊文和英文三段论与计算无缘,同时,它也因其是简单得不能再简单的推理,遭到近现代许多人的批评,认为它是一门毫无用处的东西。...原创 2019-10-22 16:34:34 · 505 阅读 · 0 评论 -
没有计算的推理和基于推理的计算 逻辑与算法之五
没有计算的推理和基于推理的计算 逻辑与算法之五近现代科学的创立和发展,按照爱因斯坦的说法,一个是古希腊人为科学准备的理论体系,一个是文艺复兴时期开创的实验方法,用系统实验来寻求自然现象之间的因果联系。古希腊人所做的理论准备,体现在古希腊的两大演绎体系之中。从纯粹数学看,那就是欧几里得(约公元前330-前275年)几何学中的形式逻辑体系,或者称公理演绎体系。这个演绎体系在数学中的原创典...原创 2019-10-20 20:12:13 · 593 阅读 · 0 评论