Description

Book Synopsis
The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert’s program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Gödel’s theorems and computer science, philosophy of mathematics in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory.

Table of Contents
Contents: Hilbert’s Program – Incompleteness Theorems – Proof – Truth – Computer Science – Mechanized Deduction – Recursion Theory – Mathematical Logic.

Logos and Máthēma: Studies in the Philosophy of

    Product form

    £56.79

    Includes FREE delivery

    RRP £63.10 – you save £6.31 (10%)

    Order before 4pm today for delivery by Fri 26 Jun 2026.

    A Hardback by Roman Murawski

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logos and Máthēma: Studies in the Philosophy of by Roman Murawski

      Publisher: Peter Lang AG
      Publication Date: 08/07/2011
      ISBN13: 9783631618042, 978-3631618042
      ISBN10: 3631618042

      Description

      Book Synopsis
      The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert’s program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Gödel’s theorems and computer science, philosophy of mathematics in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory.

      Table of Contents
      Contents: Hilbert’s Program – Incompleteness Theorems – Proof – Truth – Computer Science – Mechanized Deduction – Recursion Theory – Mathematical Logic.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account