2020年是特殊的一年，新冠徹底改變了我們的生活，但是這也給我們帶來了新的機(jī)遇。這一年真的是感慨萬千，相信很多人包括我在內(nèi)的人生軌跡在這一年發(fā)生...

來到了本書的最后一章，在本書中轧铁，作者試圖通過三個(gè)人的豐功偉績告訴我們，有跳出當(dāng)前的層次才能更好的完成我們手頭的工作旦棉，以“元”視角看待事物齿风，我們才...

本章是對前幾章內(nèi)容與DNA生成蛋白質(zhì)之間的大型同構(gòu)秀，DNA是代碼绑洛，核糖體是編譯器救斑，蛋白質(zhì)就是程序。 DNA在在自我迭代的過程中真屯，將自己的分為兩...

本章開始脸候，作者向我們介紹了丘奇定理：沒有任何切實(shí)可靠的方法總能區(qū)分開真的數(shù)論語句和假的數(shù)論語句。 根據(jù)以上定理我們可以得到：Floop程序和和我...

現(xiàn)有的形式系統(tǒng)總是不完備的绑蔫，不管我們怎么努力运沦。就像之前烏龜戲弄螃蟹的唱機(jī)一樣，只要我們知道了形式系統(tǒng)的公理晾匠，以我們的智慧總能找到“破解”它的辦法...

本章涉及的內(nèi)容為哥德爾第二定理茶袒，以及對此定理的思考。 哥德爾那片曠世名作凉馆，主要涉及兩個(gè)思想：1.系統(tǒng)內(nèi)的符號串可以解釋成另一些符號串薪寓，即系統(tǒng)的自...

在前面的章節(jié)中，我們知道遞歸就是一種有退出機(jī)制的嵌套澜共。在本章中我們將接觸計(jì)算機(jī)程序設(shè)計(jì)語言繼續(xù)深入探討遞歸向叉。 Bloop Bloop是一種這樣的...

上一章中，我們了解了人類大腦和蟻群的同構(gòu)關(guān)系嗦董，符號作為高層次描述層次出現(xiàn)了母谎，本章中作者深入討論了符號之間的作用關(guān)系，并提出了更高層次的描述——子...

愛可可老師分享的Medium大神的程序員40條法則京革，這里我簡單翻譯一下 1.將大段的代碼分解成一個(gè)個(gè)功能獨(dú)立的函數(shù)奇唤。 2.碰到長時(shí)間解決不了的問...