
On Constructive Interpretation of Predictive Mathematics (1990)
Charles Parsons(Author)
Routledge (Publisher)
1st Edition
Published on 8. August 2016
Book
Hardback
342 pages
978-1-138-22652-4 (ISBN)
Description
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 Schuette'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.
More details
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Dimensions
Height: 234 mm
Width: 156 mm
Weight
453 gr
ISBN-13
978-1-138-22652-4 (9781138226524)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Charles Parsons
On Constructive Interpretation of Predictive Mathematics (1990)
Book
05/2018
1st Edition
Routledge
€50.94
Shipment within 10-20 days

Charles Parsons
On Constructive Interpretation of Predictive Mathematics (1990)
E-Book
07/2017
1st Edition
Routledge
€35.49
Available for download

Charles Parsons
On Constructive Interpretation of Predictive Mathematics (1990)
E-Book
07/2017
Routledge
€35.49
Available for download
Person
Charles Parsons
Content
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 Schuette's Cut-elimination theorems; Appendix II. Ordinal Functions; Bibliography; Index of Definitions