Opening book details…
Can I read Proof Theory on EtoBox?
Proof Theory by Herman Ruge Jervell is a nonfiction available to read on EtoBox.
What is Proof Theory about?
Long description: In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees
Who reads Proof Theory?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Herman Ruge Jervell
- Publisher
- Logos Verlag Berlin GmbH
- Published
- 2013
- Language
- EN
- ISBN
- 9783832589998
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Stem
More by Herman Ruge Jervell
Browse all works by Herman Ruge Jervell
Similar books
- Advances In Proof Theory (progress In Computer Science And Applied Logic) — Reinhard Kahle, Thomas Strahm, Thomas Studer (2016)
- Proof Theory: The First Step into Impredicativity (Universitext) — Wolfram Pohlers (2009)
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (SpringerBriefs in Philosophy) — Anna Horská (auth.) (2014)
- Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library) — Toshiyasu Arai (2020)
- Selected Papers in Proof Theory (Studies in Proof Theory, Vol 3) — Grigorii E. Mints (1992)
- Hybrid Logic and Its Proof Theory — Braüner, Torben (2011)