討論串[閒聊] 為什麼歐洲數學在近代能領先全球?
共 25 篇文章
內容預覽:
哈哈，這句話說得很好，一語戳破很多人對邏輯系統的謬思. 不過精確來說，形式邏輯的發展年代，是十九世紀後葉由 Frege 所開啟的. 把數學證明中所常用到的 "量詞" (for any, exist) 形式化. 在 Frege 之前，只有三段論被形式化. 但以數學證明而言，只有三段論是遠遠不夠用的.
(還有1344個字)
內容預覽:
扯遠一點. 有種說法是，中國在邏輯學上天生有發展弱勢. 因為中文的文法型態不利於邏輯論述及定義. 中文一個字可以同時代表名詞 動詞 形容詞，這三個詞的型態都一樣. 甚至在時態上也都一樣，所以無法得知是過去 現在還是未來. 導致中文沒有辦法做很嚴謹的定義. 並且論述上會因為狀態不明而產生混淆. 像前面
(還有203個字)
內容預覽:
所謂的形式邏輯是二十世紀的產物。. 所有的數學史書，提到公理化的時候，如果不談二十世紀，那麼說來說去就只那一個. 歐幾里得，仿似這中間的數學家都鬼隱了一樣。. 為什麼？. 歐幾里得雖然創造了公理系統的論證方法，但那只是確立了數學論證的基本的遊戲規則，. 離所謂的邏輯還很遠。 如果肯仔細去審視數學證明
(還有235個字)
內容預覽:
重新來說一次，邏輯學和數學的關係，在歷史上的定位。這部分的結合發展，. 最大的關鍵在於「數」和「計算」的意義，經由形式邏輯的論證下，. 產生了變化，使得數學的發展，有了全新而廣闊的天地。. 而這就是近代數學和現代數學的分水嶺，大約在高斯的時代開始發展，. 然後再於下一個世代成就。. 高斯是什麼時候的
(還有681個字)