|
|||||
|
|
The mathematical significance of proof theory |
|
| Authors: | Macintyre Angus |
| Affiliation: | Queen Mary, University of London, London, UK. angus@dccs.qmul.ac.uk |
| 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. |
| Keywords: | |
| 本文献已被 PubMed 等数据库收录！ | |