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

[Martin Davis]

"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.