seminars
Detail
Publication date: 1 de June, 2021Problems and prospects for formal proofs
Mathematical argumentation provides a rich resource for formalization efforts. In this talk, I will discuss some of the problems and prospects for the formalization of mathematical knowledge and argumentation, and its relationship to other problems in artificial intelligence, based on my own dissertation work and plans for further research in this area.
| Date | 09/12/2009 |
|---|---|
| State | Concluded |
| Host Bio | Jesse recently earned his Ph.D. in philosophy under Grigori Mints from Stanford University. His dissertation work was on the philosophy of mathematics of Imre Lakatos and some technical problems in mathematical logic and interactive theorem proving motivated by Lakatos's philosophy. At CENTRIA he is a post-doctoral researcher working under Reinhard Kahle in the Dialogical Foundations of Semantics project. |