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

    A Paperback by Paul C. Gilmore

    £44.99

    Includes FREE delivery

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

    Order before 4pm tomorrow for delivery by Sat 29 Aug 2026.

    1 in stock

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

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

      Book details

      Publisher A K Peters
      Published 18 November 2005
      ISBN-13 9781568812762
      978-1568812762
      ISBN-10 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