Applied Proof Theory: Proof Interpretations and their Use in Mathematics
| Author | : Ulrich Kohlenbach |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 539 |
| Release | : 2008-05-23 |
| ISBN-13 | : 9783540775331 |
| ISBN-10 | : 3540775331 |
| Rating | : 4/5 (31 Downloads) |
Download or read book Applied Proof Theory: Proof Interpretations and their Use in Mathematics written by Ulrich Kohlenbach and published by Springer Science & Business Media. This book was released on 2008-05-23 with total page 539 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.
