Text full multimedia monochrome

First time here?

Find out more about how The Lecture List works.

Do you organise talks?

Register to tell us about them. The Lecture List is a great place to be listed, but it's also an easy place to upload your information to. It's very simple and costs nothing. Find out more


Find out what you can do to keep The Lecture List online

The nature of mathematical proof (discussion meeting)

On questions about the nature of mathematical proof raised by the increasing use of computers.

Kepler's conjecture The increasing use of computers both within mathematics and to automate mathematical reasoning has raised new questions about the nature of mathematical proof. This meeting will present and contrast the different viewpoints, including: experimental mathematics vs mathematical rigor, automated vs human proofs and formal vs rigorous arguments. What role does proof play in the way mathematicians learn and think?


Professor Alan Bundy | talks
Professor Donald MacKenzie | talks
Sir Michael Atiyah FRS | talks
Professor Angus MacIntyre FRS | talks


Date and Time:

18 October 2004 at 11:00 am


Full Day



The Royal Society
6-9 Carlton House Terrace
+44 20 74 51 2500

More at The Royal Society...




Available from:

Register here

Additional Information:

Free entry. Lunch available for £14.50. Book when you register:

Register to tell a friend about this lecture.


If you would like to comment about this lecture, please register here.


Any ad revenue is entirely reinvested into the Lecture List's operating fund