發(fā)文章
發(fā)文工具
撰寫
網(wǎng)文摘手
文檔
視頻
思維導(dǎo)圖
隨筆
相冊(cè)
原創(chuàng)同步助手
其他工具
圖片轉(zhuǎn)文字
文件清理
AI助手
留言交流
“丘奇和圖靈” 的更多相關(guān)文章
什么是語(yǔ)義學(xué)
圖靈的光環(huán)
博客推薦：good math, bad math之Lambda算子簡(jiǎn)介
可計(jì)算性理論
科學(xué)松鼠會(huì) ? 計(jì)算的極限（五）：有限的障壁
科學(xué)松鼠會(huì) ? 計(jì)算的極限（十一）：黃金時(shí)代
康托爾、哥德?tīng)枴D靈——永恒的金色對(duì)角線(rev#2)
編程語(yǔ)言的基石——Lambda calculus | Keep Writing Codes
怎樣寫一個(gè)解釋器
數(shù)學(xué)的不完美之美——阿蘭·圖靈與圖靈機(jī)
計(jì)算的極限（三）：函數(shù)構(gòu)成的世界
科學(xué)松鼠會(huì) ? 計(jì)算的極限（四）：機(jī)械計(jì)算的圭臬
超越數(shù)學(xué)的判定——通用圖靈機(jī)的誕生
紀(jì)念圖靈誕辰100周年
科技日歷|計(jì)算機(jī)的偉大先驅(qū)、“人工智能之父”圖靈誕生
數(shù)學(xué)在計(jì)算機(jī)科學(xué)中占據(jù)什么樣的地位？
一張通往計(jì)算機(jī)世界的地圖
邱奇-圖靈論題
計(jì)算機(jī)科學(xué)哲學(xué)研究的迫切性
我為什么不再做PL人
理解計(jì)算（郝寧湘）
圖靈 上帝派來(lái)的電腦精靈
如果世上不曾有過(guò)圖靈 | 歷史
數(shù)學(xué)的任何基礎(chǔ)都必定只是一座紙牌屋
【科技評(píng)論】阿蘭·圖靈的世紀(jì)：數(shù)字宇宙開(kāi)啟智能時(shí)代
圖靈其實(shí)是想造一臺(tái)具有人類智能的計(jì)算機(jī)丨《艾倫·圖靈傳》導(dǎo)讀直播回放
不遞歸，非圖靈！
“計(jì)算機(jī)科學(xué)/人工智能”之父：阿蘭·圖靈
深度 | 斑馬的條紋是怎么形成的？60多年前的圖靈早已洞悉一切
計(jì)算機(jī)是什么
