Proof theory

Herman Ruge Jervell (Autor)

Buch | Softcover

129 Seiten

2013
Logos Berlin (Verlag)
978-3-8325-3303-8 (ISBN)

Infos

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.

Autor

Die Kunst der Übersetzung

Produkt-Details

• Erscheint lt. Verlag: 16.1.2013
• Sprache: englisch
• Maße: 145 x 210 mm
• Einbandart: Paperback
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: combinatorics, finite • cut elimination • ordinal notations • Proof theory • quantifier elimination
• ISBN-10: 3-8325-3303-6 / 3832533036
• ISBN-13: 978-3-8325-3303-8 / 9783832533038
• Zustand: Neuware