第542章 你略懂？ (第1/6頁)
你學習了嗎提示您：看後求收藏（貓撲小說www.mpzw.tw），接着再看更方便。
池遠點了點頭，沒有立即開口，也沒有放棄的打算，他是真的在組織語言。
雖然他對數學的學習並沒有對物理的那樣深入，但數學本就是很多學科的基礎。
無可避免地，無論是數學的意識，還是各種理論，都會在其他學科中，不經意間被提及使用。
尤其是物理。
哥德爾不完備定理，池遠就是在物理學習過程中接觸到的。準確地來說，是在學習愛因斯坦的相關理論時，書中提到了他的朋友——哥德爾。
一個搞數學和邏輯的孤僻數學家，最好的朋友就是愛因斯坦。
要是僅是這點，池遠或許不會對這個人多加了解，但哥德爾的理論吸引了他的注意力——數學工作是靠數學證明來完成的，如果認爲它對，必須證明，這是數學家們的共識；另外一個共識便是，每個證明總得有個出發點，不然證明就無法開始。這些出發點，也就是‘數學公理’。
從學習數學開始，老師們都說，數學公理就是‘不證自明的基本事實’。
作爲起點，作爲堅實的基礎，這樣的‘公理’，或者說一系列的數學事實，在哥德爾那個時代，數學家們認爲，‘公理集’必然是一致的，即，不會導致矛盾，同時也是完備的，以作爲所有數學真理的基礎。
但是，25歲的哥德爾證明：任何一個你假定的、能作爲數學基礎公理集，都不可避免地是不完備的。簡而言之，總有一些關於數的事實不能被這些公理證明。
