Recently Viewed

New

On Constructive Interpretation of Predictive Mathematics (1990) by Charles Parsons 9781138226678

No reviews yet Write a Review
RRP: £24.99
Booksplease Price: £23.15
Booksplease saves you 7%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9781138226678
MPN:
9781138226678
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 5 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

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 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.

Book Information
ISBN 9781138226678
Author Charles Parsons
Format Paperback
Page Count 342
Imprint Routledge
Publisher Taylor & Francis Ltd
Weight(grams) 544g

Reviews

No reviews yet Write a Review

Booksplease  Reviews