(by Anton Setzer)
We give an overview over the historic development of proof theory and
the main techniques used in ordinal theoretic proof theory. We
argue, that in a revised Hilbert's programme,
ordinal theoretic proof theory has to be supplemented
by a second step, namely the development of strong
equiconsistent constructive theories.
This is heavy stuff, and it's much too hot in Jerusalem at the moment for me to read this paper carefully.
This paper can serve as an overview but isn't a very good introduction. I wouldn't recommend this paper for those without a good CS/math background.
Posted to theory by Ehud Lamm on 3/3/04; 3:25:09 AM