Logical Foundations for Mathematics and Computer Science
$79.00 ( ) USD
Part of Lecture Notes in Logic
- Author: Paul C. Gilmore, University of British Columbia, Vancouver
Adobe eBook Reader
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact email@example.com providing details of the course you are teaching.
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
Not yet reviewed
Be the first to review
Review was not posted due to profanity×
- Publication planned for: April 2020
- 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
1. Elementary logic
2. Type theory
3. An intensional type theory
5. choice and function terms
6. Intuitionist logic
7. Logic and mathematics
8. Logic and computer science.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email firstname.lastname@example.orgRegister Sign in
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 ×