Proof and Computation

Date: 30.05.2022 - 03.06.2022

Opening Speech and Organization Committee: President Klaus Mainzer


Proofs in mathematical practice serve to warrant the truth of mathematical theorems. Proof theory arose with Hilbert's programme to put abstract mathematics on a firm basis by proving consistency in the meta-mathematics and by finite methods only. Gödel's incompleteness theorems have allegedly dashed Hilbert's programme as such but thus have stood at the beginning of a seminal paradigm shift in proof theory: to see mathematical proofs also as a rich source of computational information such as certified algorithms and effective bounds. Contemporary research in this fertile area is known under terms such as dynamical methods, program extraction and proof mining.

Incidentally, today's quest for safety and reliability of data and algorithms is very similar to the debate on foundations of mathematics about a century ago which culminated in Hilbert's and Gödel's advances---today, however, with grave consequences for technology and economy. The key to solving these problems of the digital society up to artificial intelligence is to be found in the logical grounding of mathematics and computer science themselves, the current development of which leads to new joint research methods and perspectives in mathematics and computer science. 

In this vein, an international meeting will be held from 30 May to 2 June 2022 at Cohaus Schlehdorf in Bavaria. The aim of this meeting is to bring together eminent scholars and young researchers active in the foundations of mathematics and computer science. There will be ample opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of extracting computational information from proofs. The participants' expertise will include ordinal analysis, predicative foundations, constructive mathematics, type theory, computation in higher types, proof mining and program extraction from proofs.

Program and more:


Picture Source:

Place: Schlehdorf monastery


Website made by Agentur Klartext