Logic List Mailing Archive

Three-month workshop "Effective content of ineffective proofs": March to May 2007. Max-Planck-Institute Bonn

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