|
Books > Science & Mathematics > Mathematics > Philosophy of mathematics
|
Buy Now
On Constructive Interpretation of Predictive Mathematics (1990) (Paperback)
Loot Price: R874
Discovery Miles 8 740
|
|
|
On Constructive Interpretation of Predictive Mathematics (1990) (Paperback)
Expected to ship within 12 - 19 working days
|
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 Schutte'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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
