The mathematical significance of proof theory.
Returning to old ideas of Kreisel, I discuss how the mathematics of proof theory, often combined with tricks of the trade, can occasionally be useful in extracting hidden information from informal proofs in various areas of mathematics.
Macintyre
Angus
A
Queen Mary, University of London, London, UK. angus@dccs.qmul.ac.uk
D000465:Algorithms; D016015:Logistic Models; D008432:Mathematical Computing; D009716:Numerical Analysis, Computer-Assisted