In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the
foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism
that is difficult to support. Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Goedel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum
hypothesis have been of utmost importance to all subsequent work in logic. Though Goedel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded
it as unacceptable. In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. This volume of important and influential work by
one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects.
- ISBN:
- 9780195080308
- 9780195080308
-
Category:
- Philosophy of mathematics
- Format:
- Hardback
- Publication Date:
-
07-01-1999
- Language:
- English
- Publisher:
- Oxford University Press Inc
- Country of origin:
- United States
- Pages:
- 352
- Dimensions (mm):
- 244x166x28mm
- Weight:
- 0.71kg
This title is in stock with our overseas supplier and should be sent from our Sydney warehouse within 3 - 4 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro 2 working days
NSW Metro 2 working days
NSW Rural 2-3 working days
NSW Remote 2-5 working days
NT Metro 3-6 working days
NT Remote 4-10 working days
QLD Metro 2-4 working days
QLD Rural 2-5 working days
QLD Remote 2-7 working days
SA Metro 2-5 working days
SA Rural 3-6 working days
SA Remote 3-7 working days
TAS Metro 3-6 working days
TAS Rural 3-6 working days
VIC Metro 2-3 working days
VIC Rural 2-4 working days
VIC Remote 2-5 working days
WA Metro 3-6 working days
WA Rural 4-8 working days
WA Remote 4-12 working days
Share This Book: