數(shù)學(xué)非具體問題QA第一期

Q:數(shù)學(xué)分析教材為什么從實(shí)數(shù)系講起？

A:數(shù)學(xué)分析這門課程的編寫順序和歷史順序是相反的。

歷史順序是積分→微分→極限→實(shí)數(shù)系，這在我們看來，似乎越早的人們?cè)较矚g建造空中樓閣，可這并不是他們本意如此，而是“顯然”在作祟。

聯(lián)系下歐式幾何與非歐幾何你就明白了。歐式幾何統(tǒng)治了那么久的江山，不就是因?yàn)椤帮@然”嗎?？珊髞黼S著非歐幾何的出現(xiàn)，且非歐幾何也能用于現(xiàn)實(shí)世界（相對(duì)論），就引出了一個(gè)問題，“顯然”的東西就是確之無誤的嗎？

不，并不是。

所以隨著歷史的發(fā)展，人們開始向下發(fā)掘更深層的東西，給“顯然”的東西一個(gè)安身立命的基石，而這個(gè)基石“顯然”嗎？

可能也不是，所以就這樣，人們一點(diǎn)點(diǎn)向下填補(bǔ)空中樓閣，就有了歷史順序：積分→微分→極限→實(shí)數(shù)系。而到了今天，數(shù)學(xué)分析的基礎(chǔ)就放到了實(shí)數(shù)系。注意，我用了一個(gè)字“放”，所以，真實(shí)情況并不是說現(xiàn)在數(shù)學(xué)就挖掘到這，而是這門課發(fā)掘到這。

實(shí)數(shù)當(dāng)然能繼續(xù)挖掘：實(shí)數(shù)→有理數(shù)→整數(shù)→自然數(shù)→集合論公理化。那集合論公理化“顯然”嗎？也不，正在填補(bǔ)。譬如已填補(bǔ)掉的羅素悖論，譬如未填補(bǔ)的連續(xù)統(tǒng)假設(shè)。其實(shí)也有可能，整個(gè)集合論公理化恰如歐式幾何，存在另外一套不能融合的相抵的公理化基礎(chǔ)，其隱沒于“顯然”之中。

如此，對(duì)于問題，讀者是否有了自己的答案呢？