Blick ins Buch

Proof theory

Herman Ruge Jervell (Autor)

Buch | Softcover

129 Seiten

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

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Die Kunst der Übersetzung

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