COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## A Graph of All MathematicsAdd 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:Note that ex-directory lists are not shown. |
## Other listsEmmy Noether Society Mackenzie-Stuart Lectures Film Screenings and Talks## Other talksCANCELLED - Members' Open Forum The impact of lee waves on the Southern Ocean circulation and its response to winds This talk happens earlier this week. in a shared event between Zangwill and SPSS Built Environment Dracula, Vampires and the New Woman Discovering the gene networks that regulate hunger |