原文：科学松鼠会 ? 计算的极限（零）：逻辑与图灵机
超越数学的判定——通用图灵机的诞生
返朴    阅47    转7
孤独的破译者和他的计算机器
wdd166    阅385    转11
计算的极限（二）：自我指涉与不可判定
eug    阅291    转15
数理逻辑大师们
zshms    阅2041    转103
今天是世界逻辑日 | 张建军：哥德尔不完全性定理及其意义辨析
云端之巫    阅39    转2
一个无法证明的逻辑问题
残云伴鹤归    阅750    转28
逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2
安喜的空间    阅31    转2
逻辑的极限与数学的困境，罗素用了362页才推导出1 1=2
zhangshoupen    阅38
数学的不完美之美——阿兰·图灵与图灵机
万语千言525    阅263    转10
费定舟:心灵与机器的界线
在劫难逃    阅359    转7
[烧脑] 人类真会被反杀吗？——赛博朋克悖论的真相 | 文化纵横
lindan9997    阅77    转8
计算机科学史前史简评：从莱布尼兹开始
haosunzhe    阅119    转3
康托尔集合论
读书作乐    阅219
哥德尔定理及其哲学义蕴_
老域    阅992    转34
智能时代：人工智能简史
Qianyf    阅100    转3
【干货】这些年科学家玩过的人工智能
饮茶仙人    阅380    转4
面对面的办公室——纪念艾伦?图灵百年诞辰 1912.6.23-2012.6.23
yaozhiqun.8888    阅76    转2
从逻辑到知识的伟大跨越
taomaohu860706    阅203    转3
12第12章
太乙ocwfrzeutj    阅154
艾伦·图灵——如谜的解谜者
richsky    阅701    转11
最不可思议的数，决定了哥德巴赫猜想是否正确，远非人类可以理解
老胡说科学    阅110    转10
CCCF专栏 | 黄铁军：电脑前传(2)：计算
nzpeach    阅194    转3
量子计算机常见术语简介（4）
胡经国图书馆    阅140    转3
从二进制、布尔逻辑、图灵机、冯·诺依曼计算机模型到现代计算机
youxd    阅1107    转15
词说科学《江城梅花引·哥德尔不完备性定理》
闲之寻味    阅100    转6
计算机的本质是逻辑学与数学
wenxuefeng360    阅900    转9
逻辑的计算进路--从莱布尼茨到图灵的逻辑发展
taotao_2016    阅152    转2
这个问题估计要把人搅得失眠
谢楚军    阅23
数学与哲学
乐山老杨    阅951    转63
从莱布尼茨到冯诺依曼
长夏江村    阅1531    转10