【轉】計算機思惟，數學思惟，本質的區別

計算機思惟和數學思考，都包括了抽象和邏輯。
數學的抽象，在於剝離具體。數學研究從公理出發，能夠變成純思惟的活動，和具體的的現實脫離關係。數學上的人爲」定義」，就是爲了儘量給出範圍明確，不冗餘的信息抽象。之後在利用這些信息，得出範圍明確不冗餘的抽象信息(證實的過程)，如此反覆。可見這裏，數學須要的是一個自洽信息結構和關係。這些信息是架空具體和現實的。雖然，數學在極力的尋找關係，但這個行爲發生在圈定好的有限範圍內，由層層已知的定理和定義的護欄內。

計算機思惟的抽象，在於映射具體。計算機是用來模擬現實和解決現實問題的。因此，計算機思惟是和現實極爲緊密的，而現實的關係是錯綜複雜的。咱們沒法避免信息冗餘，亂入的信息隨機出人意料的自由組合。這也是爲何，數學正確和錯誤清晰而明確。計算機沒法保證正確，只能說目前沒有錯誤，bug永遠存在須要不斷的修復。現實變化了，計算機的思惟模型就要跟着變化。

數學的抽象，全在於思惟的目的和證實猜測的必要。計算機思惟的抽象，在於須要解決的問題和模擬的程度。有類似的地方，在最大的區別在於。計算機思惟須要有生活的理解，有對現實問題的體驗經歷，我的的世界觀和品位生活的能力有所關聯。數學對現實要求不高，大數學家能夠是瘋子，社交障礙，精神分裂，抑鬱症。但，計算機科學家頂可能是個同性戀。

關於邏輯。其實，邏輯就是事物之間的關係，而掌握了關係的觸發條件，就被當作規律。爲何按照邏輯，應該是這樣的。爲何你的邏輯是對的，個人邏輯就是錯的。就是由於邏輯本質的關係是物質固有的，在相同的環境和姿式條件下，關係所呈現的規律被觀察，被體驗，被總結，理解記住。往往當咱們對規律有了新的認識，至關於從新定義了關係，過去的邏輯就會被推翻，創建新的邏輯。邏輯推理，就是對關係的猜想，猜對了關係就是規律，猜錯了就是毫無邏輯。

數學研究結構和關係，而現實世界就是由結構和關係構成。這裏就是有意思的地方了，現實是完美運行的結構和關係，數學是在人腦裏模擬探索的結構和關係。因此，數學是計算機科學的工具。當計算機科學在某個方面沒法抽象和映射了，就須要等待數學同步意淫出來和現實世界同樣的結構和關係，好比人工智能就是。 現實在隨機發展，數學在隨機猜測，而數學又是現實的一部分，這又像是計算機運行的原理，充滿了遞歸。人腦像個計算機，人腦也像個宇宙，宇宙發明了人類，人類發明了計算機，人類可否用計算機遞歸發明人腦。如今不就在這個方向發展麼。

---

什麼是遞歸？一個事物由這個事物自己所構建。那麼在理解這個事物的時候，須要先理解事物的構成，那就回到理解這個事物，那麼這個不斷理解的過程造成了遞歸。字面意思來看，遞是傳遞，歸是迴歸。那麼從傳遞開始回到傳遞。就是從一個地方出發，回到同一個地方，可是這個地方仍是原來的地方，只是這個地方的環境(信息)發生了一些變化

---

計算能力不是產生智能的本質緣由。人類大腦的計算能力有限卻有邏輯推理能力。目前計算機的運算能力遠遠超過人類的運算能力，卻沒法產生相似的學習和邏輯推理能力。但有一點計算機和人腦是一致的，就是信息經過二進制0和1(比特)來存儲傳遞和表達。算法和結構有一個關係，就是結構越複雜算法就能夠越簡單，結構越簡單那麼算法就須要越複雜。因此，人類大腦的智能是由於大腦的結構很是複雜。對比計算機的結構如此的簡單，是把複雜的算法都轉移到了程序設計上面，也就是讓人類的大腦來產生。將來人工智能可以像人類靠近的話，須要的不是計算能力而是一個複雜的硬件結構。而且人類的邏輯思惟和智能的演變和人類使用的語言密切相關，因此人工智能也是須要配套的和人類語言差很少的編程語言出現。固然，這都是個人猜想和理解。是思考人類智能自己產生的，不排除計算機自己發展出有別於人類智能模式的智能，好比變形金剛。

---

關於編程和數學的問題。
雖然，數學是計算機的工具，在思惟的本源上有類似和共同性。可是，學習和掌握一個技能須要練習和時間，須要在大腦中訓練出特定的結構。縱然有了相同的基礎結構，可是要想作的更好發展的更好須要的是訓練和時間。

縱然，數學是工具是基礎是上層的依賴。並非說，數學高於一切，優於一切是最強大的。最基礎的並非最強大的，是最必要的最開始的。好比，沙子是建築的基礎但不能表明建築的價值。無機物是有機物的基礎，有機物是生命的基礎，但生命的價值放在那裏。發展的過程，環環相扣，關係的道路上誰也少不了誰。基礎表明必要，發展纔是將來。

最後，比特是信息的基本單位，結構和關係是信息的屬性。計算機的偉大之處，就是在於創造了比特的概念，又開始用比特去描述世界，萬物皆比特。

---

結構是固有存在的，是信息的排列組合。

關係是觀察者從某一個角度看到的排列組合，而且這個角度看到的是能夠被觀察者所理解的。

這裏的理解包含可感知，有些物質的排列組合所呈現出來的關係沒法被感知(可展開想象)。

因此不一樣的角度看相同的結構會有不一樣的關係。

然而，對的能證實的就是數學，對的不能證實的就是哲學(不能證實算是對的嘛~)，沒法解釋的貌似就是神學了。