Curtis franks (38 resultados)

paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Condición: New.

Paperback or Softback. Condición: New. The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. Book.

Condición: New.

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

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

Hardcover. Condición: Very Good. Estado de la sobrecubierta: Very Good. First Edition. No markings, attractive copy.

Paperback. Condición: New.

Condición: New. In English.

Condición: New. This study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light. Num Pages: 228 pages, black & white illustrations. BIC Classification: PBB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 227 x 153 x 12. Weight in Grams: 308. . 2011. paperback. . . . . …

Condición: New.

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

Condición: New. pp. 228.

Condición: New. This study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light. Num Pages: 228 pages, black & white illustrations. BIC Classification: PBB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 227 x 153 x 12. Weight in Grams: 308. . 2011. paperback. . . . . Books ship from the US and Ireland. …

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.…

Condición: New. In English.

Condición: New. This study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light. Num Pages: 228 pages, black & white illustrations, figures. BIC Classification: PBB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 152 x 17. Weight in Grams: 51. . 2009. Illustrated. hardcover. . . . . …

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.…

Condición: New. pp. 228 Index.

Taschenbuch. Condición: Neu. Gentzen's Logical Calculi | (the theory pamphlet) | Curtis Franks | Taschenbuch | SpringerBriefs in Philosophy | xix | Englisch | 2026 | Springer | EAN 9783031919985 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condición: New. This study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light. Num Pages: 228 pages, black & white illustrations, figures. BIC Classification: PBB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 152 x 17. Weight in Grams: 51. . 2009. Illustrated. hardcover. . . . . Books ship from the US and Ireland. …

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.…

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner. 93 pp. Englisch.…

Condición: New. Print on Demand pp. 228 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam.

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

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.