Helmut Schwichtenberg, Stanley S. Wainer

Proofs and Computations

• Gebundenes Buch

Produktbeschreibung

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 480
• Erscheinungstermin: 28. März 2013
• Englisch
• Abmessung: 240mm x 161mm x 33mm
• Gewicht: 971g
• ISBN-13: 9780521517690
• ISBN-10: 0521517699
• Artikelnr.: 34158405

Autorenporträt

Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.

Inhaltsangabe

Preface; Preliminaries; Part I. Basic Proof Theory and Computability: 1. Logic; 2. Recursion theory; 3. Godel's theorems; Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic; 5. Accessible recursive functions, ID<
and
11
CA0; Part III. Constructive Logic and Complexity: 6. Computability in higher types; 7. Extracting computational content from proofs; 8. Linear two-sorted arithmetic; Bibliography; Index.