原文：为什么说数学证明是一种社会契约？
数学家孜孜以求的数学证明本质是一种社会契约，为什么这么说？
天承办公室    阅16    转5
数学家可以被计算机取代吗？
钰鉴咖    阅86
数学符号化的扩充：数理逻辑的兴起
敦行斋    阅586    转29
人工智能肯定会打败人类，并且人类知道这一点，您感觉呢？
智睿策划营销    阅38
数学的公理化及抽象化
taotao_2016    阅248    转12
金观涛：人工智能的三种形态 |《真实与虚拟》
投沙斋    阅8    转2
人类的认知极限在哪里？
福田小院    阅139
朱松纯对话菲尔兹奖得主曼福德：弥合分离的世界
skysun000001    阅9    转3
数学的本质是什么？你有数学思维吗？
新用户0135mlRv    阅142    转2
小乐数学科普：专访ICM 2022国际数学家大会一小时报告者Kevin Buzzard：计算机可以成为数学家吗？——译自量子杂志
zzllrr小乐    阅226    转2
连续统假设
123xyz123    阅974
哥德尔定理及其哲学义蕴_
老域    阅993    转34
科技日历|计算机的伟大先驱、“人工智能之父”图灵诞生
taomaohu860706    阅161    转3
微积分的未来：DNA、非线性、混沌、复杂系统与人工智能
老虎狗主人    阅149    转3
吴军：我们之所以高估一些事情，源于认知
狼行天下195810    阅142    转5
《创世神会梦见真空中的球形鸡吗？》（下篇）
昵称22998329    阅19
LSTM之父再语出惊人：图灵被吹得太过了，计算机科学之父根本不是他
长沙7喜    阅52    转2
数学文化
数学人    阅518    转44
天才数学家冯·诺依曼
yangmill    阅888    转13
孤独的破译者和他的计算机器
wdd166    阅385    转11
程序基于精确的数学
jollyme    阅534    转7
10个最为酷炫的数学结论！欧拉公式只能排第四！
全性保真    阅131    转6
数学软件——计算机上的数学
老夫不请自来也    阅785    转4
极限挑战:论数学与认知——理解未来讲座第16期开讲
余额关    阅49    转2
纯数学陷入了危机？
hercules028    阅44    转2
12第12章
太乙ocwfrzeutj    阅154
既然1 1＝2不能被证明，那为什么我们可以使用它？
sias16846    阅88
他写下人类最高成就，粉碎了上千年的数学信念，还迷倒了爱因斯坦
wenghuaxian    阅178    转13
机器人之死——逻辑、直觉和悖论，决策者的困境
老胡说科学    阅48    转6
数理逻辑大师们
zshms    阅2045    转103