BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Churchill CompSci Talks
SUMMARY:A Graph of All Mathematics - Matthew Keenan\, Chur
chill College
DTSTART;TZID=Europe/London:20201014T190000
DTEND;TZID=Europe/London:20201014T193000
UID:TALK152818AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/152818
DESCRIPTION:Proofs in mathematics often depend on other proofs
. It seems logical\, therefore\, that we could cre
ate a graph structure out of these proofs and thei
r 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 u
se by mathematicians. We will consider whether thi
s is possible\, and we will consider some differen
t approaches to creating graphs of mathematics\, i
ncluding approaches in use by computer proof assis
tants today.
LOCATION:Wolfson Hall\, Churchill College
CONTACT:Matthew Ireland
END:VEVENT
END:VCALENDAR