# The dawn of formalized mathematics

- 24 June 2021
- Talks, Formalization

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:

**Keynote presentation**, viewable online in your browser. Turn on the speaker notes by clicking on the rectangular icon in the top-left corner.**Slides with speaker notes**(PDF). Unfortunately, Keynote does not make the hyperlinks active when exporting PDF.**Video recording**of the talk.

**How to comment on this blog:**At present comments are disabled because the relevant script died. If you comment on this post on Mastodon and mention

`andrejbauer@mathstodon.xyz`

, I will
gladly respond.
You are also welcome to contact me directly.
## Comments

In the Further Reading section of the comments on Slide 34, the second link just goes to apple.com - I assume you meant something else?

Also, far less significantly, in slide 29 you doubled up "can"

Very nice talk all around!

Thanks, I fixed the link.

I found the point about "implicit mathematical knowledge" very interesting. It's probably one of the reasons mathematics can be so concise. A similar issue comes up when trying to convert mathematics into usable software: Things have to be made explicit. Can you recommend any further reading on this topic?