Overview
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.
Full Product Details
Author: Ulrich Kohlenbach
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: 2008 ed.
Dimensions:
Width: 15.50cm
, Height: 3.00cm
, Length: 23.50cm
Weight: 2.100kg
ISBN: 9783540775324
ISBN 10: 3540775323
Pages: 536
Publication Date: 26 May 2008
Audience:
College/higher education
,
Undergraduate
,
Postgraduate, Research & Scholarly
Format: Hardback
Publisher's Status: Active
Availability: Out of print, replaced by POD
We will order this item for you from a manufatured on demand supplier.
Reviews
"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)"
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)
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)
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)
Author Information
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universität Darmstadt since 2004. He is a managing editor of the ""Annals of Pure and Applied Logic"".
