Home | Search | Help  
Home Page Università di Genova

Seminar Details

Date 7-4-2004
Time 11:30
Room/Location Aula Teledidattica, Padiglione E, DIST, via Opera Pia 13
Title What is a proof?
Speaker Prof. Alan BUNDY
Affiliation School of Informatics- University of Edinburgh (Scotland)
Link http://homepages.inf.ed.ac.uk/bundy
Abstract To those brought up in a logic-based tradition there seems to be a simple and clear definition of proof. But this is largely a 20th century invention; earlier proofs had a different nature. We will look particularly at the faulty proof of Euler's Theorem and Lakatos' rational reconstruction of the history of this proof. We will ask: how is it possible for the bugs in a faulty proof to remain undetected for several years -- even when counter-examples to it are known? How is it possible to have a proof about concepts that are only partially defined? And can we give a logic-based account of such phenomena? Per informazioni: Claudio.Castellini@unige.it
Back to Seminars