在希爾伯特本人所設想的公理體係中，有三個最根本的基礎，分別是完備性、一致性和可決定性。
完備性和一致性，已經被陳慕武的一篇論文給搞沒了，現在就隻剩這個可決定性依然堅挺，既沒有被證實，又沒有被證偽。
從陳慕武雲淡風輕的問話當中，馮·諾依曼聽出來了一些不尋常。
他總覺得身邊的陳博士這麽問，不像是在征求自己的意見，更像是在隱晦地提醒自己，這個可決定性，就和之前的完備性還有一致性一樣，同樣也不怎麽靠譜。
馮·諾依曼沒有像卞太後那樣，把陳慕武當成曹丕，發出“汝已殺我完備性和一致性，不得複殺我可決定性”的感慨。
他倒是感覺，陳慕武挑起來的這個話題上麵，大有文章可做。
“陳博士，我不太清楚這個問題的答案，不過自從您的不完備性定理提出來之後，我想世界上對這第三條可決定性的正確與否提出懷疑的數學家，也不會太少。難不成，您對這個問題也有什麽新的發現了嗎？”
“也算不上什麽發現，”馮·諾依曼果然上了鉤，讓陳慕武有些欣喜，“目前隻不過是才有了點兒頭緒而已。
“有關公理體係的可決定性，希爾伯特教授曾經做過這樣一種設想，‘通過一個可行的過程，以及有限次的運算，來證明數學理論的可行性’。
“可他的這個設想當中，無論是‘可行的過程’，還是‘有限次的運算’，這兩個概念都是很模糊很抽象的，在數學上並沒有一個完整的定義。
“所以為了給這兩個概念下定義，我的大腦當中，有了一個很模糊的想法。
“你也知道，我們研究物理的，就喜歡做實驗。即使實驗因為各種因素的限製，不能在實驗室裏做出來，我們也會在大腦當中模擬，並把這一過程稱作是‘思想實驗’，德國的愛因斯坦教授，就很喜歡做一些思想實驗來驗證自己的結論。”