2020年是特殊的一年走芋，新冠徹底改變了我們的生活，但是這也給我們帶來了新的機遇。這一年真的是感慨萬千关筒，相信很多人包括我在內(nèi)的人生軌跡在這一年發(fā)生了變化，以下就是我在今年看過的...
發(fā)簡信
IP屬地：山東
-
2020年個人總結(jié)
-
集異壁第二十章——哥德爾紊搪，艾舍爾贪嫂，巴赫
來到了本書的最后一章，在本書中祠够，作者試圖通過三個人的豐功偉績告訴我們压汪，有跳出當前的層次才能更好的完成我們手頭的工作，以“元”視角看待事物古瓤，我們才能了解事物的本質(zhì)止剖，沒有什么事情...
-
集異壁第十六章——自我迭代
本章是對前幾章內(nèi)容與DNA生成蛋白質(zhì)之間的大型同構(gòu)秀腺阳，DNA是代碼，核糖體是編譯器穿香，蛋白質(zhì)就是程序亭引。 DNA在在自我迭代的過程中，將自己的分為兩個串（DNA是雙螺旋結(jié)構(gòu)）扔水，然...
-
集異壁第十七章——真與美
本章開始痛侍，作者向我們介紹了丘奇定理：沒有任何切實可靠的方法總能區(qū)分開真的數(shù)論語句和假的數(shù)論語句。 根據(jù)以上定理我們可以得到：Floop程序和和我們的大腦的符號層是一種同構(gòu)魔市，但...
-
-
集異壁第十五章——做個行動派
現(xiàn)有的形式系統(tǒng)總是不完備的待德，不管我們怎么努力君丁。就像之前烏龜戲弄螃蟹的唱機一樣，只要我們知道了形式系統(tǒng)的公理将宪，以我們的智慧總能找到“破解”它的辦法绘闷。 不完全性，可以確切的說——...
-
讀書的三個層次
第一層：學知識较坛，死記硬背印蔗。 容易成為走形式，停留在知識的表面丑勤，不能成為智慧华嘹。 第二層：理解。 不再停留在知識表面法竞，而是學會去理解文字背后的含義耙厚，學會獨立思考。 第三層：通過讀...
-
集異壁第十四章——系統(tǒng)擴充
本章涉及的內(nèi)容為哥德爾第二定理岔霸，以及對此定理的思考薛躬。 哥德爾那片曠世名作，主要涉及兩個思想：1.系統(tǒng)內(nèi)的符號串可以解釋成另一些符號串呆细，即系統(tǒng)的自省型宝。2.以上性質(zhì)可以全部集中于...
-
集異壁第十三章——再談遞歸
在前面的章節(jié)中，我們知道遞歸就是一種有退出機制的嵌套絮爷。在本章中我們將接觸計算機程序設(shè)計語言繼續(xù)深入探討遞歸诡曙。 Bloop Bloop是一種這樣的編程語言，他的循環(huán)是有上界的略水，...
-
集異壁第十二章——符號派人工智能
上一章中，我們了解了人類大腦和蟻群的同構(gòu)關(guān)系劝萤，符號作為高層次描述層次出現(xiàn)了渊涝，本章中作者深入討論了符號之間的作用關(guān)系，并提出了更高層次的描述——子系統(tǒng)。 首先跨释，我和其他人的大腦...
-
程序員40條小建議
愛可可老師分享的Medium大神的程序員40條法則胸私，這里我簡單翻譯一下 1.將大段的代碼分解成一個個功能獨立的函數(shù)。 2.碰到長時間解決不了的問題鳖谈，關(guān)掉電腦明天再去解決并且暫...
-
集異壁第十一章——大腦和蟻群
在本章之前的螞蟻斌格中岁疼，作者通過食大夫和馬姨的例子向我們展示了，一群的工作方式缆娃，作者認為這種方式和我們大腦的工作方式是一種映射關(guān)系捷绒。神經(jīng)原就是單個的螞蟻，它們唯一的工作就是發(fā)...
-
集異壁第十章——描述的層次
本章有將近3/4的內(nèi)容為本人專業(yè)知識贯要，所以讀起來時“倍流暢”的暖侨。但是作者只是想通過計算機系統(tǒng)告訴我們看待系統(tǒng)的角度和層次不同，對系統(tǒng)的理解是非常不一樣的崇渗。 比如說字逗，象棋大師和...
-
集異壁第九章——禪宗與數(shù)論
本章作為整本書上半部分的總結(jié)意圖告訴我們一個道理，以便于我們更好的理解哥德爾不完備定理宅广，即通過哥德爾配數(shù)和哥德爾同構(gòu)葫掉，所有的形式系統(tǒng)都可以轉(zhuǎn)化為數(shù)論，但是不存在能夠包含所有定...
-
集異壁第八章——數(shù)論的形式化（下）
在本文的上半部分跟狱，我們了解了TNT系統(tǒng)如何形式化數(shù)論的俭厚，下面讓我們來深入的了解一下TNT系統(tǒng)。 TNT系統(tǒng)擁有5條公理：1兽肤，對于所有a：～Sa=0套腹，2，對于所有a：（a+0）...
-
集異壁第八章——數(shù)論的形式化（上）
本章中资铡，作者提出了數(shù)論的形式化系統(tǒng)TNT系統(tǒng)他的性質(zhì)如下 數(shù)字：TNT中的數(shù)字是這樣的零是0电禀，一是S0，2是SS0笤休，S的意思是它后面那個東西的后繼 變元：即可變的數(shù)尖飞，可以用所...
-
集異壁第七章——命題演算和矛盾本章中作者想我們展示了一個更復雜的形式系統(tǒng)—命題演算它的規(guī)則如下： 這個系統(tǒng)給了我們創(chuàng)造語句的規(guī)則，那么如何來判定這些語句是定理或者非定理店雅？真值表是一個很好的辦法政基。 之后作者...
-
集異壁第四章——初窺哥德爾不完備定理
哥德爾不完備定理認為沒有任何一個足夠強有力的形式系統(tǒng)在下述意義下是完備的：能夠把每一個真陳述都作為定理而重現(xiàn)在該系統(tǒng)中。 讓我們回到pq系統(tǒng)闹啦，公理：若x是一個短杠串沮明，則xqx...
-
集異壁第三章——真正完整的系統(tǒng)與素數(shù)不同的是合數(shù)，在tq系統(tǒng)中窍奋，t代表乘荐健。XqYtZ的意思是X=Y*Z酱畅，X就是合數(shù)。 現(xiàn)在我們有一個定理江场，假設(shè)XqY-tZ-是一個定理纺酸，那么CX也是一個定理。現(xiàn)在我們有PX...
