发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“走进无限美妙的数学世界” 的更多相关文章
证明是一个偶像,数学家在这个偶像前折磨自己!
最终被计算机所证明的百年数学难题——四色定理
什么是数学证明?四色猜想的证明为何震动了整个数学界?
中国哲学狂人挑战世界顶级数学难题四色猜想
数学的力量将超越自然科学
百年世界难题“四色定理”被于成仁老师用数学方法成功证明
054 计算:计算机可以做证明题吗?
地图上至少可以用几种颜色?竟然成了世界难题
一个绘图员的伟大数学猜想,用计算机证明的重大问题——四色定理
近代三大数学猜想,有数学家为了其中一个出价数十万!
金观涛:人工智能的三种形态 |《真实与虚拟》
新的思维的起点
古典着色问题的新时代算法
有史以来最大的数学证明:数据多达200TB
我们对数学证明的期望是什么样的
电子计算机与《易经》
若人们不相信数学简单,只因他们未意识到生命之复杂——冯·诺依曼
冯·诺依曼
轰动全球的四色问题
他是中国数学史的大神,悄然离世而国人不知…
冯.诺依曼传
计算机世界第一人—艾兰·图灵
从有限状态机、图灵机到现代计算机
比爱因斯坦还聪明的人
电子计算机之父冯·诺依曼
图灵 上帝派来的电脑精灵
电脑是怎样跑起来的(穿越计算机的迷雾)
冯-诺依曼:智商卓绝的计算机之父
数学天才冯·诺依曼
原子弹、氢弹和计算机的秘密往事