博文
- 存在 列表框-按钮=滚动条——Python学习笔记之25：
- 存在 列表框-按钮-滚动条——Python学习笔记之25： 使用python语言来构造软件，没有想到是从tkinter开始。学习的趣味，大概就来自这种学习过程中的出于意料之外。软件的智慧在哪里，是对应我们的实在世界，还是为我们拓展出一个从来就没有见过的新型世界？这是个见仁见智的哲学问题，恐怕永 ...
- 康先生和哥德尔数配置——哥德尔读后之二十三
- 康先生和哥德尔数配置——哥德尔读后之二十三 这一篇博客，该用来直击哥德尔数的配置了。哥德尔的系统P，词项是一个系统P中，符号构成的基底；由词项再构成公式；而由公式继而构成证明。行文之际，有幸看到陈波老友的中国逻辑学70年回顾（微信公众号“哲学社”2021年10月14日）一文，涵 ...
- 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
- 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二 这篇博文折腾了我近一个月，广州从8月以来几乎天天都在摄氏35度的酷热之中，满以为在秋凉之前可以完成，可你要从阅读哥德尔原著中找到些感觉，真还不是一件容易事。近几日老友传来一篇微信文章谈王浩，哥德尔生前好友， ...
- 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
- 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二 这篇博文折腾了我近一个月，广州从8月以来几乎天天都在摄氏35度的酷热之中，满以为在秋凉之前可以完成，可你要从阅读哥德尔原著中找到些感觉，真还不是一件容易事。近几日老友传来一篇微信文章谈王浩，哥德尔生前好友， ...
- 元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一
- 元宇宙时代 理查德数和哥德尔数——哥德尔读后之二十一 电视机产生之后，人类就开始进入屏幕时代。而这个屏幕时代，因为计算机的出现，特别是个人计算机的出现，它似乎就在用远超寻常的速度，以技术发现为标志，从一种主流屏幕跨入另一种主流屏幕，从而形成不同的屏幕时代。 个人计算机的出现产生的是PC屏幕时 ...
- 哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十
- 哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十 这两天从外刊文字中了解到，人工智能AI很牛，不是一般地牛，很可能超越人的智能。但有一个事实，却不是能够轻易就被否定掉的。那就是，所谓现代机器人，包括可以自动驾驶的汽车，它们应该是人工智能的典型代表，其实际智能可能还没有超过一个七个月的婴 ...
- GUI的演化和python编程
- GUI的演化和python编程 写完了有关长寿的两篇博文，本该去完成哥德尔那个命题六的。对计算机图形界面的好奇，让我把注意力暂时离开那个高度抽象难读的哥德尔，给转到计算机语言的python中来了。在python之中竟然有个图形界面的tkinter，它是什么？它从哪儿来？这引发我大大的兴趣。我要弄明白这个图形界面的GUI ...
- 证明序列 证明公式和可证——哥德尔读后之十九
- 证明序列 证明公式和可证——哥德尔读后之十九 广州的天气依然很热，农历的暑期已过，农历的处暑也过了几天，处暑，暑热之终止也。但秋凉的感觉，在广州这里似乎全无，且暂留两张随意档来的秋照送别夏天吧。 秋天是出游的季节，连续不断的疫情依然在阻断你的游兴，只能让你困守宅屋。继续与那些诡谲的 ...
- 哥德尔不完全性定理 悖论式陈述 PM不可判定命题和哥德尔可表达性定理--哥德尔读后十八
- 哥德尔第一不完全性定理 悖论式陈述 PM不可判定命题，和哥德尔可表达性定理——哥德尔读后之十八 开始命题六，也就是哥德尔第一不完全性定理的阅读了，但似乎离这个著名定理，还有那么一丁点的距离。于是本篇依然是交代命题6证明前的那些必不可少的证明铺垫。 一、哥德尔命题6，即第一不完全性定理的两个版本表达 ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
