Find out more about how The Lecture List works.
Coronavirus situation updateOur 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
 |
|
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
