文章詳目資料

數理人文

  • 加入收藏
  • 下載文章
篇名 哥德爾和涂林現身量子力學,量子譜隙竟然是不可判定的
卷期 7
頁次 006-006
出刊日期 201601

中文摘要

我們都知道,在19 世紀末、20 世紀初,數學哲學的發展 極為活躍,數學家與邏輯學家競相致力於為數學建立穩固的 基礎。但這些熱切的活動卻在1931 年受到重挫,因為哥德 爾(K. Gödel)所證出的兩個「不完備定理」確切無疑的申 明任何公設系統如果沒有矛盾,就不可能是完整的,系統中 必定會存在不可證明的命題。

英文摘要

關鍵知識WIKI

相關文獻