BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Graph of All Mathematics - Matthew Keenan\, Churchill College
DTSTART:20201014T180000Z
DTEND:20201014T183000Z
UID:TALK152818@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:Proofs in mathematics often depend on other proofs. It seems l
 ogical\, therefore\, that we could create a graph structure out of these p
 roofs 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 ma
 thematicians. We will consider whether this is possible\, and we will cons
 ider some different approaches to creating graphs of mathematics\, includi
 ng approaches in use by computer proof assistants today.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR