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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A Graph of All Mathematics

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hybrid seminar: Clinical School Seminar Room 14 & on Zoom (see Abstract for link) Johnson Matthey Lecture Theatre, Department of Chemical Engineering & Biotechnology, Philippa Fawcett Drive, Cambridge CB3 0AS Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road

Other talks

Morning Break Group Presentation 3 Title to be confirmed Group Presentation 1 Security Cooperation within Government and between Governments Ensemble inequivalence for systems with long-range interactions
 

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