How Long to Read An Introduction to Proof Theory

How Long Does it Take to Read An Introduction to Proof Theory?

It takes the average reader 5 hours and 44 minutes to read An Introduction to Proof Theory by Paolo Mancosu

Assuming a reading speed of 250 words per minute. Learn more

Description

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.

How long is An Introduction to Proof Theory?

An Introduction to Proof Theory by Paolo Mancosu is 336 pages long, and a total of 86,016 words.

This makes it 113% the length of the average book. It also has 105% more words than the average book.

How Long Does it Take to Read An Introduction to Proof Theory Aloud?

The average oral reading speed is 183 words per minute. This means it takes 7 hours and 50 minutes to read An Introduction to Proof Theory aloud.

What Reading Level is An Introduction to Proof Theory?

An Introduction to Proof Theory is suitable for students ages 12 and up.

Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.

When deciding what to show young students always use your best judgement and consult a professional.

Where Can I Buy An Introduction to Proof Theory?

An Introduction to Proof Theory by Paolo Mancosu is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.

To buy An Introduction to Proof Theory by Paolo Mancosu on Amazon click the button below.