Article contents
Ernest Nagel and James R. Newman Gödel's proof. New York: New York University Press, 1958. ix + 118 pp. $1.75 (paper) and $2.95.
Published online by Cambridge University Press: 14 March 2022
Abstract
- Type
- Book Reviews
- Information
- Copyright
- Copyright © 1959 by Philosophy of Science Association
References
1 If we assume the consistency of elementary number theory, then we can show that the predicate P used in Rosser's undecidable sentence ~P(a) is equivalent to Gödel's predicate “Bew.” But the sentences ~Bew (b) and ~P(a) are not thereby equivalent, since the number-designating expressions a and b involved are names for different integers.
- 3
- Cited by