Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
by Paul C. Gilmore
Paperback
English

Brand new copy from BookCurl – the UK independent online bookseller.

------------------------------
Book details
------------------------------
Author: Paul C. Gilmore
Title: Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Format: Paperback
Language: English
Topic: Discrete mathematics
Publisher: Taylor & Francis Inc
Publication year: 2005
Edition: 1
ISBN-13: 9781568812762
ISBN-10: 1568812760

------------------------------
Description
------------------------------

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, 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

------------------------------
Why buy from BookCurl?
------------------------------
• 99.9% positive eBay feedback
• All items brand new
• Free tracked UK delivery
• Independent UK bookseller with millions of titles
• Secure packaging for safe delivery
• Friendly support and recommendations

BookCurl – Curl up with a good book.
Search BookCurl for our full range.