不知道是不是公理选择的原因，Herbrand的Deduction Theorem在Mendelson的书里平淡无奇，证明也很简单，一个枯燥的数学归纳法，只有12行文字。

网上能找到Notre Dame大学哲学系教授Curtis Franks写的一篇长文，详细介绍Herbrand的两大遗产之一，这个简单枯燥的Deduction Theorem，的多种角度和层面的解读，以及影响。

https://t.cn/A6S3oxIC

【成人共读招募】
一部《山海经》可以延伸出国学、博物、神话、哲学、民俗，乃至动植物气候学研究等等方面内容，是上古奇幻巨著。但因为文字非常直白，缺少（几乎没有）细节和情节，也很容易让人因为好奇而拿起，又因为细节缺失又拗口难懂而放弃。

欢迎和安谙老师一起读起来，探究《山海经》瑰丽而神秘的世界的同时，摸索适合亲子共读《山海经》的好方法。https://t.cn/A6S3tGHx

“宇宙”福利又来啦！关注我并转发本条，下周五抽2位粉丝获得《图文小百科：宇宙》各一本！#星语读书#宇宙学通常都很抽象、艰涩，而本书却不是。由法国达高出版集团策划的这本漫画图文书中，作者顶级天体物理学家、曾任NASA科学顾问的于贝尔·雷弗另辟蹊径，将宇宙和人类文明的创造进行比较。文字、音乐、绘画……它们处处都体现着宇宙的规律与诗意。视角的改变带来的是全新的看待宇宙、看待生活的方法。本质上，作者谈得更多的是哲学，从宇宙和科学的角度去理解“偶然性”与“必然性”，探讨“创造性相遇”与“涌现性”。而这一切都蕴含在身边的创造性活动中。叙述具有西方的文化和哲学背景，读者不妨用我们自己的去做一些对比，来思考我们存在于宇宙间的意义。