Download In the Light of Logic PDF Free

In the Light of Logic PDF Download. Download free ebook of In the Light of Logic in PDF format or read online by Solomon Feferman 9780195359831 Published on 1998-11-19 by Oxford University Press

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 G?del, 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 G?del 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.

This Book was ranked at 36 by Google Books for keyword Light.

Book ID of In the Light of Logic's Books is AadVrcnschMC, Book which was written by Solomon Feferman have ETAG "rxZ6da4TjAQ"

Book which was published by Oxford University Press since 1998-11-19 have ISBNs, ISBN 13 Code is 9780195359831 and ISBN 10 Code is 0195359836

Reading Mode in Text Status is true and Reading Mode in Image Status is true

Book which have "352 Pages" is Printed at BOOK under CategoryMathematics

Book was written in en

eBook Version Availability Status at PDF is true and in ePub is true

Book Preview

Download In the Light of Logic PDF Free

Download In the Light of Logic Books Free

Download In the Light of Logic Free

Download In the Light of Logic PDF

Download In the Light of Logic Books