Mathematics and Computation

A blog about mathematics for computers

The dawn of formalized mathematics

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:

Comments

Mark

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.

Post a comment:
Write your comment using Markdown. Use $⋯$ for inline and $$⋯$$ for display LaTeX formulas, and <pre>⋯</pre> for display code. Your E-mail address is only used to compute your Gravatar and is not stored anywhere. Comments are moderated through pull requests.

Name

E-mail

Website

Comment