原文：数学、机器与人类思维，数学是逻辑的还是形式的？
计算机正在改变数学 | 日志 | 果壳网 科技有意思
h阴晴雨    阅175    转5
人工智能对社会、对人类思维的影响（深度好文）
工农子弟兵    阅4785    转65
一文读懂AI简史：当年各国烧钱许下的愿，有些至今仍未实现
快读书馆    阅141    转4
数学中使用的一般科学方法
LiGaoXi    阅417    转24
数学软件——计算机上的数学
老夫不请自来也    阅785    转4
离散数学（第2版）
读书人心系天下    阅71
三大流派三次浪潮，人工智能60年沉浮史 【图】
zxwxp    阅236    转3
解构与复原：望月新一与他的证明
lindan9997    阅1188    转2
吴文俊与张景中：一封珍藏了30年的推荐信
冬不拉拉    阅246    转2
中国人工智能的历史
taotao_2016    阅94    转2
几何改革出新路
走路先生    阅65
中国的“达特茅斯会议”
天承办公室    阅16
他让世界重新认识中国数学！
xianfengdui111    阅2
机器不能证明数学定理
呆呆苯苯洒洒    阅13
人工智能进军数学领域，数学家们准备好迎接了吗？
小飞侠cawdbof0    阅3
数学印象 - 惰者集：数感与数学
丐帮长老ltj7hk    阅515    转5
数学证明到底是什么？丨展卷
返朴    阅47    转3
易经角度解析现代网络计算机
心意飘痕    阅437    转14
人工智能
Amethyst    阅453    转30
数学的不完美之美——阿兰·图灵与图灵机
万语千言525    阅264    转10
人工智能的逻辑极限
致虚守静666    阅100    转8
【师者】张景中院士：让数学变得容易
闲云百度    阅928    转5
金观涛：人工智能的三种形态 |《真实与虚拟》
投沙斋    阅8    转2
干货！数学公式定理都在这儿了！（代数篇）
江上一沪翁    阅131    转24
初中数学代数公式定理
京津冀书馆    阅94    转9
名师教你独孤十三式：成为初中几何高手
清波荷影    阅704    转98
150条数学考试必考的推理定理，不可忽略！
郑公书馆298    阅105    转13