Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26 May 2004, Automath Symposium, Auditorium 16, TU Eindhoven

Speaker: Henk Barendregt, Herman Geuvers, Freek Wiedijk, N.G. de Bruijn, Georgi Jojgov
Date: Wednesday 26 May 2004
Time: 14:30 - 17:45
Location: Auditorium 16, TU Eindhoven

An important question is whether computer assisted proofs are acceptable to the scientific community. One can distinguish romantic (human understandable) vs cool (machine verified) proofs. The heart of the matter is whether a proof is reliable. Reliability can be obtained by providing fully formalised proofs that can be algorithmically verified. The methodology of de Bruijn's Automath Project delivers proofs that are reliable and human-readable.

What is the feasibility of constructing fully formalised proofs for `everyday use' in mathematics? Interactive support from the computer in developing proofs brings us a step forward, but how far can we get? On the occasion of the digitizing of the Automath Archive a short symposium is organised on these matters, as a cooperation of the ZIC-colloquium and the Brouwer Seminar of the Foundations group in Nijmegen.

All information on the program of this symposium can be found at the website: http://www.win.tue.nl/automath/. For more information, please contact

Please note that this newsitem has been archived, and may contain outdated information or links.