听到这的时候,思维逻辑差一点的都有些死机了,虽然洛叶口齿清晰,条理清楚,但是她的语速并不慢,所以他们听到的就是,公理系统,公理系统……
“等会,等会,让我们捋一捋。”
“自我指涉引发的悖论?”
“听起来确实有点问题,用自己证明自己的正确性?”
……
六个人一个小组,除了洛叶和高疏外,其他四个人都有些懵。
洛叶给他们解释了下什么叫自我指涉性悖论,“最典型的自我指涉性悖论是公元前四世纪哲学家欧布里德说过的,‘我正在说谎’。”
这句话本身就充满了矛盾。如果他确实在说谎,那这句话就不成立,因为这个说谎就是悖论,如果他说的真话,这句话又不成立,因为他说他在“说谎”。
这样的自相矛盾的话,被称为自我指涉性悖论。
“这种悖论让希尔伯特的计划夭折,而让他计划夭折的直接人,是当时的著名数学家哥德尔。”
内容未完,下一页继续阅读