965虎年年末讣告和桂起权先生的语…

2023-01-16 21:33

959车痕赣北三城：九江南昌和景德…

2022-11-30 18:59

957江流孤行与黄鹤楼的仙风道骨驾…

2022-11-23 11:38

920东正教复活节与联合国呼吁

2022-04-20 09:53

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

2022-03-13 19:11

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

2021-12-16 09:17

894宇宙时空符号世界对应引理——哥…

2021-11-17 20:51

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

2021-11-08 15:52

890疫情封闭，中途返回——甘蒙游记…

2021-10-22 12:03

889一次万里迢迢的二日游——大西北…

2021-10-21 10:20

888漫游大西北的设想——甘蒙宁游记…

2021-10-20 22:38

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

2021-09-10 11:05

GUI的演化和python编程

2021-09-04 17:15

881长命百年，希望之窗和未来职业…

2021-08-30 15:41

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

859广州花园酒店三忆

2021-02-18 19:23

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

2021-01-31 12:58

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

2021-01-04 17:16

792帕纳鲁神父的又一次讲道和他的…

2020-03-23 12:10

706教皇子午线本初子午线与国际日…

2018-12-20 21:10

571 不可能的《上升与下降》-…

2016-11-26 21:02

札记292 24 高尼罗的反驳和赞扬

2014-01-02 16:11

札记130：5、希罗多德笔下的恶魔-…

2011-10-28 20:39