Share
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Paul C. Gilmore
(Author)
·
A K PETERS
· Hardcover
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 - Gilmore, Paul C.
£ 94.50
£ 105.00
You save: £ 10.50
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Friday, June 21 and
Wednesday, June 26.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.