Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Computer Laboratory > Abstracts

Seminars will be held in the Lecture Theatre 1 - William Gates Building, Computer Laboratory at 4.15pm
for the research groups' seminars:

 Networks & OS seminars
 Security seminars
 Logic and Semantics seminars
 Natural Langage and Information Processing(NLIP) Group Seminars
 weekly timetable

What is a Proof?

Alan Bundy

School of Informatics,
University of Edinburgh

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?

Wednesday Seminars

Click here for previous seminars.