img Leseprobe Leseprobe

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Ulrich Kohlenbach

PDF
ca. 103,52
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Mayersche Osiander Google Books Barnes&Noble bol.com
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Berlin img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Grundlagen

Beschreibung

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.

Kundenbewertungen

Schlagwörter

Finite, proof theory, Proof Interpretations, geometry, Mathematical logic, calculus, Arithmetic, Proof Mining, proof, mathematics, theorem, Computational Mathematics, function