[FOM] workshop on "Effective content of ineffective proofs"

Martin Davis martin at eipye.com
Wed Feb 15 14:40:12 EST 2006

"Effective content of ineffective proofs"

The organizers: Boris Moroz, Ulrich Kohlenbach and Grigori Mints.

In the last twenty years advances in proof theory made it possible to shift 
the emphasis from purely foundational studies to applications in core areas 
of mathematics. G.Kreisel's idea of "unwinding proofs" has led to new 
results in combinatorics, number theory, algebra, and analysis. To make 
these results accessible to a wider audience of mathematicians,we intend to 
hold a 3 months long workshop (March-May 2007) "Effective content of 
ineffective proofs"at the Max-Planck-Institut fuer Mathematik in Bonn. The 
workshop will culminate in a research conference scheduled for the first 
week of June 2007.

More information about the FOM mailing list