Logicism Renewed
Logical Foundations for Mathematics and Computer Science
Part of Lecture Notes in Logic
- Author: Paul C. Gilmore, University of British Columbia, Vancouver
- Date Published: No date available
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
- format: Adobe eBook Reader
- isbn: 9781108676939
Find out more about Cambridge eBooks
Adobe eBook Reader
Looking for an inspection copy?
Please email [email protected] to enquire about an inspection copy of this book
-
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. 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 this volume, the twenty-third publication in the Lecture Notes in Logic series, Paul C. Gilmore revisits logicism in light of recent advances in mathematical logic and theoretical computer science. Gilmore addresses the need for languages which can be understood by both humans and computers and, using Intensional Type Theory (ITT), provides a unified basis for mathematics and computer science. This yields much simpler foundations for recursion theory and the semantics of computer programs than those currently provided by category theory.
Read more- Revisits Russell's logicism in light of recent advances in mathematical logic and theoretical computer science
- Uses Intensional Type Theory (ITT) to provide a unified basis for mathematics and computer science
- Provides much simpler foundations for recursion theory and the semantics of computer programs than those currently provided by category theory
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- format: Adobe eBook Reader
- isbn: 9781108676939
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
Preface
1. Elementary logic
2. Type theory
3. An intensional type theory
4. Recursions
5. choice and function terms
6. Intuitionist logic
7. Logic and mathematics
8. Logic and computer science.
Related Books
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×