Printer Friendly

Logicism Renewed: Logical Foundations for Mathematics and Computer Science.


Logicism renewed; logical foundations for mathematics and computer science.

Gilmore, Paul C.

Association for Symbolic Logic


230 pages



Lecture notes in logic; 23


Here Gilmore (computer science emeritus, U. of British Columbia) explains the belief that all of mathematics can be deduced from a very small number of logical principles in light of recent advances in mathematical logic and the need for languages that can be understood by both humans and computers, in the belief that both may require distinguishing between the intensions and extension of predicates. Using Intensional Type Theory, Gilmore covers elementary logic, type theory, recursions, choice and function terms, intuitionist logic, logic and mathematics and logic and computer science.

([c]20062005 Book News, Inc., Portland, OR)
COPYRIGHT 2006 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2006 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book Review
Date:Mar 1, 2006
Previous Article:Gastroenterology, 2d ed.
Next Article:A concise introduction to pure mathematics, 2d ed.

Related Articles
Knowledge and Persuasion in Economics.
Science, technology, and society; an encyclopedia.
Foundations of computational mathematics, Minneapolis 2002.
Image Processing and Analysis: Variational, PDE, Wavelet, and Stochastic Methods.
The Curriculum Foundations Project; voices of the partner disciplines.
Numerical Analysis. (CD-ROM included).
Uncovering student ideas in science, v.1; 25 formative assessment probes.
The Equations: Icons of Knowledge.
A critical introduction to the philosophy of Gottlob Frege.
Mathematics for Business Decisions Part 1: Probability and Simulation.

Terms of use | Privacy policy | Copyright © 2018 Farlex, Inc. | Feedback | For webmasters