Description

Book Synopsis

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

    Product form

    £44.99

    Includes FREE delivery

    RRP £4,499.00 – you save £4,454.01 (99%)

    Order before 4pm tomorrow for delivery by Thu 11 Jun 2026.

    A Paperback by Paul C. Gilmore

    1 in stock


      View other formats and editions of Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 by Paul C. Gilmore

      Publisher: Taylor & Francis Inc
      Publication Date: 18/11/2005
      ISBN13: 9781568812762, 978-1568812762
      ISBN10: 1568812760
      Also in:
      Mathematics Discrete mathematics Set theory

      Description

      Book Synopsis

      Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.

      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