Mathematics in the Age of the Turing Machine
简介：
计算机在数学中迅速普及，以至于后代可能会将这一天视为金色的黎明。本文对依赖计算机计算和形式证明的数学证明进行了调查。数学的努力在哪里？
英文简介：
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
Where stands the mathematical endeavor?
- 书名
- Mathematics in the Age of the Turing Machine
- 译名
- 图灵机时代的数学
- 语言
- 英语
- 年份
- 2013
- 页数
- 45页
- 大小
- 3.72 MB
- 标签
- 数学
- 下载
Mathematics in the Age of the Turing Machine.pdf- 密码
- 65536
最后更新：2025-04-12 23:54:55