Statt 97,99 €**
71,95 €

inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
36 °P sammeln
  • Format: PDF

  • Produktdetails
  • Verlag: Springer Berlin
  • Erscheinungstermin: 23.05.2008
  • Englisch
  • ISBN-13: 9783540775331
  • Artikelnr.: 37370581

Preface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic systems and monotone modified realizability.- Gödel's functional (`Dialectica') interpretation.- Semi-intuitionistic systems and monotone functional interpretation.- Systems based on classical logic and functional interpretation.- Functional interpretation of full classical analysis.- A non-standard principle of uniform boundedness.- Elimination of monotone Skolem functions.- The Friedman-Dragalin A-translation.- Applications to analysis: general metatheorems I.- Case study I: Uniqueness proofs in approximation theory.- Applications to analysis: general metatheorems II.- Case study II: Applications to the fixed point theory of nonexpansive mappings.- Final comments.- References.- Index.
From the reviews:

"This book covers ... from proof theory to a rich set of applications in areas quite distinct from mathematical logic: approximation theory and fixed point theory of nonexpansive mappings. ... Almost every chapter has a detailed ... informative final section with exercises, historical comments and references to related work. ... In summary, this book is a very welcome addition to the proof theory literature." (H. Schwichtenberg, Mathematical Reviews, Issue 2009 k)