Light logic de feferman solomon (22 resultados)

hardcover. Condición: Very Good.

hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

Condición: New. This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Godel, Hilbert, and Turing. Series: Logic & Computation in Philosophy S. Num Pages: 352 pages, bibliography. BIC Classification: HPCF; HPL; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 163 x 32. Weight in Grams: 710. . 1999. Hardback. . . . . …

Condición: New.

Condición: New. This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Godel, Hilbert, and Turing. Series: Logic & Computation in Philosophy S. Num Pages: 352 pages, bibliography. BIC Classification: HPCF; HPL; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 163 x 32. Weight in Grams: 710. . 1999. Hardback. . . . . Books ship from the US and Ireland. …

Condición: New.

Condición: As New. Unread book in perfect condition.

Hardback. Condición: New. New copy - Usually dispatched within 4 working days.

Condición: As New. Unread book in perfect condition.

Hardback. Condición: New. Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date. …

Hardback. Condición: New. Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date. …

Rilegato. Condición: ottimo. prima edizione. Same as new with minor signs of time (dust on upper cut).

fester Einband. X, 340 S., Lit.verz. Reg. Ln.mS. *Umschlag etwas lichtrandig, sonst sehr gutes Expl.*. Sprache: Englisch.

Condición: new. Questo è un articolo print on demand.

HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Hardcover. Condición: new. Hardcover. 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 thefoundational 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 platonismthat 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 continuumhypothesis 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 regardedit 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 byone of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects. This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Goedel, Hilbert, and Turing. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Buch. Condición: Neu. In the Light of Logic | Solomon Feferman | Buch | Gebunden | Englisch | 1998 | Oxford University Press | EAN 9780195080308 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date. …

Condición: New. Print on Demand pp. 356.

Condición: New. Print on Demand pp. 356 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.

Condición: New. PRINT ON DEMAND pp. 356.