1樓：溫嶺龐加萊
有閒工夫問這麼滑稽無趣無知空泛的問題，不如踏踏實實學點數學。你如果真的有疑問，可以針對具體的某個定理，或者某個分支的某種思想提問，而不是毫無緣由的丟出來一句「現有的數學理論」這個像宇宙一般廣闊的空間。這樣的提問是很令人作嘔的。
2樓：uhometitanic
大部分現代數學的基礎是ZFC公理化集合論，然後用ZFC逐步構造整數、分數、實數、複數
你先把這些基礎讀了再來說這種中二的話吧
3樓：我本非凡的老金
數學不是一門工具學科！
也許一開始的數學是為了解決生活中的問題，但在數學嚴格化之後，它就脫離了生產生活，而成為了一種純粹的形式科學。建立數學有兩種辦法：ZFC公理體系的9條公理，也就是集合論；或者是Type Theory。
這些都是非常簡潔的，但是跟實際生活沒有關係。可是數學也不用在乎生活中的問題啊，而且不管無限不迴圈小數能不能用，它都是存在的，沒有無理數，我們連圓的周長都表示不出來；包括虛數等，且不說在物理上的巨大應用，僅僅是 是algebraic closed這個事實難道不就是很神奇嗎？
至於你說的其他東西，其實在 上都有更好的性質，至於除法不能除以0，這只是因為 是integral domain啊。
更新的數學，比如代數幾何，算術幾何這種，的確可能永遠都沒有用。但是，難道你不覺得 沒有整數解這個猜想很有意思嗎？難道它的證明不是特別的美麗嗎？
數學從來就不是工具，數學雖然算作科學，但真正的純粹數學其實更接近藝術，這也就是國外某些大學數學系學位是Bachelor of Arts的原因吧。
為什麼所有的科學理論都要以數學來證明
Phoebus Apollo 因為數學是一門清晰 精確的邏輯語言，並且它是建立在乙個牢固的邏輯基礎之上的。假如連數學都不能，那就沒有其他的敢說能。這個結論在伯特蘭 羅素的早期著作中有記載。 shawn 因為數學是乙個高度抽象化，建立在嚴謹的邏輯之上的語言。只有通過數學，才能準確的表達出乙個理論。我們...
是否有人在將既有的數學理論，都以嚴格的命題推理形式搬到電腦上來？
Martin awodey 同 Felis sapiens 的答案，HoTT主要用來形式化數學裡邊最抽象的領域，比如代數拓撲，homotopy theory,範疇論等。實數是形式化的一大難點，而這個理論給出了比較優美的解決方案。目前該理論的研究熱點是如何讓HoTT中的univalence公理真正能夠...
「映象神經元」是不是一種偽科學理論？
映象神經元的存在本身不是偽科學。它指的是感知自己和他人運動並且進行運動監測的一些神經結構。這個是很好理解的，通俗說，我們如果沒有把他人當成自己，別人身上發生的很多事情我們就理解不了了。在認知和機器學習當中這個叫遷移。如果事情和事情之間不是像的，事情就沒有辦法遷移，新東西我們用舊有的結構就 學不會 了...