Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Gentzen's centenary : the quest for consistency / / edited by Reinhard Kahle, Michael Rathjen
| Gentzen's centenary : the quest for consistency / / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (563 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-319-10103-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Reflections -- Gentzen’s Consistency Proof in Context, Reinhard Kahle -- Gentzen’s Anti-Formalist Views, Michael Detlefsen -- The Use of Trustworthy Principles in a Revised Hilbert’s Program, Anton Setzer -- Part II Gentzen’s Consistency Proofs -- On Gentzen’s First Consistency Proof for Arithmetic, Wilfried Buchholz -- From Hauptsatz to Hilfssatz, Jan von Plato -- A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic, Dag Prawitz -- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic, Annika Siders -- Gentzen’s Original Consistency Proof and the Bar Theorem, W.W. Tait -- Goodstein’s Theorem Revisited, Michael Rathjen -- Part III Results -- Cut Elimination In Situ, Sam Buss -- Spector’s Proof of the Consistency of Analysis, Fernando Ferreira -- Climbing Mount ε_0, Herman Ruge Jervell -- Semi-Formal Calculi and Their Applications, Wolfram Pohlers -- Part IV Developments -- Proof Theory for Theories of Ordinals III: Π_N-Reflection, Toshiyasu Arai -- A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions, Gerhard Jäger and Dieter Probst -- Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games, Frederik Meskens and Andreas Weiermann -- Non-deterministic Epsilon Substitution Method for PA and ID_1, Grigori Mints -- A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis, Paulo Oliva and Thomas Powell -- Well-Ordering Principles and Bar Induction, Michael Rathjen and Pedro Francisco Valencia Vizcaíno. . |
| Record Nr. | UNINA-9910300250703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Legacy of Kurt Schütte [[electronic resource] /] / edited by Reinhard Kahle, Michael Rathjen
| The Legacy of Kurt Schütte [[electronic resource] /] / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIX, 502 p. 2 illus.) |
| Disciplina | 510.922 |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-030-49424-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk. |
| Record Nr. | UNISA-996418268203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Legacy of Kurt Schütte / / edited by Reinhard Kahle, Michael Rathjen
| The Legacy of Kurt Schütte / / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIX, 502 p. 2 illus.) |
| Disciplina | 510.922 |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-030-49424-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk. |
| Record Nr. | UNINA-9910484580603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||