发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“科学松鼠会 ? 计算的极限(零):逻辑与图灵机” 的更多相关文章
超越数学的判定——通用图灵机的诞生
孤独的破译者和他的计算机器
计算的极限(二):自我指涉与不可判定
数理逻辑大师们
今天是世界逻辑日 | 张建军:哥德尔不完全性定理及其意义辨析
一个无法证明的逻辑问题
逻辑的极限与数学的困境,罗素用了362页才推导出1+1=2
逻辑的极限与数学的困境,罗素用了362页才推导出1 1=2
数学的不完美之美——阿兰·图灵与图灵机
费定舟:心灵与机器的界线
[烧脑] 人类真会被反杀吗?——赛博朋克悖论的真相 | 文化纵横
计算机科学史前史简评:从莱布尼兹开始
康托尔集合论
哥德尔定理及其哲学义蕴_
智能时代:人工智能简史
【干货】这些年科学家玩过的人工智能
面对面的办公室——纪念艾伦?图灵百年诞辰 1912.6.23-2012.6.23
从逻辑到知识的伟大跨越
12第12章
艾伦·图灵——如谜的解谜者
最不可思议的数,决定了哥德巴赫猜想是否正确,远非人类可以理解
CCCF专栏 | 黄铁军:电脑前传(2):计算
量子计算机常见术语简介(4)
从二进制、布尔逻辑、图灵机、冯·诺依曼计算机模型到现代计算机
词说科学《江城梅花引·哥德尔不完备性定理》
计算机的本质是逻辑学与数学
逻辑的计算进路--从莱布尼茨到图灵的逻辑发展
这个问题估计要把人搅得失眠
数学与哲学
从莱布尼茨到冯诺依曼