-
邏輯主義學派
鎖定
邏輯主義學派(Logistic school)是一種數學史專門術語。指20世紀初關於數學基礎爭論中建立起來的一個學派，以德國的弗雷格(Frege , (F. L. ) G. )、英國的羅素(Russell, B. A. W.)和懷特海(W hite-head,A. N.)等人為代表。
- 中文名
- 邏輯主義學派
- 外文名
- Logistic school
邏輯主義學派主張數學實際上是邏輯學，認為全部數學都能從邏輯學中推導出來，而不用任何特有的數學概念(如數、集合等).弗雷格是符號邏輯的創始人之一，在數學中引人邏輯函數概念，並寫過《概念演算》等專著.羅素於1903年曾提出有關數學基礎的“羅素悖論”，產生了重大影響.他與懷特海都是哲學家兼數學家，共同發展了弗雷格的思想，提出“類型論”，引進等價類等概念，以完全形式的符號實現了邏輯的徹底公理化，揭示了數學與邏輯之間的關係.其代表作《數學原理》3卷，（1906-1910）已成為邏輯主義學派的經典文獻.邏輯主義思想因條理繁瑣空洞而遭受批評，但它對數理邏輯的建立有重要貢獻，對當今計算機的研製和人工智能的研究也有重大的現實意義.
[1]
- 詞條統計
-
- 瀏覽次數：次
- 編輯次數：6次歷史版本
- 最近更新： 君伟junwei521