Formal Abstracts in Mathematics

Thursday, October 26, 2017 - 12:00
427 Thackeray Hall

Abstract or Additional Information

"Formal abstracts" is the name of my recently started project to write published conjectures and theorems in a way that can be read both by computers and humans.   This project is part of a strategy to put the technology of proof assistants into the hands of all mathematicians. Theorems are expressed as computer scripts.   I'll discuss some of the challenges of expressing large parts of mathematics as computer scripts.