- 博客(189)
- 问答 (1)
- 收藏
- 关注
原创 哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七
**哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七**虎年的春节接近尾声,从惠州双月湾返回广州,已经时过一月了。近日又碰上一个震撼世界的俄乌开战,这篇博文也就一拖再拖。此外,还伴有诸多生存琐事缠绕。但书还得读,尤其是你已经开看,并且准备认真看的那些书。读一本书,宛如和那读书的主人签下合同似的,不继续读下去,颇有点失去信用的感觉。好在是自己与自己定约,不牵涉第二方第三方,所以这爽约的事,也就能够自我谅解。为俄乌战事弄了七篇随笔,三月也眼看过了一半,回到哥德尔这里换换口味吧。哥德尔的那个原著文本
2022-03-13 19:43:03
692
原创 谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六
谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六牛虎交接之际,到惠州双月湾轻走了一趟。在惠东县的海滨温泉区,沐浴浸泡,送走了牛年的最后一天。在双月湾的西湾银滩,乘船出海,渡过了虎岁的大年初一。本来还可以到东湾的海龟景区瞅瞅,疫情又一次阻断了我们的行程。谁能料知呢?惠州虎年春节初一,查出新冠一例,初二景区立马关闭,海滨行程强制提前结束。惠州的双月湾图片乘船出海双月湾西湾长滩夜景真乃人算不如天算也,牛虎交替之旅,就此戛然而止。我也就提前接续上对于哥德尔的关注,继续上篇的哥德尔数配置了。
2022-02-07 17:20:59
499
原创 901虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五
虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五丑牛之年走到了它的尽头,又一轮时序循环将要开始了。为这个尽头和起点,我做了一副对联,按华夏传统用浓墨书写,填在自家的门上。算是概略了这即将掠过的农历牛年,又算是对虎年旋即将至的一份期待。我的一付年末对联照片这副手联,是我给亲朋的新春致意,这个致意还带著两行十字文。年复一联,联传亲情友情。岁有两期,期待未来将来。也许,疫情很快就要过去;也许,我们的文字有更为广阔的时空腾挪,也许,更多的期许会在这寅虎之年出现;也许,我们永远只是在徒劳的期
2022-01-29 17:30:28
893
原创 以哥德尔命名的哥德尔数——哥德尔拆解汉译之四
以哥德尔命名的哥德尔数——哥德尔拆解汉译之四在哥德尔的系统P之后,原著文本立刻就出现题为2.1节的哥德尔数。哥德尔写这篇论文的时候,大概不会想到他为逻辑符号、逻辑公式配以自然数,会被后世称呼为以他名字命名的哥德尔数。在哥德尔原著文本中,第二章一气呵成,中间完全没有停顿。哥德尔将其形式系统P描述完毕,立刻就开始了对系统P初始符号的配数。后世各种英译本,为阅读方便大都按内容分节。但从哥德尔文集卷1中可知,哥德尔德文原著和该文集中英译并没有这样的分节。带德文版的哥德尔文集1哥德尔文集1中的德文原文没有分节
2022-01-15 13:59:07
1001
原创 哥德尔的形式系统P——哥德尔重读拆解汉译之三
哥德尔的形式系统P——哥德尔重读拆解汉译之三又到了新的一年,时序交替总有人借文字而抒发心中情愫,而诗之简洁流畅常常是抒发情愫之首选。而文字之借,又以情寄古典最为便捷,还可藏自文之拙也。于是,在解读哥德尔之际,伴随岁月流转之叹,思绪飘忽之时,随意翻阅起那本厚厚的《唐诗鉴赏辞典》。无意中品味了初唐诗人刘希夷拟古乐府《有所思》中一段,那花相似与人不同的对照,颇让人找到点文字的寄托,且把这短短的诗句留驻在读哥德尔的文中。古人无复洛城东,今人还对落花风。年年岁岁花相似,岁岁年年人不同。照片时序交替不已,花
2022-01-03 21:02:34
398
原创 对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二
对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二一直在搜寻Martin Hirzed的2000年哥德尔原著英译本,前几天在网上的随意搜寻,竟然在豆丁网页上发现了。要价还算合理,4元就可全文下载。下载后的文本是所谓的超文本(Hyper text),文本还间或带有彩色字符。正在设想这重读哥德尔的博客该如何延续,下载后再读这个Hyper text,以0作为第一部分:“关于这个文件”的起首一段,好像再次激活了我的弄文兴趣。先汉译其首段,从这段汉译大概可以窥知,我何以被这个首段所激活。Martin
2021-12-28 17:04:42
456
原创 第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一
第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一哥德尔原著中的第一不完全性定理证明的全过程,已经艰难地旅行了一趟。不是浮光掠影,却依然处在似懂非懂之中。静坐沉思,常自叹功力甚浅,未能力透纸背,了悟哥德尔符号玄机也。刚刚学到两个对待知识态度的英文单词。一个是know-it-all,中文翻译为无所不知,另一个是learn-it-all,中文翻译为无所不学。我们这个社会好像有不少know-it-all即无所不知的人和团体,所有人,所有团体都得听它的,因为它无所不知。好在还有一个正
2021-12-16 10:49:44
716
原创 哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26
哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26读哥德尔又遇到理解的困难,这个阅读受困的时段,正是因老桂大寿建立的几个科哲微信群讨论东方思维西方思维,还有辩证逻辑非辩证逻辑等等观念的时段。对科哲所知有限,但对思维与逻辑应该还有点感觉。东方和西方思维的分划,我感觉是一个伪分划。思维如果有地缘之分,那其实不是因地缘在划分思维,而是因地缘在划分语言。东西方人因地缘之故,有各种不同的自然语言,而显得思维似乎是各不相同。逻辑分为辩证和非辩证也是一个奇怪的分划,其实是一个非学术性,带有点实用意义的分划。这
2021-12-06 13:26:42
371
原创 宇宙时空 符号世界 对应引理——哥德尔读后之25
宇宙时空 符号世界 对应引理——哥德尔读后之25信息是这个世界的奇异存在,有一些你会不屑一顾,有一些你会无动于衷。但有些信息却会撞击你的灵魂,一听到就为之一震。你不会在乎它的虚实,也不会在乎它的信度,更不会在乎他背后的什么伦理、什么意义。你会感到一种穿透力,一种在感召你的某种神性一般的东西。昨天从微信中获得一个视频,一个美国女孩准备独自登录火星,做一次有可能一去不返的单向宇宙航行。这个视频似乎就是这样一类信息,还真可能就是不可信的信息。但就是能够撼动人,它让你觉得这个世界总有人在为未知所憧憬,即使充满魔
2021-11-17 21:28:11
646
原创 ω一致的故事和符号世界的对应——哥德尔读后之24
ω一致的故事和符号世界的对应——哥德尔读后之24听到来自脸书改名元宇宙的消息之后,又从一份外刊中得知,这元宇宙的概念其实由来已久。最早可以追溯到柏拉图的洞穴假说,最晚也要追溯到美国上世纪90年代的一本科幻小说《雪崩》snow crash,一本厚厚的长篇科幻小说。还没有时间来看这部几十年前的科幻长篇,但据说这个作者史蒂芬森很是了得。它的雪崩长篇,正是今日“超元城市”,即所谓虚拟实景技术的原创性构想所在。以致今天的虚拟世界,让人生有了远不同于实在世界的另一类空间。在这个空间里也有了公民,有了大使馆,有了很多超
2021-11-08 17:06:28
437
原创 存在 列表框-按钮-滚动条——Python学习笔记之25:
存在 列表框-按钮-滚动条——Python学习笔记之25:使用python语言来构造软件,没有想到是从tkinter开始。学习的趣味,大概就来自这种学习过程中的出于意料之外。软件的智慧在哪里,是对应我们的实在世界,还是为我们拓展出一个从来就没有见过的新型世界?这是个见仁见智的哲学问题,恐怕永远也不会有标准答案。但这样的哲学思考,是在促成智慧的发育,也是在让智慧成长。这个促成智慧发育与成长的回应,大概不会产生多少疑问。近段时间老见识到一种独断哲学的喧嚣,声称”宇宙只有一个”是逻辑和数学的唯一公理。宇宙只有
2021-10-29 17:50:55
211
原创 康先生和哥德尔数配置——哥德尔读后之二十三
康先生和哥德尔数配置——哥德尔读后之二十三这一篇博客,该用来直击哥德尔数的配置了。哥德尔的系统P,词项是一个系统P中,符号构成的基底;由词项再构成公式;而由公式继而构成证明。行文之际,有幸看到陈波老友的中国逻辑学70年回顾(微信公众号“哲学社”2021年10月14日)一文,涵盖够周密的了,但感觉有关中国逻辑学界对于现代逻辑,特别是对于哥德尔的研究,有点概略不全,漏掉了康宏逵先生。康先生的其它译著姑且忽略不论,仅他对哥德尔所下的功夫,中国逻辑学70年中没有记录,实在是有点不公。近一两年关注哥德尔,能参考的
2021-10-27 12:59:48
443
原创 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二这篇博文折腾了我近一个月,广州从8月以来几乎天天都在摄氏35度的酷热之中,满以为在秋凉之前可以完成,可你要从阅读哥德尔原著中找到些感觉,真还不是一件容易事。近几日老友传来一篇微信文章谈王浩,哥德尔生前好友,其中有两件轶事和我现在的心境有交汇,颇让人感触,现转录如下。一件事情是讲金岳霖,该文说:在联大,金岳霖开逻辑学入门课,课上基本是师徒两对练,金经常讲着讲着就问王浩:“哎,你小子说说咋回事啊?”王宪钧讲数理逻辑,沈有鼎讲维特根斯坦《逻辑哲
2021-10-13 13:35:35
677
原创 再试小程序拼接——Python学习笔记之24
再试小程序拼接——Python学习笔记之24在python GUI设计的事件绑定那一章有九个小程序,看完之后又想到了哥德尔的拼接。把已有符号按顺序排下去不管有没有重复一个一个地排下去。这样子组成的程序,会不会正常运行呢?上篇笔记做过两个程序的拼接,这回来个大点的,九个小程序。先做拼接的第一个试验,如果不行,再对拼接的重复做一些删节,也许就行。若继续有问题,再来检查其它的问题。第一试:完全拼接只出现第一个程序,后面的舍弃了,也许是那个root.mainloop()只实现第一个程序的循环吧。但却给了你一个
2021-09-20 11:14:30
100
原创 元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一
元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一电视机产生之后,人类就开始进入屏幕时代。而这个屏幕时代,因为计算机的出现,特别是个人计算机的出现,它似乎就在用远超寻常的速度,以技术发现为标志,从一种主流屏幕跨入另一种主流屏幕,从而形成不同的屏幕时代。个人计算机的出现产生的是PC屏幕时代,这大概从1981年IBM推出第一台个人计算机开始。IBM推出个人计算机这个时代仅仅维持了14年,到1995年,网景公司开发出最早的网络浏览器,互联网由此而逐渐变成人人都能理解,并且也能使用的更为广阔的屏幕空间。
2021-09-18 19:27:56
369
原创 窗口和根部小程序的拼接——Python学习笔记之23
窗口和根部小程序的拼接——Python学习笔记之23用户图形界面的GUI,似乎是为我们开创了一个图形的屏幕时代。一块平面的屏幕,无论其多大多小,竟然能够像容器一样,容纳无穷无尽的东西。这个平面的屏幕,还是一个几乎有无限层次的客体空间。人们能够跟随屏幕中的或标签,或按钮,或对话框,或滑动条,或刻度条等等,一层一层地往里走,恐怕这个可以向内延伸的窗口,真就没有尽头所在。而且,除了这个向内走的无限,万事万物互联的网络,通过网络链接,在窗口之外的链接同样是无限的。这真是一个了不起的屏幕时代,把这个屏幕时代变成为实
2021-09-14 15:03:37
255
原创 哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十
哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十这两天从外刊文字中了解到,人工智能AI很牛,不是一般地牛,很可能超越人的智能。但有一个事实,却不是能够轻易就被否定掉的。那就是,所谓现代机器人,包括可以自动驾驶的汽车,它们应该是人工智能的典型代表,其实际智能可能还没有超过一个七个月的婴儿。这个智能测试直观简洁,似乎只涉及到一个基本的哲学观念:存在。婴儿的照片自动驾驶汽车一个使用玩具的七个月婴儿,当把玩具放在他旁边的毯子之下时,婴儿可以从毯子下面找到玩具,他知道玩具虽然看不见,但玩具依然存在
2021-09-10 15:16:24
234
原创 GUI的演化和python编程——Python学习笔记之二十二
GUI的演化和python编程——Python学习笔记之二十二写完了有关长寿的两篇博文,本该去完成哥德尔那个命题六的。对计算机图形界面的好奇,让我把注意力暂时离开那个高度抽象难读的哥德尔,给转到计算机语言的python中来了。在python之中竟然有个图形界面的tkinter,它是什么?它从哪儿来?这引发我大大的兴趣。我要弄明白这个图形界面的GUI,究竟是个什么东西?能弄明白的就去弄明白,弄不明白的,只要你想弄明白,大概总可能弄明白。这就开始了本篇博文。GUI的图片表述一、从自然语言,电视到图形用
2021-09-04 17:47:26
226
原创 证明序列 证明公式和可证——哥德尔读后之十九
证明序列 证明公式和可证——哥德尔读后之十九广州的天气依然很热,农历的暑期已过,农历的处暑也过了几天,处暑,暑热之终止也。但秋凉的感觉,在广州这里似乎全无,且暂留两张随意档来的秋照送别夏天吧。秋天是出游的季节,连续不断的疫情依然在阻断你的游兴,只能让你困守宅屋。继续与那些诡谲的符号做伴,随意浏览有关处暑的信息,有诗曰:处暑无三日,新凉值万金。白头更世事,青草印禅心。我好像不是这样的心境,但诗文,这个既可能是心外之客体,也可能是心内之客体的东西,颇有传染性。禁不住要在心内寻找点东西,为这广州的处暑时
2021-08-25 14:10:36
418
原创 哥德尔不完全性定理 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八
命题6 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八开始命题六,也就是哥德尔第一不完全性定理的阅读了,但似乎离这个著名定理,还有那么一丁点的距离。于是本篇依然是交代命题6证明前的那些必不可少的证明铺垫。一、哥德尔命题6,即第一不完全性定理的两个版本表达在预设了c为任意公式类及其相关条件,并且给出一致性观念之后,命题6(VI)即对后世影响深远的哥德尔第一不完全性定理出场了。(依据1962年英译本)这个有关不可判定命题存在的一般性结果读作命题6:命题6:对于每一个一致
2021-08-21 09:28:38
376
原创 控件widget的初级组合尝试——Python学习笔记之二十一
控件widget的初级组合尝试——Python学习笔记之二十一学习Python编程,胡乱地看了几本书,在GUI这个位置给弄得不知如何是好了,于是弄到一本通俗些的菜鸟编程,题目直截了当就是GUI设计。一口气看了六章,好像还没找到你下笔写学习笔记的那个感觉。但这六章从控件widget谈起,轻巧地把控件属性,然后是窗口,标签,按钮,还有文本框到变量类别简略道来,真还让人对编程的起步有了点扎实的认知。这些东西似乎完全不带主体信息,只是信息门面性、框架性的东西。但琢磨一下,如果你没有先行构建,主体信息从何而来?这
2021-08-12 15:19:25
342
原创 哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七021-08-09
哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七这一篇读后,间隔的时间有点长。炎热的气候,还有继续在捣乱的新冠疫情,还有顶着疫情在东京召开的奥运会,全都在耗散你的效率。6月的广州疫情,让广州紧张了一个多月。刚刚缓过气来可以到处走走了,北京的一场大暴雨,无情打断了你预计的行程。真个是:广州疫情北京雨游兴萌生天无情。紧接着,郑州又摊上事了,更为无情的大水,让好多人就那么离开了这个折腾不休的世界。一年多来,让人爽心的事少,让人纠结的事多。郑州的事情只过了几天,当你再盘算出去走走的时候,新冠疫情又从
2021-08-09 12:09:53
302
原创 凑合着做了一个彩色字符计算器界面——Python学习笔记之二十
凑合着做了一个彩色字符计算器界面——Python学习笔记之二十那本厚厚的luze的Python编程学习手册,看到GUI那一部分,总是要碰到一些绕不开的坎。因为文件名的情形,在显示照片的那部分,无论你怎么样折腾,也折腾不过去。真有点像几天前的郑州大水淹没了隧道阻住了汽车的通行,地铁五号线灌进了水阻住了地铁的通行一样。不过,只是有那么丁丁点相像而已。实在的世界和字符的世界终究不是一回事。实在的世界真有可能让你无路可退,也无路可进,最后被无情的灾祸所吞没。字符的世界,则似乎总会让你有贯通之路。厚书难读,换一本薄
2021-07-28 21:01:25
171
原创 哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六
哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六刚刚感叹一番全球天灾,完成一篇哥德尔阅读的对比图表文。休憩转换一下阅读奇怪字符的神经,听听音乐,看看美图。这几天,重又走进哥德尔之际,历史的聚焦镜头,一下子从遥远的西欧洪灾折转到了老家的邻省河南。西欧的洪水恐怕还没有退尽,在河南郑州,还有河南很大范围的城镇,却似乎是碰到了千年未遇的水难。真不知道这个世界怎么啦,可怜地铁隧道中,沉没多少冤鬼魂。九龙翻江兴恶浪,遗祸中原郑州城。祈祷上苍,佑护生灵。水灾留照:隧道积水和隧道前车辆郑州地铁5
2021-07-24 09:07:40
113
原创 终于出照片了——Python学习笔记之十九
终于出照片了——Python学习笔记之十九学到GUI这一部分,才知python的编程似乎先要在架构上有点准备。而gui的学习又一定和图像有点关系,在编程中涉及图像,这让我迷糊了一段时间。也真是有点奇怪,只要是与图片有关,无论是gif的还是jpg的,你照抄的程序一定执行不了。所以,这段时间老是在怪罪我的目录,不断调整,不断卸载重装python的过程,昨天算是找到了一点笨拙门道,可以构想一个学习笔记了。一、又重复了一次python卸载和重装,解决了python中pip运用问题。在显示图片时需用到pip,在
2021-07-22 16:43:58
95
原创 天灾 经典 定义31-46译本对照——哥德尔读后之十五
天灾 经典 定义31-46译本对照——哥德尔读后之十五从牛年之初,就被哥德尔原著英译本缠上。导论的阅读,覆盖了牛年的春天。正文浏览之际,又碰上广州的荔湾疫情。春日已过,入夏时分,阅读之余,游兴萌生。思绪迁移到了疫情阻断的旅行,念想着到塞外风情的内蒙旧地重游,追怀那客逝他乡的苦命之人。想到就做,于是机票定好了,车也预定好了。可人算不如天算,恰好就是起飞前的一天,北京和内蒙地区挂起了暴风雨的橙色预警。可能就是预警吧,不会影响行程的。我好像有一种对媒体的天然不信任感,包括最有科学依据的天气预报,也受这个感觉的
2021-07-19 22:01:24
143
1
原创 拼接、比较与计算——哥德尔读后之十四
拼接、比较与计算——哥德尔读后之十四除了喧嚣、闹腾、莫名的亢奋和同样莫名的浮夸,我用心灵体验的那个客体空间,好像容不下哪怕是一粒沙子和些许浮尘。那个空间真是太太纯粹了,纯粹得可以看清其中的点点滴滴。我在这样的纯粹面前,把自己也看得清清楚楚。你接受不了这样的纯粹,因为阳光之下也有阴影。自然,你就只能是这个纯粹空间晦暗阴影中的一尊幽灵。不过,魔鬼为人们关上了很多门,天使也为人们开启了很多窗。天网恢恢,疏而有漏,人无魔助之时,常有自助之路。既有字符之可思,也有经典之可读。也许,遵从自我的呼唤,读你所读,思你所思
2021-07-07 20:20:08
149
2
原创 工具混合类框架代码执行有感而录——Python学习笔记之之十八
工具混合类框架代码执行有感而录——Python学习笔记之之十八Gui这两章学得很艰难,涉及照片的部分好像一个代码都没有弄成。但单单图标的部分,还是给了人一点信心。快速来到第十章了,组建生成器没有费什么周折,很快就执行成功。那就继续前行吧,竟然一下子就来了个稍长的普通工具混合类的GUIMIXIN代码文件。不求完整理解,能够执行通过就是进步。短的代码容易一次成功,稍长的代码,则往往无意中出现很多错,你的纠错过程就在加深你对代码的理解。本篇笔记也就意在为guimixin文件的纠错,到最后做成来做一点记录,以留下
2021-06-29 10:09:03
108
原创 哥德尔原著译本的前十四个定义——哥德尔读后之十三
哥德尔原著译本的前十四个定义——哥德尔读后之十三广州的疫情依然紧张,我校昨晚还包括今天早上,员工都在奔赴南操场进行自5月底以来的第二次核酸检测。因为疫情,差不多有一个月都蜷缩在家中了,顶多因为生活必须,去一下家门口附近的便利超市。得感谢网络带给这个世界的便利,让我们在疫情封锁之下,能够足不出户获得来自万里之遥的货品,消融掉一些闭户不出带来的郁闷与纠结。核酸检测网上购物还算方便现代网络来自计算机科学的迅猛发展,再往前追溯,一般会追到信息科学的源头。在格雷克那本《信息简史》中,最早的计算机灵感来自英
2021-06-25 20:22:54
168
2
原创 从滚动条到画布的几个代码文件——Python学习笔记之十七
从滚动条到画布的几个代码文件——Python学习笔记之十七这一章的继续学习,比在前的照片涉及代码要轻松一些,代码打完后的预期结果总能实现。特别让人欣慰的一点,文本上的文字理解好像上了一个台阶,不用多次试探,就把作者的内蕴之意给理解了。接触了两个文件,一个是simpleedit.py,还有一个变换版的文本编辑文件simpleedit2.py。前一个文件一试就执行成功,后一个文件则把人给卡住了,究竟是什么意思呢?好在没有花上多少时间,这个文本二很快就拿了下来,值得做个记录。后面的那个画布的代码,虽然也是照片未
2021-06-21 17:38:57
117
原创 从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二
从航天到原始递归函数的四个定理及其证明——哥德尔读后之十二人类对于地球的兴趣,如同数学家观察数学角度的变化一样,从地球之中导向了地球之外。六月中旬的两条新闻,都是有关人类飞越地球的航天消息。六月17日,中国三名航天员从酒泉出发,开始了他们到空间站停留九十天的航天之旅。也是在这一天,又听到美国蓝色起源公司,开启商务空间旅游的新闻。本年度的7月20日,亚马逊总裁协同其弟与机舱执行官,又招标一人,一共四人,将启动人类第一次航天旅游。空间站航天照片航天旅游不识庐山真面目,只缘身在此山中。跨出三界外,不在
2021-06-18 17:02:28
614
原创 再重装pip和PIL和代码Scrolledtext.py的实现——Python学习笔记之十六
再重装pip和PIL和代码Scrolledtext.py的实现——Python学习笔记之十六**上次把Pil转载之后,再来继续图像设置使用的代码,没有图片的按钮,对话框,菜单等图形基本上能够显示出来,但一接触到图片就糟糕透顶,怎么也看不到图片,那个pil库好像怎么也引不出来。今天无奈,继续以为目录的逻辑混乱所致,再次删光了python及其相关文件,再次把环境变量也关注了一下,再次把那个路径path特别加以关注,算是都重新走了一遍,恐怕目录的逻辑不会有问题了。相同的目录全都去掉了,这个清洗还是有效果的...
2021-06-12 17:44:18
245
2
原创 哥德尔定理依赖的数学背景——读哥德尔后之十一
哥德尔定理依赖的数学背景——读哥德尔后之十一开读哥德尔原著英译本第二章,恰好碰上广州来势汹汹的疫情。这个该死的新冠病毒,在地球上肆虐快两年了,该消停了吧?可5月的广州,让这个期盼又成幻影。又得一番折腾,才能让我们回复到正常的生活轨道了。本来想到广州“南海神庙”再瞅瞅的愿望,因为这突如其来的疫情,暂时是落空了。广州疫情的几张图片从荔湾开始广州疫情广州全员检测广州南海神庙好像正好是去年4月份的时候,我正在一段一段地品味法国作家加缪的《鼠疫》(见我的新浪博文784-795)。重新翻看《鼠疫》
2021-06-09 17:21:10
148
原创 Python图片库PIL装载小记——Python学习笔记152021-06-05
Python图片库PIL装载小记——Python学习笔记15Python编程的第八章这一部分让人有了点GUI的感觉,和照片联系上了。本来想把这几个代码的细节来点抠门式的整理,做到把每行代码都能说出点道道来。一篇谈论外语的音频说是像英国这样的国家,因为英语的万能流行,英国人都不用学什么外语了,以前热门得惊人的法语,英国似乎没有多少学校再把这法语当回事,于是当今英国人的外语教学就在日渐萎缩。我好像也有这种感觉,有了自己的母语,又有了形形色色的计算机语言,除非职业需要,似乎真用不着再花时间学什么别的语言了。但
2021-06-05 21:44:15
284
1
原创 不完全性定理 元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十
不完全性定理 元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十把R.B.B的导论弄完,终于轮到读哥德尔原著的英译文本了,今天开读原著的第一章。R.B.B的导言给了人很多哥德尔定理的背景知识,但背景知识代替不了原著。抚卷细读,九十年前,一个二十出头的年轻人,喜欢安定,喜欢精确,好像也很较真(见王浩著《哥德尔》),更好像有点超越实在。可就是这个不起眼的家伙,却发现了两个重要的逻辑与数学奉献中隐含着的元数学问题。年轻时的哥德尔彩照哥德尔黑白照以上提及到的两个逻辑与数学奉献,一个就是罗素-怀特海的
2021-06-01 15:02:59
534
原创 颇有点奇异的GUI对话框__Python学习笔记之十四
颇有点奇异的GUI对话框__Python学习笔记之十四这python手册下部的学习,一直到第6章都是在讲路径与目录。也许对于目录和路径的理解更方便去做python编程,但这几章似乎还是离编程有点距离,而且颇有难度,以后需要时再回头吧。有了这个想法,我就大踏步浏览跨越,挺进到第7章,再快速进到第8章,才放慢了节奏,开始了第8章逐字逐段的tkinter之旅,一个以前几乎就毫无所知的python园地。跨进这个GUI编程的园地,还真有点惊叹,第一段题头的双引号括住的一段黑体字,它就给了人惊叹!“组件、工具和GU
2021-05-25 16:04:35
141
1
原创 巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九
## 巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九终于看完了全部导言,这个哥德尔原著的1962年英译本,总共不到70页文稿,而导读性的前言和导言就占了近30页。哥德尔的原著英译本内容呢,则从37页开始,到67页结束,也是近30页。导读导言和原著文本,几乎就是各占书中一半文字江山,有点意思。导言看完,在继续理解哥德尔之际,思路却似乎没有聚焦到哥的理论,而是发散展开,想到了语言,想到了和语言相关的那个巴比塔。艾舍尔画的巴比塔圣经中的巴比塔圣经中的巴比塔传说标题一、圣经中的巴比塔早年
2021-05-19 16:20:00
191
原创 逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八
##* *## *逍遥游 一致性和哥德尔两大定理—— 读哥德尔之八内格尔那本《哥德尔证明》的导言,是《集异壁》的作者侯世达为之撰写的。侯世达1959年初涉哥德尔,1972年那一年,他在一趟驾车横穿美国大陆,风餐露宿多日的旅行之后到达纽约。他的哥德尔之旅由此而再次开启,并最终弄出了那本厚厚的《集异壁》大作。看来,学术总会和人的旅游涉事有那么一点关联。即使新冠疫情之下,远行不宜,也会迈开脚步,看看你周边的世界。由是,如同上篇开首想到广州的官洲生物岛一样,本篇讨论一致性,这个一致性的另一种意蕴,也许和模拟有关
2021-05-09 17:34:11
334
原创 路径 文件和导入——Python学习笔记之13
*路径 文件和导入——Python学习笔记之13电脑世界的路径,比人间世界的路径同样是扑朔迷离。这两天都在为路径抓狂,more.py的文件照录书本,做得没有错啊。可就是在python中执行不了,每一次指令后的结果还是在原地不动,也不报错,但没有执行结果,真是奇了怪了。一定是我的目录安排有问题了,但出在哪里,却没有头绪。于是萌生一个想法,删掉旧版,再下载python版本,把这个版本就放在C盘顶层,看是否可以发现问题。把python3.9包括各类文件都载下,全放在py39文件夹中,继续学习第二章。也许是那
2021-05-05 19:38:38
280
1
原创 生物岛 理查德数和哥德尔G数 读哥德尔之7
生物岛 理查德数和哥德尔G数 读哥德尔之7小小的新冠病毒,在全世界肆虐了一年多,还没有歇息的意思。那些荒唐的文化熏陶,好像也没有歇息的意思。但生活得继续,学习也得继续,养生健身也得继续。啃哥德尔那颗硬果的同时,经年累月的疫情,觉得那生物世界真乃是奇妙无比,耐人寻味。于是,沾点生物标签的地方,突然有一天就映射到我这里。广州的官洲国际生物岛,一个四面被珠江南航道包围的小岛,早有所知,却大都经官洲地铁站一晃而过,并没有实地看看。这读书消闲之余,该把这个空白给填补起来。近段时间,也就专程去了好几次广州生物岛。沿
2021-04-30 19:33:25
279
1
空空如也
博文复制变形问题是否可提供合适软件解决?
2021-12-16
TA创建的收藏夹 TA关注的收藏夹
TA关注的人