形式主義學派

形式主義學派，數理邏輯和數學基礎研究中的一個學派。

基本介紹

• 中文名：形式主義學派
• 性質：學派
• 特徵：數理邏輯和數學基礎研究中
• 優點：主張數學系統公理化

認為數學的真理性體現在它的不矛盾上。只須證明由數學公理出發永遠推不出矛盾，數學便是可信賴的了。為此，主張數學系統公理化，公理和規則都用形式符號表示對這些形式符號不賦予任何內容。只須證明形式地描述不加定義的對象之間關係的公理系統的無矛盾性，數學的無矛盾性就得到了證明。主要代表為德國數學家希爾伯特。他提出了先把數學理論變成形式系統，再用有窮方法證明形式系統無矛盾性的著名的“希爾伯特方案”。