而元數學的核心,則是三個論題——關于完備性、一致性和可計算性。
完備性,所有的數學問題都可以證明或證偽。
一致性,所有的數學斷言,要么是成立,要么是不成立,不存在既成立又不成立的對矛盾的證明。
可計算性,所有的數學證明,能通過一個可行的過程和有限次運算來獲取。
只要這三個問題得到解答,人類就可以同機器破解所有的數學問題——數學的“終極答案”就等于是落入人類的手中。
全世界所有的數學家都為這三個問題癡狂。
而圖靈機,就是擊破這三個難題的神器。
這是充滿了“智慧”的結構。
尤基鼓掌。掌聲之中有三分應付,也有三分真誠:“可是向山,這和我們說的‘內功’……有什么關系……”
【本章閱讀完畢,更多請搜索三五中文;http://m.gtgo.cn 閱讀更多精彩小說】