Solomon Feferman. Gödel's life and work. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 1–36.

1990 ◽  
Vol 55 (1) ◽  
pp. 340-341
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
Oxford University ◽  
Kurt Gödel ◽  
Jean Van Heijenoort ◽  
Oxford University Press

Kurt Gödel. Review of Church's A set of postulates for the foundation of logic (3594). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 256, 258. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 4 (1932), pp. 145–146.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 257, 259. - Kurt Gödel. Review of Church's A set of postulates for the foundation of logic (second paper) (3596). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 380, 382. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 8 (1934), p. 289.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 381, 383. - Kurt Gödel. Review of Church's A proof of freedom from contradiction (3598). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 398, 400. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 12 (1936), pp. 241–242.) - Kurt Gödel. English translation by John Dawson of thisreview. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 399, 401. - Stephen C. Kleene. Introductory note to 1932k, 1934e and 1936b. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 256– 257.

1990 ◽  
Vol 55 (1) ◽  
pp. 345-345
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
English Translation ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press

Kurt Gödel. Diskussion zur Grundlegung der Mathematik (1931a). A reprint of 4184. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 200, 202. - Kurt Gödel. Discussion on providing a foundation for mathematics (1931a). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 201, 203. (Reprinted from History and philosophy of logic, vol. 5 (1984), pp. 125-126.) - Kurt Gödel. Nachtrag. A reprint of 4185. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 202, 204. - Kurt Gödel. Postscript. English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 203, 205. (Reprinted from History and philosophy of logic, vol. 5 (1984), pp. 127-128.) - John W. Dawson Jr. Introductory note to 1931a, 1932e, f and g. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 196– 199.

1990 ◽  
Vol 55 (1) ◽  
pp. 343-343
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
English Translation ◽  
Philosophy Of Logic ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press

Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 60– 100. - Kurt Gödel. On the completeness of the calculus of logic (1929). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls (1930). A reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 102– 122. - Kurt Gödel. The completeness of the axioms of the functional calculus of logic (1930). A reprint of XL 475 (English translation by Stefan Bauer-Mengelberg of the preceding). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 103– 123. - Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1930a). Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, p. 124. (Reprinted from Die Naturwissenschaften, vol. 18 (1930), p. 1068.) - Kurt Gödel. On the completeness of the calculus of logic (1930a). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, p. 125. - Burton Dreben and Jean van Heijenoort. Introductory note to 1929, 1930 and 1930a. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 44– 59.

1990 ◽  
Vol 55 (1) ◽  
pp. 341-342
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
English Translation ◽  
Functional Calculus ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press

Kurt Gödel. Review of Skolem's Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems (24716). Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 378, 380. (Reprinted from Zentralblatt für Mathematik undihre Grenzgebiete, vol. 7 (1934), pp. 193–194.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 379, 381. - Kurt Gödel. Review of Skolem's Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mil ausschlieβlich Zahlenvariablen (24718). Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 p. 384. (Reprinted from Zentralblatt für Mathematik undihre Grenzgebiete, vol. 10 (1935), p. 49.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 p. 385. - Robert Vaught. Introductory note to 1934c and 1935. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 376– 379.

1990 ◽  
Vol 55 (1) ◽  
pp. 347-348 ◽  
Author(s):  
Martin Davis
Keyword(s):  
New York ◽  
English Translation ◽  
Oxford University ◽  
Kurt Gödel ◽  
Introductory Note ◽  
Jean Van Heijenoort ◽  
Oxford University Press
Sign in / Sign up

Export Citation Format

Share Document