作者WINDHEAD (Grothendieck吹頭)
看板gallantry
標題Re: [閒聊] 為什麼歐洲數學在近代能領先全球?
時間Mon Jan 18 14:09:29 2010
所謂的形式邏輯是二十世紀的產物。
所有的數學史書，提到公理化的時候，如果不談二十世紀，那麼說來說去就只那一個
歐幾里得，仿似這中間的數學家都鬼隱了一樣。
為什麼？
歐幾里得雖然創造了公理系統的論證方法，但那只是確立了數學論證的基本的遊戲規則，
離所謂的邏輯還很遠。 如果肯仔細去審視數學證明中的每個步驟，會發現，就算給了
公理公設，你仍須想辦法說一套故事來連結到欲證明的性質。公理系統只是最低要求，
絕非工具。 所以一直到十九世紀，這中間的數學家們比的是說故事的能力，比的是
巧思與創見，比的是計算的苦功，比的是誰有辦法說服大家。
這才是十九世紀以前數學發展的基調。
我們現在教科書上關於分析學,代數,幾何,數論的數學敘述，幾乎都是經過二十世紀
集合論風潮修飾後的樣貌。
如果專以數學發展本身而不考慮以政治史分類的話，我傾向將1900以前稱作古典數學，
1900至1950為近代數學，1950以後為現代數學。
--
Jürgen Jost 或許不會滿意我的說法，
因為他寫了一本書叫做 Postmodern Analysis :p
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 98.226.199.189
1F：推 bx:我以為最晚到 Cantor 的現代集合論 就算是現代數學了 01/18 15:11
2F：→ bx:但這樣已經很不合社會史的分段 1950 才算現代 就有點誇張了 01/18 15:15
3F：→ WINDHEAD:因為範疇論在1950年代開始進入數學. 01/18 15:16
4F：→ bx:一般在 1950 之後 或電腦出現的 1946 年就算是後工業時代 01/18 15:17
5F：→ WINDHEAD:加上1950年代之後, "計算"重新受到重視. 01/18 15:18
6F：→ WINDHEAD:正如你所說, 這跟電腦的出現有關. 01/18 15:19
7F：推 bx:範疇論一般是電腦科學 特別是計算理論和程式語言在用的 01/18 15:19
8F：→ bx:我很少意識到它在數學上的意義和地位 01/18 15:20
9F：→ WINDHEAD:範疇論在代數幾何學裡用得很兇. 近年來範疇論的語言也 01/18 15:21
10F：→ WINDHEAD:開始為拓樸場論所用.. 01/18 15:22
11F：→ flamesky:數學意義上的范疇學和電腦上用的不是一種東西 01/18 18:41
12F：推 flamesky:mac lang搞出來這個東西的本意是忘掉元素，只關心他們的 01/18 18:49
13F：→ flamesky:關系。定義一個東西主要由其和其他概念的相互作用 01/18 18:50
14F：→ flamesky:而非本身 01/18 18:50
15F：推 bx:電腦和數學用的範疇論應該是一樣的吧 差別在哪裡 @@ 01/18 18:55
16F：→ bx:我不是指應用性的 lamda calculus 而就是 category theory 01/18 18:58
17F：→ flamesky:我確實對計算機這些不了解，倒是AI 細胞自動機 語義學習 01/18 20:16
18F：→ flamesky:裡用到不少范疇，只是這大多是數學的東西 01/18 20:17
19F：→ flamesky:范疇論不如說是一種新的思維方式，和函數，集合相對 01/18 20:18
20F：→ flamesky:如果確實是那些morphism functor之類的東西，是我武斷了 01/18 20:25
21F：推 bx:電腦科學的範疇論最常用在程式語言的分析和演算法的證明上 01/18 21:55
22F：→ bx:常常都是滿篇的 type 和 category 建構分析 01/18 22:02
23F：→ bx:隨便就會來個阿貝爾範疇、笛卡爾封閉範疇的 01/18 22:11
24F：→ bx:這應該和純數研究的範疇論是一樣的才對 01/18 22:12
25F：→ WINDHEAD:PTT有個xcycl大大在做這方面的東西,想多了解可以找他~~ 01/19 04:28