2022-03-13 2022-03-13

 哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七   虎年的春节接近尾声，从惠州双月湾返回广州，已经时过一月了。近日又碰上一个震 ...

(1496)次阅读|(0)个评论

谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六 2022-02-07

谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六   牛虎交接之际，到惠州双月湾轻走了一趟。在惠东县的海滨温泉区，沐浴浸泡，送走了牛年的最 ...

(2243)次阅读|(0)个评论

虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五 2022-01-29

虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五   丑牛之年走到了它的尽头，又一轮时序循环将要开始了。为这个尽头和起点，我做了一副 ...

(2463)次阅读|(0)个评论

以哥德尔命名的哥德尔数——哥德尔拆解汉译之四 2022-01-15

以哥德尔命名的哥德尔数——哥德尔拆解汉译之四   在哥德尔的系统 P 之后，原著文本立刻就出现题为2.1节的哥德尔数。哥德尔写这篇论文的时候，大概 ...

(3305)次阅读|(0)个评论

哥德尔的形式系统P——哥德尔重读拆解汉译之三 2022-01-03

哥德尔的形式系统 P ——哥德尔重读拆解汉译之三   又到了新的一年，时序交替总有人借文字而抒发心中情愫，而诗之简洁流畅常常是抒发情愫之首选。而文 ...

(2023)次阅读|(0)个评论

对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二 2021-12-28

 对角线 理查德数和不可判定命题——哥德尔原著英译本拆解汉译之二   一直在搜寻Martin Hirzed的2000年哥德尔原著英译本，前几天在网上的随意搜寻 ...

(2170)次阅读|(0)个评论

第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一 2021-12-16

第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一 哥德尔原著中的第一不完全性定理证明的全过程，已经艰难地旅行了一趟。 ...

(4014)次阅读|(0)个评论

哥德尔定理证明中的标号（11）-（16）——哥德尔读后之26 2021-12-06

哥德尔定理证明中的标号（11）-（16）——哥德尔读后之26   读哥德尔又遇到理解的困难，这个阅读受困的时段，正是因老桂大寿建立的几个科哲微信群讨论东 ...

(1867)次阅读|(1)个评论

查看更多