der Herr Warum

Kurt Gödel's philosophical world

Gödel * Philosophy * Online

[ gÖDEL's works translated into Portuguese ] [ on gÖDEL ] [ hOME ]

 

[1] O teorema de Gödel e a hipótese do contínuo, organization, introduction and translations by M. S. Lourenço, Lisboa, Fundação Calouste Gulbenkian, 1979.

[2] O teorema de Gödel e a hipótese do contínuo, 2nd. edition (revised and improved), organization, preface and translations by M. S. Lourenço, Lisboa, Fundação Calouste Gulbenkian, 2009.

 

• “A lógica matemática de Russell”, in [1] (pp. 183-216); reprinted in [2: 849-880]. [Gödel 1944]

• “O que é o problema do contínuo de Cantor?”, in [1] (pp. 217-244); reprinted in [2: 915-941]. [Gödel 1964]

• “Acerca de proposições formalmente indecidíveis dos Principia Mathematica e sistemas relacionados”, in [1] (pp. 245-290); reprinted in [2: 3-48]. [Gödel 1931]

• “Acerca de proposições indecidíveis de sistemas matemáticos formais”, in [1] (pp. 291-358); reprinted in [2: 49-116]. [Gödel 1934]

• “Acerca da aritmética e da teoria intuicionista dos números”, in [1] (pp. 359-369); reprinted in [2: 609-620]. [Gödel 1933]

• “Acerca do comprimento das demonstrações”, in [1] (pp. 371-375); reprinted in [2: 157-162]. [Gödel 1936]

• “Reflexões sobre problemas em matemática apresentadas a conferência do bicentenário de Princeton”, in [2] (pp. 881-886). [Gödel 1946]

• “Acerca de uma extensão até agora não utilizada do ponto de vista finitista”, Boletim (SPM), 55, 2006, pp. 105-111. Also published in [2: 621-630]. [Gödel 1958]

• “Alguns teoremas básicos sobre os fundamentos da matemática e suas implicações”, in [2] (pp. 887-913). (Portuguese translation by M. S. Lourenço of [Gödel 1951] “Some basic theorems on the foundations of mathematics and their implications”, in Kurt Gödel: collected works, vol. 3, org. S. Feferman et al., Oxford University Press, 1995, pp. 304-323.)

{ Updated: July 2012 } About & Contact