University of Cambridge > Talks.cam > Churchill CompSci Talks > A Graph of All Mathematics

A Graph of All Mathematics

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity