Where is the Gödel-point hiding: Gentzen¿s Consistency Proof of 1936 and His Representation of Constructive Ordinals
| Autor: | Horská, Anna |
|---|---|
| EAN: | 9783319021706 |
| Sachgruppe: | Philosophie |
| Sprache: | Englisch |
| Seitenzahl: | 88 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 06.11.2013 |
69,54 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Unique detailed explanation of the first published consistency proof of PA (peano arithmetic)Includes Gentzen's unusual notation for ordinal numbers up to e_0 and its connection to Cantor normal formProbably the most important step in the history of proof theory analysedIncludes supplementary material: sn.pub/extras
Verwandte Artikel