Name: On Constructive Interpretation of Predictive Mathematics (1990)
SKU: 56047731
Price: 4825.00 TWD
Availability: InStock
Author: Parsons, Charles
ISBN: 9781138226524

Select your country

Americas

Europe

Rest of the world

portada On Constructive Interpretation of Predictive Mathematics (1990)

On Constructive Interpretation of Predictive Mathematics (1990)

Type

Physical Book

Author

Charles Parsons

Publisher

Routledge

Language

English

Pages

342

Format

Hardcover

ISBN13

9781138226524

Edition No.

Synopsis "On Constructive Interpretation of Predictive Mathematics (1990)"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

On Constructive Interpretation of Predictive Mathematics (1990) - Parsons, Charles

Synopsis "On Constructive Interpretation of Predictive Mathematics (1990)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery