# Logicism Renewed: Logical Foundations for Mathematics and Computer Science.

9781568812755

Logicism renewed; logical foundations for mathematics and computer science.

Gilmore, Paul C.

Association for Symbolic Logic

2005

230 pages

$69.00

Hardcover

Lecture notes in logic; 23

QA9

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)

Logicism renewed; logical foundations for mathematics and computer science.

Gilmore, Paul C.

Association for Symbolic Logic

2005

230 pages

$69.00

Hardcover

Lecture notes in logic; 23

QA9

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)

Printer friendly Cite/link Email Feedback | |

Publication: | SciTech Book News |
---|---|

Article Type: | Book Review |

Date: | Mar 1, 2006 |

Words: | 125 |

Previous Article: | Gastroenterology, 2d ed. |

Next Article: | A concise introduction to pure mathematics, 2d ed. |

Topics: |