A Graph of All Mathematics

Add to your list(s) Download to your calendar using vCal

• Matthew Keenan, Churchill College
• Wednesday 14 October 2020, 19:00-19:30
• Wolfson Hall, Churchill College.

If you have a question about this talk, please contact Matthew Ireland.

Proofs in mathematics often depend on other proofs. It seems logical, therefore, that we could create a graph structure out of these proofs and their dependencies, and hopefully we could use it to store all mathematical statements (or at least all known mathematical statements) on computers, to create an easily explorable library of proof for use by mathematicians. We will consider whether this is possible, and we will consider some different approaches to creating graphs of mathematics, including approaches in use by computer proof assistants today.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.