- 博客(3)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 存在 列表框-按钮-滚动条——Python学习笔记之25：
存在 列表框-按钮-滚动条——Python学习笔记之25：使用python语言来构造软件，没有想到是从tkinter开始。学习的趣味，大概就来自这种学习过程中的出于意料之外。软件的智慧在哪里，是对应我们的实在世界，还是为我们拓展出一个从来就没有见过的新型世界？这是个见仁见智的哲学问题，恐怕永远也不会有标准答案。但这样的哲学思考，是在促成智慧的发育，也是在让智慧成长。这个促成智慧发育与成长的回应，大概不会产生多少疑问。近段时间老见识到一种独断哲学的喧嚣，声称”宇宙只有一个”是逻辑和数学的唯一公理。宇宙只有
2021-10-29 17:50:55
195
原创 康先生和哥德尔数配置——哥德尔读后之二十三
康先生和哥德尔数配置——哥德尔读后之二十三这一篇博客，该用来直击哥德尔数的配置了。哥德尔的系统P，词项是一个系统P中，符号构成的基底；由词项再构成公式；而由公式继而构成证明。行文之际，有幸看到陈波老友的中国逻辑学70年回顾（微信公众号“哲学社”2021年10月14日）一文，涵盖够周密的了，但感觉有关中国逻辑学界对于现代逻辑，特别是对于哥德尔的研究，有点概略不全，漏掉了康宏逵先生。康先生的其它译著姑且忽略不论，仅他对哥德尔所下的功夫，中国逻辑学70年中没有记录，实在是有点不公。近一两年关注哥德尔，能参考的
2021-10-27 12:59:48
406
原创 数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二这篇博文折腾了我近一个月，广州从8月以来几乎天天都在摄氏35度的酷热之中，满以为在秋凉之前可以完成，可你要从阅读哥德尔原著中找到些感觉，真还不是一件容易事。近几日老友传来一篇微信文章谈王浩，哥德尔生前好友，其中有两件轶事和我现在的心境有交汇，颇让人感触，现转录如下。一件事情是讲金岳霖，该文说：在联大，金岳霖开逻辑学入门课，课上基本是师徒两对练，金经常讲着讲着就问王浩：“哎，你小子说说咋回事啊？”王宪钧讲数理逻辑，沈有鼎讲维特根斯坦《逻辑哲
2021-10-13 13:35:35
594
空空如也
博文复制变形问题是否可提供合适软件解决？
2021-12-16
TA创建的收藏夹 TA关注的收藏夹
TA关注的人