發(fā)文章
發(fā)文工具
撰寫
網(wǎng)文摘手
文檔
視頻
思維導(dǎo)圖
隨筆
相冊
原創(chuàng)同步助手
其他工具
圖片轉(zhuǎn)文字
文件清理
AI助手
留言交流
“科學(xué)松鼠會 ? 計(jì)算的極限(零):邏輯與圖靈機(jī)” 的更多相關(guān)文章
超越數(shù)學(xué)的判定——通用圖靈機(jī)的誕生
孤獨(dú)的破譯者和他的計(jì)算機(jī)器
計(jì)算的極限(二):自我指涉與不可判定
數(shù)理邏輯大師們
今天是世界邏輯日 | 張建軍:哥德爾不完全性定理及其意義辨析
一個無法證明的邏輯問題
邏輯的極限與數(shù)學(xué)的困境,羅素用了362頁才推導(dǎo)出1+1=2
邏輯的極限與數(shù)學(xué)的困境,羅素用了362頁才推導(dǎo)出1 1=2
數(shù)學(xué)的不完美之美——阿蘭·圖靈與圖靈機(jī)
費(fèi)定舟:心靈與機(jī)器的界線
[燒腦] 人類真會被反殺嗎?——賽博朋克悖論的真相 | 文化縱橫
計(jì)算機(jī)科學(xué)史前史簡評:從萊布尼茲開始
康托爾集合論
哥德爾定理及其哲學(xué)義蘊(yùn)_
智能時代:人工智能簡史
【干貨】這些年科學(xué)家玩過的人工智能
面對面的辦公室——紀(jì)念艾倫?圖靈百年誕辰 1912.6.23-2012.6.23
從邏輯到知識的偉大跨越
12第12章
艾倫·圖靈——如謎的解謎者
最不可思議的數(shù),決定了哥德巴赫猜想是否正確,遠(yuǎn)非人類可以理解
CCCF專欄 | 黃鐵軍:電腦前傳(2):計(jì)算
量子計(jì)算機(jī)常見術(shù)語簡介(4)
從二進(jìn)制、布爾邏輯、圖靈機(jī)、馮·諾依曼計(jì)算機(jī)模型到現(xiàn)代計(jì)算機(jī)
詞說科學(xué)《江城梅花引·哥德爾不完備性定理》
計(jì)算機(jī)的本質(zhì)是邏輯學(xué)與數(shù)學(xué)
邏輯的計(jì)算進(jìn)路--從萊布尼茨到圖靈的邏輯發(fā)展
這個問題估計(jì)要把人攪得失眠
數(shù)學(xué)與哲學(xué)
從萊布尼茨到馮諾依曼