有一位神; 这个问题困扰了哲学家和神学家数十个世纪. 几个月前突然出现这样的消息：两位欧洲数学家, 使用计算机和相关理论……..
伟大的奥地利数学家库尔特·哥德尔去世前不久 (库尔特·哥德尔) 发表了他一直在研究的上帝存在的数学证明 30 年份. 这个证明是基于现代数学公理基础, 这又是古希腊数学传统和欧几里得几何的延续. 以这种方式为基础，我们首先制定假设, 也就是说，未经证实但看似显而易见的假设。
这个“证明”从一开始就存在两个弱点. 首先, 这些公理真的很明显吗？, 第二, 它们是否相互兼容，从而不会存在隐藏的不一致之处？;
两位欧洲数学家的壮举, 德国人克里斯托夫·本茨米勒 (克里斯托夫·本茨穆勒) 和奥地利人 Bruno Wolzenlogel Paleo (布鲁诺·沃尔岑洛格尔·古), 是他们设法用数学符号表示哥德尔的假设和推理. 然后, 借助计算机上处理逻辑概念的专用软件, 他们一方面能够证明公理不包含隐藏的矛盾，另一方面证实了定理的证明.
具有古老基础的想法
需要注意的是, 超越纯数学部分, 哥德尔证明上帝存在的基础并不是全新的，因为它类似于 11 世纪英国神学家和哲学家坎特伯雷的安瑟姆 (Anselm) 的论证, 哪个, 反过来, 它基于古希腊哲学家和数学家的“异地演绎法”. Anselm 的推理如下:
1. 神是至高无上的存在.
2. 上帝的观念存在于我们的思想中.
3. 同时存在于思想和现实中的存在优于仅存在于思想中的存在.
4. 如果上帝只存在于我们的思想中, 那么我们就可以构想现实中存在的更高存在的想法.
5. 但我们无法想象一个比上帝更高的存在.
6. 嗯，上帝确实存在.
哥德尔的主要贡献是对上述推理尤其是符号的数学描述 3 和 4. 在那里他使用了句子可能为真的概念, 它扩展了亚里士多德逻辑，接受命题是真还是假.
1+1 他们是这样 2;
哥德尔年轻时因提出著名的“不完备性定理”而名声大噪. 这个定理的一个结果是, 在整数的“简单算术”的背景下, 它基于著名的“1+1=2”等公理, 有些命题不可能仅根据这些公理来确定它们是否正确。
哥德尔的死亡情况非常不寻常，这也是阿波斯托洛斯·多西亚迪斯 (Apostolos Doxiadis) 的戏剧《第十七夜》的灵感来源. 哥德尔患有十二指肠溃疡，并遵循, 他主动, 非常严格的饮食. 他慢慢地开始相信自己中毒了，最终拒绝吃他的食物。
先生。. Haris Varvoglis 是 AUTH 物理系教授.
源 : 托维玛.gr
新闻室米科诺斯股票交易所