Wolfram Pohlers: Proof Theory | Taschenbuch | preigu

Cover: 9783540518426 | Proof Theory | An Introduction | Wolfram Pohlers | Taschenbuch | viii

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

69,75 €*

-13 % UVP 80,24 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.

Inhaltsverzeichnis

Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.

Details

Erscheinungsjahr:	1989
Fachbereich:	Wahrscheinlichkeitstheorie
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 220 S.
ISBN-13:	9783540518426
ISBN-10:	3540518428
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Pohlers, Wolfram
Auflage:	1st edition 1989. 3rd printing
Hersteller:	Springer Berlin Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	234 x 156 x 13 mm
Von/Mit:	Wolfram Pohlers
Erscheinungsdatum:	25.10.1989
Gewicht:	0,354 kg

Artikel-ID: 102141686

Inhaltsverzeichnis

Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.

Details

Erscheinungsjahr:	1989
Fachbereich:	Wahrscheinlichkeitstheorie
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 220 S.
ISBN-13:	9783540518426
ISBN-10:	3540518428
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Pohlers, Wolfram
Auflage:	1st edition 1989. 3rd printing
Hersteller:	Springer Berlin Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	234 x 156 x 13 mm
Von/Mit:	Wolfram Pohlers
Erscheinungsdatum:	25.10.1989
Gewicht:	0,354 kg

Artikel-ID: 102141686

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783486592047 | Mathematik ist wirklich überall | Norbert Herrmann | Taschenbuch

Mathematik ist wirklich überall

EAN: 9783486592047

Sprache: Deutsch

Von/Mit: Norbert Herrmann

21,95 €*

Lieferzeit 1-2 Werktage

Poster

-5 %

Cover: 9783990354476 | EINS PLUS 1 (Ausgabe Deutschland). Knobelplakate | Wohlhart (u. a.)

EINS PLUS 1 (Ausgabe Deutschland). Knobelplakate

12 Plakate für den Mathematikunterricht

EAN: 9783990354476

Sprache: Deutsch

Von/Mit: David Wohlhart (u. a.)

Maße: 299 x 210 x 20 mm

Genre: Spiele, PBS

37,10 €* UVP 39,00 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9781786341068 | GEOMETRY IN ADVANCED PURE MATHEMATICS | Bullett | Buch | Englisch

GEOMETRY IN ADVANCED PURE MATHEMATICS

EAN: 9781786341068

Sprache: Englisch

Von/Mit: Tom Fearn & Frank Smith Shaun Bullett

112,95 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781285463247 | Linear Algebra | A Modern Introduction | David Poole | Buch | Gebunden

A Modern Introduction

EAN: 9781285463247

Sprache: Englisch

Von/Mit: David Poole

115,95 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9780521878265 | Fundamentals of Nonparametric Bayesian Inference | Ghosal (u. a.)

Fundamentals of Nonparametric Bayesian Inference

EAN: 9780521878265

Sprache: Englisch

Von/Mit: Subhashis Ghosal (u. a.)

114,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781108441988 | Introduction to Hidden Semi-Markov Models | John van der Hoek (u. a.)

Introduction to Hidden Semi-Markov Models

EAN: 9781108441988

Sprache: Englisch

Von/Mit: John van der Hoek (u. a.)

83,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780199671489 | Defending the Axioms | On the Philosophical Foundations of Set Theory

Defending the Axioms

On the Philosophical Foundations of Set Theory

EAN: 9780199671489

Sprache: Englisch

Von/Mit: Penelope Maddy

41,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781108978262 | The Art of Mathematics - Take Two | Tea Time in Cambridge | Bollobás

The Art of Mathematics - Take Two

Tea Time in Cambridge

EAN: 9781108978262

Sprache: Englisch

Von/Mit: Béla Bollobás

36,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781506288635 | AP Precalculus Premium, 2024: 3 Practice Tests + Comprehensive...

AP Precalculus Premium, 2024: 3 Practice Tests + Comprehensive Review + Online Practice

EAN: 9781506288635

Sprache: Englisch

Von/Mit: Christina Pawlowski-Polanish

30,50 €*

Aktuell nicht verfügbar

Buch

Cover: 9780691129822 | Ruelle, D: Mathematician`s Brain - A Personal Tour Through t | Ruelle

Ruelle, D: Mathematician`s Brain - A Personal Tour Through t

EAN: 9780691129822

Sprache: Englisch

Von/Mit: David Ruelle

22,99 €*

Aktuell nicht verfügbar

Buch

Cover: 9780691170664 | What Can Be Computed? | A Practical Guide to the Theory of Computation

What Can Be Computed?

A Practical Guide to the Theory of Computation

EAN: 9780691170664

Sprache: Englisch

Von/Mit: John Maccormick

99,50 €*

Aktuell nicht verfügbar