Andrej Bauer personal blog

The Dawn of Formalized Mathematics

math.andrej.com 1 min read

Here are the slides of my talk “The dawn of formalized mathematics” from the 8th European Congress of Mathematics , which is taking place online and in Protorož, Slovenia, from June 20 to 26, 2021:

Points

127

HN comments

58

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2021

Related posts from the same era

Mathematics for the Adventurous Self-Learner

Nneilwithdata.com20201,232 points210 commentscited by 6 details

What Gödel Discovered

Stepan Parunashvili20201,000 points319 comments details

Heuristics that almost always work

Scott Alexander20221,000 points520 commentscited by 14 details

Knuth's Art of Computer Programming, V 4B, has gone into print

DDonald Knuth2022940 points513 commentscited by 8 details

Conterintuitive facts in mathematics, CS, and physics

Axis of Ordinary2021936 points323 comments details

Gravity is not a force – free-fall parabolas are straight lines in spacetime

TTim Hutton2020801 points433 comments details