歷史上的數學學派——形式主義學派
來源：網絡資源 2009-08-25 19:17:25
形式主義學派又稱形式公理派。一般認為其創始人物為希爾伯特，但嚴格地說，希氏本人的數學觀與形式主義學派的主張并不完全相同，只不過不少形式主義者奉希爾伯特為祖師罷了。希爾伯特規劃是其數學觀的主要體現，核心是：以形式公理化為基礎，以有限立場的推理為工具，去證明整個數學的相容性，從而把整個數學建立在一個牢固可靠的基礎上。
希爾伯特規劃的基本內容有：
(1)證明古典數學的每個分支都可公理化；
(2)證明這樣的系統是完備的；
(3)證明這樣的系統是不矛盾的；
(4)證明這樣的系統所相應的模型是同構的；
(5)尋找一種方法，借助于它，可以在有限步驟內判斷任一命題的可證明性。
然而，哥德爾的“不完全性定理”的證明，宣告希氏規劃是可能實現的，原因在于他過分夸大了形式研究的作用和形式系統嚴格證明對于數學真理性的確定性。但是，形式主義學派對數學的發展是有目共睹的，希爾伯特奠定的形式化研究方法顯示出廣泛的應用價值和重大的方法論意義，由于形式主義學派致力于形式化的研究，導致了元數學的產生，把數學證明作為對象研究產生了“證明論”，元數學和證明論是兩項重大的數學成果，它使數學研究達到一個嶄新的高度。
相關推薦
高考院校庫（挑大學·選專業，一步到位！）
高校分數線
專業分數線
- 日期查詢