On Constructive Interpretation of Predictive Mathematics (1990)

Häftad, Engelska, 2018

AvCharles Parsons

489 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 789 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2018-05-31
Mått156 x 234 x undefined mm
Vikt560 g
FormatHäftad
SpråkEngelska
Antal sidor342
FörlagTaylor & Francis Ltd
ISBN9781138226678

Tillhör följande kategorier

Filosofiska discipliner inom Filosofi och religion
Filosofi inom Filosofi och religion

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

Mer från samma författare

Kurt Gödel: Collected Works: Volume III

Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Robert M. Solovay, USA) Feferman, Solomon (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, USA) Goldfarb, Warren (Professor, Professor, Harvard University, USA) Parsons, Charles (Professor, Professor, Harvard University, USA) Solovay, Robert M. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Charles D. Parsons

Inbunden

5 559 kr

Kurt Gödel: Collected Works: Volume III

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay, Stanford University) Feferman, S. (Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Pennsylvania State University) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Professor of Philosophy) Goldfarb, Warren (Professor of Philosophy, both of Harvard University) Parsons, Charles (Edgar Pierce Professor of Philosophy, Edgar Pierce Professor of Philosophy, Berkeley) Solovay, R. (Emeritus Professor of Mathematics, Emeritus Professor of Mathematics, University of California, Solomon Feferman

Häftad

1 139 kr

Kurt Gödel: Collected Works: Volume IV

Kurt Gödel, Stanford Unviersity of Mathematics, Kurt Godel, Kurt G?del, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg, Department) Feferman, Solomon (

Inbunden

4 669 kr

Kurt Gödel: Collected Works: Volume V

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Solomon Feferman

Inbunden

5 159 kr

Kurt Gödel: Collected Works: Volume IV

Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg, Solomon (Stanford University) Feferman, Jr. (Penn State York University) Dawson, John W., Warren (Harvard University) Goldfarb, Charles (Harvard University) Parsons, Wilfried (Carnegie Mellon University) Sieg

Häftad

1 319 kr

Kurt Gödel: Collected Works: Volume V

Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons, Wilfried Sieg, Solomon (Stanford University) Feferman, John W. (Penn State York University) Dawson Jr, Warren (Harvard University) Goldfarb, Charles (Harvard University) Parsons, Wilfried (Carnegie Mellon University) Sieg

Häftad

1 619 kr

Del 33

Kurt Gödel

Solomon Feferman, Charles Parsons, Stephen G. Simpson, California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson

Inbunden

2 079 kr

Mathematical Thought and its Objects

Charles Parsons, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Parsons Charles

Häftad

789 kr

Mathematical Thought and its Objects

Charles Parsons, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University

Inbunden

1 149 kr

From Kant to Husserl

Charles Parsons

Inbunden

719 kr

Du kanske också är intresserad av