Perspectives on the history of mathematical logic /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Birkhäuser,
[2008]
|
| Series: | Modern Birkhäuser classics.
|
| Subjects: |
Table of Contents:
- Problem of elimination in the algebra of logic
- Peirce and the law of distribution
- First Russell paradox
- Principia mathematica and the development of automated theorem proving
- Oswald Veblen and the origins of mathematical logic at Princeton
- Löwenheim-Skolem theorem, theories of quantification, and proof theory
- Reception of Gödel's incompleteness theorems
- Gödel's and some other examples of problem transmutation
- Development of self-reference : Löb's theorem
- Unintended interpretations of intuitionistic logic
- Writing of Introduction to metamathematics
- In memoriam : Haskell Brooks Curry
- Work of J. Richard Büchi.