Wir müssen wissen, wir werden wissen / 我們必須知道，也終將會知道
柯尼斯堡 (Konigsberg) 在十八世紀出現一位偉大的哲學家 Immanuel Kant，在十九世紀又誕生同等偉大的數學家 David Hilbert，兩人分別成為哲學史與數學史的不朽，各自的批判精神和樂觀主義精神，永駐世人心中。
「數學是連結理論和實務、思想和經驗之間落差的工具。數學建起雙方的橋樑，並益加穩固。事實上，現代文明中，所有關於理性認識和征服自然的部分，都有賴於數學！」
1930 年 9 月 8 日，在柯尼斯堡，剛過完 68 歲生日的 Hilbert，在接受榮譽市民受禮儀式的演說〈邏輯與認識自然〉中，Hilbert 這麼提到，他認為雖然數學的應用相當重要，但絕不可用以衡量數學的價值，對維護純粹數學做了有力辯護，最後，從擴音裝置，對著懷疑主義者的「愚蠢的不可知」，堅定有力地說出了最後一句話：
Wir müssen wissen, wir werden wissen
即 "we must know, we shall know"、「我們必須知道，也終將會知道」，這句話給後世相當大的鼓舞，也是 Hilbert 的墓誌銘，同時也是回應 Hilbert 年輕時，德國哲學家 Emil Du Bois-Reymond 對這世界種種不可知，提出悲觀的哲學論點，後者指出：「我們不知道，也永遠不會知道」，作為無法參透人性意志、物質本性，與科學難以解釋的現象等等的論點，於是乎，"Wir müssen wissen, wir werden wissen" 這句話對世界上悲觀哲學理論者，予以致命一擊。
同時，在演說中，Hilbert 提到：
「Kant 高估了存在既與的事實的作用和範圍，他的哲學理論存在將人類神化的缺陷，我們必須擺脫它。」
從人類內在心智過程與物質世界的關聯，Hilbert 否定 Kant 哲學，在提出「Hilbert 的 23 個數學問題」後，數學形式化，並用確切的證明建立起新的思維體系，Hilbert 是成功的，而且是如此的耀眼。就時間觀點來說，Kant 從直覺的角度，認定是人類主觀、生來賦予的直觀形式，其立足的根基，是牛頓力學的絕對時空概念，並予以形式上對應於人類的認知，但隨著二十世紀初相對論與量子力學理論的相繼提出，Kant 無從改變此思維體系的絕對性，可說是嚴重的致命傷，Hilbert 重新挑戰 Kant 時空觀點的完備性。
有意思的是，像 Hilbert 對著數學抱著高度信心，相信是極大部份的數學家所共有的，但在演說結束沒多久，同年 11 月17 日，《Monatshefte fur Mathematik und Physik》期刊接受 25 歲的 Kurt Gödel 的稿件，證明了不完備定理 (Incompleteness Theorem，整個理論是在 1931 年完成)：有些命題為真，但無法被證明，數學家或許可說：「被證明的就是真的」，但再也無法說：「真的一定會被證明」。
參考資料：
由 jserv 發表於 February 20, 2006 12:59 AM