Seminar Details
Date 
742004 
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 logicbased 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 counterexamples to it are known? How is it possible to have a proof about
concepts that are only partially defined? And can we give a logicbased account of such phenomena?
Per informazioni: Claudio.Castellini@unige.it 


