-
概念語言
鎖定
概念語言
[1]
是西方現代數學著作，德國數學家、邏輯學家弗雷格(Frege , ( F. L.) G.)著，1879年初版於哈雷(Halley, E. )，弗雷格是邏輯主義的創始人之一，終生致力於用邏輯為算術奠定嚴格的基礎。
- 中文名
- 概念語言
- 作 者
- 弗雷格(Frege , ( F. L.) G.)
弗雷格試圖給出數的一個滿意的定義，並給算術以嚴格的基礎.為此，他發現普通語言無能為力，為了克服這一困難，他寫出了《概念語言》一書，試圖提供一種完善、充足地分析與表述數學證明的有效工具.這一工具逐步發展為現代數理邏輯，而弗雷格則成為數理邏輯的創始人之一所謂“概念語言”是一種表意語言，用它進行推理最易於發現隱含的前提和有漏洞的步驟.弗雷格認為算術定理是可由純邏輯規律出發證明的.為了保證推理過程的絕對嚴格性，他特地創設了這種符號語言，意欲作為純粹思維的公式語言.弗雷格的分析與布爾(Boole , G.)或佩亞諾(Peano,G.)的有着本質的不同，他們的工作並未將數學證明形式化，而只是使之更易於表達概念的邏輯結構.
- 詞條統計
-
- 瀏覽次數：次
- 編輯次數：5次歷史版本
- 最近更新： 呜呜呜屋塔房dw