Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Problems and prospects for formal proofs
CENTRIA seminar: Problems and prospects for formal proofs
Main information
By:
Jesse Alama
(CENTRIA)
Date:
Wednesday, 9th of December 2009, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
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.
Short-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.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
