An Introduction to Proof Theory

An Introduction to Proof Theory
Author :
Publisher : Oxford University Press
Total Pages : 431
Release :
ISBN-10 : 9780192895936
ISBN-13 : 0192895931
Rating : 4/5 (931 Downloads)

Book Synopsis An Introduction to Proof Theory by : Paolo Mancosu

Download or read book An Introduction to Proof Theory written by Paolo Mancosu and published by Oxford University Press. This book was released on 2021 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particular, in Hilbert's program in the philosophy of mathematics, which called for a formalization of mathematics, as well as for a proof, using philosophically unproblematic, "finitary" means, that these systems are free from contradiction. Structural proof theory investigates the structure and properties of proofs in different formal deductive systems, including axiomatic derivations, natural deduction, and the sequent calculus. Central results in structural proof theory are the normalization theorem for natural deduction, proved here for both intuitionistic and classical logic, and the cut-elimination theorem for the sequent calculus. In formal systems of number theory formulated in the sequent calculus, the induction rule plays a central role. It can be eliminated from proofs of sequents of a certain elementary form: every proof of an atomic sequent can be transformed into a "simple" proof. This is Hilbert's central idea for giving finitary consistency proofs. The proof requires a measure of proof complexity called an ordinal notation. The branch of proof theory dealing with mathematical systems such as arithmetic thus has come to be called ordinal proof theory. The theory of ordinal notations is developed here in purely combinatorial terms, and the consistency proof for arithmetic presented in detail"--


An Introduction to Proof Theory Related Books

An Introduction to Proof Theory
Language: en
Pages: 431
Authors: Paolo Mancosu
Categories: Mathematics
Type: BOOK - Published: 2021 - Publisher: Oxford University Press

DOWNLOAD EBOOK

"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particula
Proof Theory
Language: en
Pages: 381
Authors: Lev D. Beklemishev
Categories: Computers
Type: BOOK - Published: 2000-04-01 - Publisher: Elsevier

DOWNLOAD EBOOK

Proof Theory
Proof Theory
Language: en
Pages: 380
Authors: Wolfram Pohlers
Categories: Mathematics
Type: BOOK - Published: 2008-10-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ̈ Wilhelms–Universitat ̈
Basic Proof Theory
Language: en
Pages: 436
Authors: A. S. Troelstra
Categories: Computers
Type: BOOK - Published: 2000-07-27 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order l