On Constructive Interpretation of Predictive Mathematics (1990)

AvCharles Parsons

Inbunden, Engelska, 2016

1 382 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

378 kr

Beskrivning

First published in 1990, this book consists of a detailed exposition of results of the theory of "interpretation" developed by G. Kreisel — the relative impenetrability of which gives the elucidation contained here great value for anyone seeking to understand his work. It contains more complex versions of the information obtained by Kreisel for number theory and clustering around the no-counter-example interpretation, for number-theorectic forumulae provide in ramified analysis. It also proves the omega-consistency of ramified analysis. The author also presents proofs of Schütte’s cut-elimination theorems which are based on his consistency proofs and essentially contain them — these went further than any published work up to that point, helping to squeeze the maximum amount of information from these proofs.

Produktinformation

Utgivningsdatum:2016-08-08
Mått:156 x 234 x undefined mm
Vikt:453 g
Format:Inbunden
Språk:Engelska
Antal sidor:342
Förlag:Taylor & Francis Ltd
ISBN:9781138226524

Utforska kategorier

Filosofi inom Filosofi och religion
Filosofiska discipliner inom Filosofi och religion

Innehållsförteckning

Preface; Chapter I. Introduction; 1. Statement of the Problem 2. Systems Considered 3. Metamathematical Methods of Proof; Chapter II. Over-Simple Interpretations; 1. Trivial Interpretation 2. Failure of Interpretation by Recursive Satisfaction 3. Dependence of the Proof of the Verifiable Formula corresponding to a Theorem; Chapter III. Herbrand Interpretation; 1. The Concept of Herbrand Interpretation 2. Herbrand Interpretation of Elementary Number Theory without Induction 3. Properties of the Interpretation 4. Impossibility of an Herbrand Interpretation of Number Theory with Induction; Chapter IV. The No-Counter-Example Interpretation of Number Theory; 1. Non-constructive Considerations 2. No-Counter-Example Interpretation of Number Theory without Induction 3. No-Counter-Example Interpretation, 1*-Consistency, and External Consistency 4. Ordinal Recursive Functionals, 1*-Consistency of Number Theory with Induction 5. Representation of Ordinal Recursive Functionals in Elementary Number Theory; Chapter V. Ramified Analysis; 1. Description of Systems 2. Ramified Analysis without Induction 3. Recursive Well-orderings and Ordinal Recursive Functionals 4. Ramified Analysis with Induction 5. Representation of Ordinal Recursive Functionals in Ramified Analysis; Chapter VI. Ω-Consistency; 1. Critique of the Concept of ω-Consistency 2. Ω-Consistency, External Consistency, and 1*-Consistency 3. Ω-Consistency of Ramified Analysis; Appendix I. Arithmetization of Schütte’s Cut-elimination theorems; Appendix II. Ordinal Functions; Bibliography; Index of Definitions