地图 说到这个定理,我似乎应该比讲双缝干涉实验要自信点,毕竟我还算是半个科班。是的,我是数学系的,而且我差点就读了数理逻辑这个方向。只不过当年在做出选择之前我临阵脱逃了。说到...
在开始讨论哥德尔的本体论证明,即利用三阶模态逻辑(HOML)来证明“类上帝的属性必然有实体”,之前,我们先来了解一下模态逻辑。 命题逻辑、谓词逻辑和模态逻辑 模态逻辑中,有三...
本篇笔记因为篇幅超长(共两万八千余字),超出简书允许的字符数,所以拆成两部分,各对应书的上半部和下半部。下半部笔记在这里。因为人气的下滑,和这本书的专业性,我需要时间确定下如...
(本文为笔者原创,非商业用途转载请在最显眼处署名作者并给出链接,商业用途请联系笔者) 晴天霹雳 1930年寒冬,德意志第二帝国,数理大宫殿内。 闪烁着的小瓦数灯泡在桌角处飘忽...