Neblux 知識圖譜
數學哲學
數學哲學是哲學的一個分支，探究數學物件是什麼、數學何以有效，以及數學知識的知識論地位。
概觀
相互競爭的立場——柏拉圖主義、形式主義、直覺主義與建構主義——各自對數字是否獨立於心智存在、是形式符號還是心智建構，提出不同說明。十九世紀末至二十世紀初的基礎危機，透過弗雷格（Frege）、羅素（Russell）、希爾伯特（Hilbert）與布勞威爾（Brouwer）所推進的綱領而得到回應，從根本上重塑了邏輯學與計算理論。
為什麼重要
哥德爾（Gödel）的不完備定理源於這些辯論，證明了任何一致的形式系統都無法證明其中所有可表達的數學真理——這一深刻結果永久改變了人類對形式推理的理解，並直接影響了理論計算機科學與認識論。