910哥德尔递归汉译和原始递归——哥…

2022-03-13 19:11

896第一不完全性定理证明标号分类…

2021-12-16 09:17

893w一致的故事和符号世界的对应——…

2021-11-08 15:52

885哥德尔不完全性定理关系谓词和…

2021-09-10 11:05

GUI的演化和python编程

2021-09-04 17:15

876天灾经典定义31-46译本对照——哥…

2021-07-19 21:14

875拼接、比较与计算——哥德尔读后…

2021-07-07 20:09

874哥德尔原著英译本的前十四个定…

2021-06-25 19:48

873从航天到原始递归函数的四个定…

2021-06-18 16:21

872哥德尔定理依赖的数学背景——读…

2021-06-09 16:00

870巴比塔、普遍语言与哥德尔定理…

2021-05-19 15:44

869逍遥游一致性和哥德尔两大定理—…

2021-05-09 17:11

865罗素怀特海的PM,皮亚诺的PA,哥…

2021-04-04 15:22

864元数学之一瞥——读哥德尔之二

2021-03-28 18:30

863求知以解惑温故而知新——重读哥…

2021-03-12 21:29

862科幻数学归纳法和皮亚诺公理5——…

2021-03-02 20:23

856戴德金：数是人类心灵的自由创…

2021-01-31 12:58

852戴德金的数学归纳法定理证明，…

2021-01-04 17:16