預(yù)覽：大衛(wèi)·希爾伯特過(guò)去希望借助為算數(shù)提供基礎(chǔ)的邏輯學(xué)，來(lái)尋找數(shù)學(xué)中最基本的理論?？上У氖?，這一直是個(gè)計(jì)劃而已。 反思：盡管希爾伯特的項(xiàng)目沒(méi)有滿足數(shù)學(xué)家們的極大期望，然而他在...
發(fā)簡(jiǎn)信
IP屬地：天津
-
Das Hilbertprogramm 001
-
G?dels Unvollst?ndigkeitssatz 002
預(yù)覽：庫(kù)特爾哥德通過(guò)他的發(fā)現(xiàn)震驚了全世界，即沒(méi)人能列出一張包括所有算術(shù)規(guī)則的清單。 思考：盡管哥德?tīng)柮鞔_了，沒(méi)人可以寫(xiě)下一本包含所有算術(shù)規(guī)則的書(shū)，但后來(lái)還是構(gòu)造了關(guān)于算術(shù)的邏...
-
淺入淺出數(shù)據(jù)結(jié)構(gòu)（1）——什么是數(shù)據(jù)結(jié)構(gòu)及算法在很多數(shù)據(jù)結(jié)構(gòu)相關(guān)的書(shū)籍，尤其是中文書(shū)籍中，常常把數(shù)據(jù)結(jié)構(gòu)與算法“混合”起來(lái)講，導(dǎo)致很多人初學(xué)時(shí)對(duì)于“數(shù)據(jù)結(jié)構(gòu)”這個(gè)詞的意思把握不準(zhǔn)，從而降低了學(xué)習(xí)興趣和學(xué)習(xí)信心。然而實(shí)際上...
-
英語(yǔ)寫(xiě)作之我見(jiàn)說(shuō)實(shí)話在我考雅思之前，我是對(duì)于英語(yǔ)寫(xiě)作這件事情毫不關(guān)心的，因?yàn)樵谖疑弦淮斡⒄Z(yǔ)寫(xiě)作訓(xùn)練的時(shí)候還是在高中，當(dāng)時(shí)我們的高中英語(yǔ)老師就只教給我們一句話：高考英語(yǔ)作文，沒(méi)人看你寫(xiě)的咋樣...
-
優(yōu)雅的使用Ubuntu今天夏華菌丟了一個(gè)大大大大大大人，下午7點(diǎn)去健身房鍛煉的時(shí)候，沒(méi)想到居然有動(dòng)感單車課，但是人太多了，有好多人都在排隊(duì)，我本來(lái)是沒(méi)興趣的，天生不愛(ài)湊熱鬧，結(jié)果健身房管事兒的哥們...
-
最近兩個(gè)月中我是如何開(kāi)始學(xué)習(xí) AI 的簡(jiǎn)評(píng)：人工智能是 21 世紀(jì)最重要的技能。在人人都很忙碌的今天，如何把人工智能這個(gè)技能點(diǎn)加上？作者用自己的親身經(jīng)歷告訴大家。 當(dāng)我關(guān)閉我的創(chuàng)業(yè)公司 Zeading 時(shí)，我被這...
-
理財(cái)小白錯(cuò)過(guò)后悔的5本書(shū)大學(xué)室友老五在某全國(guó)連鎖的教育機(jī)構(gòu)上班，薪水可觀還不用坐班，朋友圈都是和女友出去玩，各地品嘗美食的照片，日子過(guò)得相當(dāng)滋潤(rùn)，讓高峰期擠地鐵，大半夜還碼字的我相當(dāng)羨慕了。 今年2...
