第二百一十七章 摻一腳[第1頁/共4頁]

“看起來算君還是有些本領的。”算主點點頭，不覺得意：“我實際的縫隙很多，他如果能夠幫我找出一兩樣，我倒是感激不儘。隻不過，他應當不屑於思慮這個範疇吧？哼。”

世人會奇特，明顯有一條通天坦途，你偏不走，非要到體係外繞一圈，這不是傻嗎？

馮落衣笑道：“你應當也熟諳。萬法門真傳，蘇君宇。”

換句話說，持續統題目在調集論的範圍以內，是一個具有了不成鑒定性的題目。如果這個“不能證明也不能證偽”的結論再早一點，那麼不消嚴格證明第十問，這就是對“可鑒定性”的一個絕對反例。

這也是力迫法嚴峻意義的來源。

但是，如許一名神人，也有愁眉不展的一日。

在zf公理答應的範圍以內作推到，證明，如果zf公理體係具有分歧性，則持續統假定為真。在zf公理體係以內，持續統假定冇法被證偽。

自但是然，想到甚麼就說甚麼。

不過，這還真是奇妙的重合之處啊。王崎想到：力迫法的初創者科恩，研討範疇就不是算學邏輯。他最開端隻是純真對第一問感興趣，以是想要跨範疇去摻一腳。他本人實在不能瞭解力迫法的龐粗心義。

但是，王崎當時挑選的，倒是一條非常遠的路——在體係外證明體係內無衝突。

沿著這個思路，人們一樣能夠證出，在zf公理體係以內，持續統假定不能證明。

不過，這一次就不大一樣了。哥德爾的阿誰證明思路，隻不過冇有力迫法那樣意義大，冇有力迫法那樣無可回嘴的力度。實際上，這還是是一條正路。

何科心中一片冰冷：到現在，教員的思路都冇有往“完整性”上靠……他底子不思疑算學的完整性……

他輕聲呢喃。

“不過……”馮落衣的眼神俄然鋒利起來：“你彷彿老是很喜好走彎路。”

到底是哪來的奇葩，竟然能夠獨立思慮出和哥德爾大神一模一樣的思路？

墨與筆的仆人，已經僵在這裡好久了。

“又是冇有按照的‘直覺’？”馮落衣搖點頭，罕見的冇有怒斥王崎，隻是感慨：“數年之前，彷彿也產生過這類事啊……你避開了普通人感覺普通的門路，走了‘傍門’，直到前些日子裡拋出不全之律，破了那完整之念，我才發明，本來你前幾年繞的遠路，纔是獨一的正路。”

這位半步清閒的修士。乃是他暮年的幾位弟子之一，豪情與算主厥後的弟子自是不一樣。他有些不敢去看本身教員的背影，低頭道：“比來……我和何師弟打仗過了……”

馮落衣則在腦海當中思慮王崎的思路。他想到：“看你這態勢，竟好似要殺穿這個二十三問啊。”

“蘇師兄？他的範疇包含邏輯嗎？”王崎錯愕。