视频目录 / 数学逻辑、集合与证明

热度排名 #1365

形式化数学的开端｜安德烈·鲍尔

The Dawn of Formalized Mathematics

鲍尔在欧洲数学大会介绍形式化数学，讨论怎样把定义和证明写成计算机可检查的形式，以及这会怎样改变数学工作。

Andrej Bauer · 1 串讨论 · 热度 1.944

在此播放

讨论出处

• Hacker News · 原讨论 ↗2021-07-20 · 帖子分数 4