博文
- 2022-03-13
- 哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七 虎年的春节接近尾声，从惠州双月湾返回广州，已经时过一月了。近日又碰上一个震撼世界的俄乌开战，这篇博文也就一拖再拖。此外，还伴有诸多生存琐事缠绕。但书还得读，尤其是你已经开看，并且准备认真看的那些书。 读一本书，宛如和那读书 ...
- 谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六
- 谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六 牛虎交接之际，到惠州双月湾轻走了一趟。在惠东县的海滨温泉区，沐浴浸泡，送走了牛年的最后一天。在双月湾的西湾银滩，乘船出海，渡过了虎岁的大年初一。本来还可以到东湾的海龟景区瞅瞅，疫情又一次阻断了我们的行程。谁能料知呢？惠州虎年春节初一， ...
- 虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五
- 虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五 丑牛之年走到了它的尽头，又一轮时序循环将要开始了。为这个尽头和起点，我做了一副对联，按华夏传统用浓墨书写，填在自家的门上。算是概略了这即将掠过的农历牛年，又算是对虎年旋即将至的一份期待。 我的一付年末对联照片 这副手联， ...
- 以哥德尔命名的哥德尔数——哥德尔拆解汉译之四
- 以哥德尔命名的哥德尔数——哥德尔拆解汉译之四 在哥德尔的系统 P 之后，原著文本立刻就出现题为2.1节的哥德尔数。哥德尔写这篇论文的时候，大概不会想到他为逻辑符号、逻辑公式配以自然数，会被后世称呼为以他名字命名的 哥德尔数 。在哥德尔原著文本中，第二章一气呵成，中间完全没有停顿。哥德尔将其形式 ...
- 哥德尔的形式系统P——哥德尔重读拆解汉译之三
- 哥德尔的形式系统 P ——哥德尔重读拆解汉译之三 又到了新的一年，时序交替总有人借文字而抒发心中情愫，而诗之简洁流畅常常是抒发情愫之首选。而文字之借，又以情寄古典最为便捷，还可藏自文之拙也。于是，在解读哥德尔之际，伴随岁月流转之叹，思绪飘忽之时，随意翻阅起那本厚厚的《唐诗鉴赏辞典》。无意中品 ...
- 对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二
- 对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二 一直在搜寻Martin Hirzed的2000年哥德尔原著英译本，前几天在网上的随意搜寻，竟然在豆丁网页上发现了。要价还算合理，4元就可全文下载。下载后的文本是所谓的超文本（Hyper text）,文本还间或带有彩色字符。正在设想这重读哥德尔的博客该 ...
- 第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一
- 第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一 哥德尔原著中的第一不完全性定理证明的全过程，已经艰难地旅行了一趟。不是浮光掠影，却依然处在似懂非懂之中。静坐沉思，常自叹功力甚浅，未能力透纸背，了悟哥德尔符号玄机也。 刚刚学到两个对待知识态度的英文单词。一个是know-i ...
- 哥德尔定理证明中的标号（11）-（16）——哥德尔读后之26
- 热度 1
- 哥德尔定理证明中的标号（11）-（16）——哥德尔读后之26 读哥德尔又遇到理解的困难，这个阅读受困的时段，正是因老桂大寿建立的几个科哲微信群讨论东方思维西方思维，还有辩证逻辑非辩证逻辑等等观念的时段。对科哲所知有限，但对思维与逻辑应该还有点感觉。东方和西方思维的分划，我感觉是一个伪分划。思维如果 ...
- 宇宙时空 符号世界 对应引理——哥德尔读后之25
- 宇宙时空 符号世界 对应引理——哥德尔读后之25 信息是这个世界的奇异存在，有一些你会不屑一顾，有一些你会无动于衷。但有些信息却会撞击你的灵魂，一听到就为之一震。你不会在乎它的虚实，也不会在乎它的信度，更不会在乎他背后的什么伦理、什么意义。你会感到一种穿透力，一种在感召你的某种 ...
- w一致的故事和符号世界的对应——哥德尔读后之24
- w 一致的故事和符号世界的对应——哥德尔读后之 24 听到来自脸书改名元宇宙的消息之后，又从一份外刊中得知，这元宇宙的概念其实由来已久。最早可以追溯到柏拉图的洞穴假说，最晚也要追溯到美国上世纪90年代的一本科幻小说《雪崩》snow crash，一本厚厚的长篇科幻小说。还没有时间来看这部几十年前的科 ...
