title: The mathematical significance of proof theory.
abstract: 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.
authors.affiliation: Queen Mary, University of London, London, UK. angus@dccs.qmul.ac.uk
authors.forename: Angus
authors.initials: A
authors.lastname: Macintyre
mesh_terms: D000465:Algorithms; D016015:Logistic Models; D008432:Mathematical Computing; D009716:Numerical Analysis, Computer-Assisted