:::
哥德不完整性定理 - 教育百科
| 哥 | |
| 德 | |
| 不 | |
| 完 | |
| 整 | |
| 性 | |
| 定 | |
| 理 |
國家教育研究院辭書
基本資料
| 英文： | Godel incompleteness theorem |
| 日期： | 2003年6月 |
| 出處： | 資訊與通信術語辭典 |
辭書內容
|
名詞解釋： 任何一個內容足夠豐富的邏輯公理系統，例如二階述詞演算，或者是自身不一致的，即是存在這樣一個斷言，從該公理系統出發，既可推出此斷言為真，又可推出此斷言為假，或者是不完備的，即存在不能由該系統推出而實際上為真的斷言。因此，想從一個公理系統出發來推出整個數學的無矛盾性是不可能的。 |
|
| 資料來源： | 國家教育研究院_哥德不完整性定理 |
| 授權資訊： | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |
貓頭鷹博士