第181章 向執行官大人報（4）

    執行官大人道:“現代科學其實一直在追求兩個字——簡單。這是基於奧卡姆剃刀的原則——如無必要，勿增實體。愛因斯坦就是依據這個原則提出了相對論。相對於其他理論，相對論能解釋當時幾乎所有的問題，而且非常簡單。但是我們也要明白這麼一個定理那就是哥德爾不完備定理。”

    在數理邏輯中，哥德爾不完備定理是指庫爾特?哥德爾於1931年證明並發表的兩條定理。簡單地說，第一條定理指出:任何相容的形式系統，只要蘊涵皮亞諾算術公理，就可以在其中構造在體系中既不能證明也不能否證的命題（即體系是不完備的）。

    執行官大人接著往下說道:“如無必要，勿增實體。然而許多時候，這個實體並不是必要的。但是增加這個實體可以很好地幫助我們工作。歐幾里得體系有很多定理，但是那些定理其實來自於那五條公理。如果真勿增實體的話，那豈不是隻要那五條公理就夠了呢？”

    660道“我好像明白了一些事了。我們追求科學其實一開始的時候是為了實際運用，但是後來出現了一些人，他們追求科學就是為了單純的娛樂，但是他們娛樂出來的東西卻進一步促進了生產力的發展。生產力發展之後，更多的人加入了科研的隊伍，他們中有的人單純是因為興趣，但是更多的是為了養家餬口。然而不管是什麼樣的人，他們肯投身科研，那他們就有機會為人類的科技進步做出自己的貢獻。曾經我們因為美國的科技對於我們來說高不可攀，但是我們就是那樣趕上了，憑什麼？肯定少數幾個頂級科學家，因為頂級的科學家主要依然是外國人，而是大批大批中流資質的科技從業者。”