Apologies for multiple postings.
Alan
--
New Postal Address: School of Informatics, University of Edinburgh,
Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK.
Telephone Number: +44-131-650-2716,
Email: [log in to unmask]
New Web Page: http://homepages.inf.ed.ac.uk/bundy/
What? The Nature of Mathematical Proof
When? 18 and 19 October 2004
Where? At the Royal Society, London
Cost? Free to all, but registration required
How? Register on-line at www.royalsoc.ac.uk/events
Meeting Summary
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?
Organised by Professor Alan Bundy, Professor Donald MacKenzie,
Sir Michael Atiyah OM FRS and Professor Angus MacIntyre
Speakers, Chairs and panellists include: Professor Richard A
DeMillo, Georgia Institute of Technology, Atlanta, USA, Professor
Michael JC Gordon, The University of Cambridge Computer
Laboratory, Professor Paul J Cohen, Stanford University, USA,
Professor Robert D MacPherson, School of Mathematics, Institute
for Advanced Study, Princeton, USA, Professor Don Zagier, Max -
Planck - Institut fuer Mathematik, Bonn, Germany, Professor
Michael Aschbacher, Department of Mathematics at the California
Institute, Sir Peter Swinnerton-Dyer Bt KBE FRS, University of
Cambridge, Professor Cliff Jones, University of Newcastle, Dr Rod
Chapman, Praxis Critical Systems and Professor E Brian Davies,
King's College London.
Further information and registration details can be found on the
Royal Society website www.royalsoc.ac.uk/events. Or contact Suzi
White on [log in to unmask]
|