Text full multimedia monochrome

First time here?

Find out more about how The Lecture List works.

Coronavirus situation update

Our lecture organisers may or may not have had time to update their events with cancellation notices. Clearly social gatherings are to be avoided and that includes lectures. STAY AT HOME FOLKS, PLEASE.


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:

19 October 2004 at 9: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