原文:
科学松鼠会 ? 计算的极限(零):逻辑与图灵机
超越数学的判定——通用图灵机的诞生
返朴 阅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
首页
留言交流
联系我们
回顶部