|
美国漢族博士后教你看世界(473)：上帝是数学家吗？
伍炜国
原创于:2012-09-1421:08:13
历史上几位举足轻重的数学家都曾运用数学逻辑证明有上帝。牛顿认为不须求诸繁复的证明，单问一句「宇宙的美丽和秩序从何而来」就已足夠（注五）。莱布尼茨则提出两大证据：
一、宇宙的第一因。这概念源自阿里斯多德，经阿奎那（Aquinas）发展，再由莱布尼茨将论证带到更严谨的逻辑推理。内容大致是：世上万事万物都有因果，決不能無中生有。这樣一直推上去，就有第一因，就是上帝。莱氏的逻辑推理和牛顿很接近。当然，無神论者如罗素等，会将之一笔抹煞。罗素曾说：「每个人都有母亲，但并不证明人类有一个母亲。」
不过，要是我们问罗素，那么人是怎么来的呢？他必回答：「是自然而有，碰巧进化而来。」
问题卻是：碰巧能产生这许多精密的秩序吗？無神论者回答不了牛顿的问题。
二、莱布尼茨的第二个论证法是本体论（Ontology）。首先提出本体论的，是十一世纪神学家安瑟伦（Anselm）。他指在人的思维中，有最崇高本体的意识，这意识从哪里来呢？借用牛顿的说法是：「真善美从何而来？」
当然，無神论者的反驳是：「人自己先有了真善美的思想，然后推理说有上帝。」问题卻是：人怎么有真善美的思想呢？难道也是从单细胞进化而来的吗？进化论者都相信有这樣的事吗？能用数学逻辑证明吗？能用实验和观察证明吗？
近代大数学家高德爾也像莱布尼茨一樣，曾用严格的数学逻辑推理解说有上帝。这就是有名的〈高德爾本体论〉（G?del’sOntologicalProof）。史丹福大学的哲学百科丛书中有简洁的说明（注六）。高德爾是虔诚基督徒，常跟人谈上帝、人生、永生等问题。他是爱因斯坦的同事和好友，又是首届「爱因斯坦奖」的得主（注七）。笛卡儿和莱布尼茨都曾用本体论，配上严格的数学逻辑推理，说明有上帝。高德爾则是第一个将现代数学逻辑应用于形而上学推理的数学家。当然，罗素绝对不会接受这些理论，但是罗素也不能证明没有上帝。诚如康德（Kant）的一句名言：「要证明有上帝很难，要证明無上帝更难。」（注八）
华裔逻辑学家王浩曾受教于高德爾门下，他回忆高德爾曾叫他考虑三个哲学问题：自由意志、上帝、永恒归宿。王浩是怀疑论者，他说对这几个问题全不感兴趣（注九）。让我想起主耶稣的话：「寻找，就寻见。」（路加福音十一9）可惜，很多人连找也不找，就否定有上帝。
| 
