[FOM] Re: Query: Gödel 1931 translations

Richard Zach rzach at ucalgary.ca
Wed Oct 29 19:25:01 EST 2003

Thanks very much to all who replied to my query.  I still don't have a
Russian translation--so if anyone knows of one, I'd be grateful.  Here's
what I found, in case anyone else is interested:

English translations. 1) By B. Meltzer in  On formally undecidable
propositions of Principia Mathematica and related systems, Edinburgh:
Oliver and Boyd, 1962.35-72. 2) By E. Mendelsohn in M. Davis (ed.), The
undecidable, Hewlett, N.Y.:  Raven Press, 1965, 4–38. 3) By J. van
Heijenoort in his (ed.), From Frege to Gödel.  a source book in
mathematical logic, Cambridge, Mass.:  Harvard University Press, 1967,
592–617 [approved by Gödel]. Repr. with intro. by S. C. Kleene in Gödel,
Collected works, vol. 1 [see above; also several related pieces there].
Also in S. G. Shanker, Gödel’s theorem in focus, London:  Routledge,
1988, 17–47.

French translation. By J.B. Scherer as `Sur les propositions
formellement indécidables des Principia Mathematica et des systèmes
apparentés I', in E. Nagel, and J.R. Newman, Le théorème de Gödel,
Paris: Editions du Seuil, 1989, 106-143.

Spanish translations.  1) By M. Garrido and others as ‘Sobre
proposiciones formalmente indecidibles de los Principia Mathematica y
sistemas afines’, in Cuadernos Teorema 8, Valencia (Spain):  Revista
Teorema, 1980.  2) By  J. Mosterín as ‘Sobre sentencias formalmente
indecidibles de Principa Matematica y sistemas afines’, in  his (ed.)
Gödel, Obras completas, Madrid:  Alianza, 1981,  45–90. 

Portuguese translation.  As ‘Acerca de proposições formalmente indecidí
veis nos Principia Mathematica e sistemas relacionados’ in M. Lourenço
(ed.), O teorema de Gödel e a hipótese do contí nuo, Lisbon: Fundação
Calouste Gulbenkian, 1979,  245–290. 

Italian translations. 1) As ‘Proposizioni formalmente indecidibili dei
Principia mathematica e di sistemi affini I’, in E. Agazzi (ed.),
Introduzione ai problemi dell’assiomatica, Milan: Vita è Pensiero,
1961,  203-228. 2) By E. Ballo and others in their (ed.) Gödel, Opere
(1929–1936), Turin: Bollati Boringhieri, 1999, 113-138.

Japanese translation. As ‘Principia mathematica ya sono kanrentaikei
deno keisikiteki ni ketteihukanou na meidai nitsuite I’, in K. Hirose
and K. Yokota (eds.), Gödel no sekai [Gödel’s world], : Tokyo:
Kaimei-sha, 1985, 165–202.
Richard Zach ...... http://www.ucalgary.ca/~rzach/
Assistant  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada

More information about the FOM mailing list