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
 |
|
On questions about the nature of mathematical proof raised by the increasing use of computers.
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?
Speaker(s): |
Professor Alan Bundy | talks |
|
|
Date and Time: |
18 October 2004 at 11:00 am |
Duration: | Full Day |
|
|
Venue: |
The Royal Society |
|
|
Tickets: |
Free |
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.
©2003-2006 Niminim Limited. Created by 
Any ad revenue is entirely reinvested into the Lecture List's operating fund
