Espacio de Hausdorff

En topologa, un espacio de Hausdorff, separado o es un espacio topolgico en el que

puntos distintos tienen entornos disjuntos.
Los espacios de Hausdorff se llaman as en honor de Felix Hausdorff, uno de los fundadores
de la topologa. La definicin original de Hausdorff de un espacio topolgico (de 1914) inclua
la propiedad de Hausdorff como axioma.
Todo espacio mtrico (y por lo tanto todo espacio normado) es un espacio de Hausdorff.

Definiciones[editar]
Se dice que dos puntos e de un espacio topolgico cumplen la propiedad de Hausdorff si
existen dos entornos de y de tales que .
Se dice que un espacio topolgico es un espacio de Hausdorff (o que verifica la propiedad
de Hausdorff, o que es separado o que es ) si todo par de puntos distintos del espacio
verifican la propiedad de Hausdorff.
(Obsrvese que si x = y, x e y no verifican la propiedad de Hausdorff.)

Principales propiedades de los Espacios de Hausdorff[editar]

Todo espacio de Hausdorff es tambin de Frchet o T1, y por lo tanto tambin es

un espacio T D y tambin un espacio de Kolmogrov o .

As pues, por ser , todo conjunto unitario es cerrado (para todo punto el conjunto
formado por slo ese punto {p} es un conjunto cerrado).

Vase tambin[editar]

Kurt Gdel
Para el lenguaje de programacin, vase Gdel (lenguaje de programacin).

Kurt Gdel

Kurt Gdel

Nacimiento

28 de abril de 1906
Brnn (Brno)

Imperio

austrohngaro

Fallecimiento

14 de enero de 1978
Princeton,

EE. UU.

Residencia

Austria, EE. UU.

Campo

Matemticas, Filosofa

Instituciones

Instituto de Estudios Avanzados de

Princeton

Alma mter

Universidad de Viena

Supervisor doctoral Hans Hahn

Conocido por

Teorema de incompletitud de Gdel

Premios

Premio Albert Einstein(1951)

destacados

Cnyuge

Adele Porkert

Firma de Kurt Gdel

[editar datos en Wikidata]

Kurt Gdel o tambin Kurt Goedel (en alemn [kt dl]), (28 de abril de
1906 Brnn, Imperio austrohngaro, actualRepblica Checa 14 de enero de
1978, Princeton, Estados Unidos) fue un lgico, matemtico y filsofo austriacoestadounidense.1
Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de
Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX.
Gdel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N.
Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender
los fundamentos de lamatemtica. A Gdel se le conoce mejor por sus dos teoremas de la
incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su
doctorado en la Universidad de Viena.
El ms clebre de sus teoremas de la incompletitud establece que para todo sistema
axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir
la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones
verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para
demostrar este teorema desarroll una tcnica denominada ahora como numeracin de
Gdel, la cual codifica expresiones formales como nmeros naturales.
Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas
aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes
contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica
clsica, la lgica intuicionista y la lgica modal.

ndice
[ocultar]

1Vida
o

1.1Infancia

1.2Estudios en Viena

1.3Obra en Viena

1.4Visitas a los Estados Unidos

1.5Trabajo en Princeton

1.6Muerte

2Legado y distinciones
o

2.1La amistad de Gdel con Einstein

2.2Publicaciones importantes

3Gdel en la cultura popular

4Vase tambin

5Notas y referencias

6Bibliografa

7Enlaces externos

Vida[editar]
Infancia[editar]
Kurt Friedrich Gdel naci el 28 de abril de 1906 en Brnn, la capital de
la Moravia Austrohngara (actualmente Brno, Repblica Checa) en una familia de etnia
germana acomodada, compuesta por Rudolf August Gdel, hombre de negocios y
administrador de una fbrica de textiles, y Marianne Gdel (nacida Handschuh), una mujer
educada y culta quien permaneci cercana a Gdel durante toda su vida, (tal como puede
observarse en la extensa correspondencia entre ambos).2 En el momento de su nacimiento su

ciudad contaba con la mayora de poblacin de habla alemana3 y este era el idioma de sus
padres.4
Gdel que hablaba muy poco el checo se convirti automticamente en checoslovaco a la
edad de 12 aos tras la cada del Imperio austrohngaro al final de la Primera Guerra Mundial.
Posteriormente le cont a su bigrafo John W. Dawson que durante ese tiempo se senta
como un "exiliado austraco en Checoslovaquia" ("ein sterreicher im Exil in der
Tschechoslowakei"). Decidi convertirse en ciudadano austraco a la edad de 23 aos.
Cuando la Alemania nazi anexion Austria Gdel automticamente se convirti en
ciudadano alemn a la edad de 32 aos. Despus de la Segunda Guerra Mundial, a la edad
de 42 aos, se convirti en ciudadano estadounidense.
En su familia, al joven Kurt lo llamaban Herr Warum (Sr. Por qu) debido a su insaciable
curiosidad. La nica excepcin a una infancia sin incidentes fue el que a partir de los cuatro
aos Kurt sufri quebrantos de salud y fiebres reumticas, de las cuales se recuper
completamente, pero qued convencido para el resto de su vida de que su corazn haba
sufrido un dao permanente.
Asisti a la escuela primaria y secundaria en idioma alemn en Brno de la cual se gradu con
honores en 1923 y sobresali en matemticas, idiomas y religin. En el transcurso de su
adolescencia Kurt estudi, entre otras materias, la Teora de los colores de Goethe, crticas
de Isaac Newton y la obra de Immanuel Kant.

Estudios en Viena[editar]
A la edad de 18 aos Kurt se reuni con su hermano mayor Rudolf (nacido en 1902) e ingres
en la Universidad de Viena. Para entonces ya dominaba las matemticas a nivel universitario y
aunque en un principio pretendi estudiar fsica terica, tambin asisti a cursos
de filosofa impartidos por Heinrich Gomperz y de matemticas. Durante este perodo adopt
ideas del empirismo matemtico, ley los Metaphysische Anfangsgrnde der
Naturwissenschaft (Fundamentos metafsicos de la ciencia natural) de Kant, y aunque l
mismo no fue un positivista lgico particip en reuniones del Crculo de Viena con Moritz
Schlick, Hans Hahn y Rudolf Carnap, siendo estos dos ltimos de quienes aprendi lgica.
Despus estudi tambin la teora de los nmeros, y fue el asistir a un seminario dirigido por
Schlick, en el cual se estudiaba el libro Introduccin a la lgica matemtica de Bertrand
Russell, lo que lo motiv a interesarse por la lgica matemtica.
El asistir a una conferencia de Hilbert sobre la completud y la consistencia de los sistemas
matemticos podra haber sido lo que decidi el curso de su vida. En 1928 Hilbert yWilhelm

Ackermann publicaron los Grundzge der theoretischen Logik (Principios de lgica terica),
una introduccin a la lgica de primer orden en la cual se planteaba el problema de la
completitud: Son suficientes los axiomas de un sistema formal para derivar cada una de las
proposiciones verdaderas en todos los modelos del sistema? Este fue el tema elegido por
Gdel para su disertacin doctoral. En 1929, a la edad de 23 aos, complet su disertacin
bajo la supervisin de Hans Hahn, en la cual Gdel estableci la completud del clculo de
predicados de primer orden (este resultado se conoce ahora como el teorema de completitud
de Gdel). El doctorado le fue concedido en 1930 y su tesis, junto a trabajo adicional, fue
publicada por la Academia de Ciencias de Viena.5

Obra en Viena[editar]
En 1931 Gdel public sus clebres teoremas de la incompletud en ber formal
unentscheidbare Stze der Principia Mathematica und verwandter Systeme (Sobre
proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados).
En dicho artculo demostr que para todo sistema axiomtico computable que sea lo
suficientemente poderoso como para describir la aritmtica de los nmeros naturales (e.g.
los axiomas de Peano (o ZFC), entonces:
1. Si el sistema es coherente no puede ser completo. (A esto generalmente se le conoce
como el teorema de la incompletud).
2. La consistencia de los axiomas no puede demostrarse en el interior del sistema.
Estos teoremas finalizaron medio siglo de intentos acadmicos (comenzando con el trabajo
de Frege y culminando en los Principia Mathematica y en el formalismo de Hilbert) por
encontrar un conjunto de axiomas suficiente para toda la matemtica. El teorema de la
incompletud implica tambin que no toda la matemtica es computable.
La idea bsica del teorema de la incompletud es ms bien simple. Esencialmente Gdel
construy una frmula que asegura ser no-demostrable para cierto sistema formal. Si fuera
demostrable sera falsa, lo cual contradice el hecho de que en un sistema consistente las
proposiciones demostrables son siempre verdaderas. De modo que siempre habr por lo
menos una proposicin verdadera pero no demostrable. Esto es, para todo conjunto de
axiomas de la aritmtica construible por el hombre existe una frmula la cual se obtiene de la
aritmtica pero es indemostrable en ese sistema. Sin embargo, para precisar esto Gdel
necesitaba resolver varias cuestiones tcnicas, tales como proposiciones de codificacin y el
concepto mismo de demostrabilidad en la teora de los nmeros naturales. Esto ltimo lo
realiz mediante un proceso denominadonumeracin de Gdel.

En su ensayo de dos pginas Zum intuitionistischen Aussagenkalkl (1932) Gdel refut la

valuabilidad finita de la lgica intuicionista. En la demostracin emple implcitamente lo que
despus se conoci como la lgica intermedia de GdelDummett (o Gdel fuzzy logic).
Gdel recibi su habilitacin en la Universidad de Viena en 1932, y en 1933 se convirti
en Privatdozent (permiso para ensear y examinar de forma independiente en la universidad).
La ascensin de Hitler en Alemania en 1933 afect poco a Gdel en Viena, ya que tena poco
inters en la poltica. Sin embargo, se vio muy afectado por el asesinato de Moritz
Schlick (cuyo seminario haba despertado su inters por la lgica) a manos del estudiante
Hans Nelbck, quien declar que mat a Schlick "por difundir ideas antimetafsicas que minan
la moral y la cohesin de la vida".6 Este incidente le provoc un colapso nervioso y su primera
crisis de paranoia. Dos aos despus, tras elAnschluss, el asesino fue liberado y se
declar nazi.6

Visitas a los Estados Unidos[editar]

En 1933 Gdel viaj por primera vez a los Estados Unidos donde conoci a Albert Einstein,
con quien estrech lazos de amistad. Present una conferencia en la reunin anual de
la Sociedad Norteamericana de Matemticas. En el transcurso de ese ao Gdel tambin
desarroll ideas sobre la computabilidad y la funcin recursiva al punto que present una
conferencia sobre dichas funciones y sobre el concepto de verdad. Posteriormente, este
trabajo se desarroll en la teora de los nmeros, empleando la numeracin de Gdel.
En 1934 Gdel present una serie de conferencias en el Instituto de Estudios Avanzados (IEA)
en Princeton, titulada Sobre las proposiciones indecidibles de los sistemas matemticos
formales. Stephen Kleene, quien acababa de finalizar su doctorado en Princeton, tom notas
de esta conferencia, las cuales fueron publicadas posteriormente.
Gdel visitara el IEA nuevamente en el otoo de 1935, pero los viajes y el intenso trabajo lo
haban extenuado y al ao siguiente convaleci producto de una depresin, y no regres a la
docencia sino hasta 1937. Durante ese tiempo se dedic a la prueba de consistencia
del axioma de eleccin y a la hiptesis del continuo en cuyo trabajo continu hasta mostrar
que estas hiptesis no pueden refutarse desde el sistema comn de axiomas de la teora de
conjuntos.
Contrajo matrimonio el 20 de septiembre de 1938 con Adele Nimbursky (nacida Porkert, 18991981), a la cual conoca desde haca 10 aos. Los padres de Gdel se oponan a la relacin
sobre la base de que se trataba de una bailarina divorciada y seis aos mayor que l. Nunca
tuvieron hijos.

Posteriormente realiz otra visita a los Estados Unidos, donde pas el otoo de 1938 en el IEA
y la primavera de 1939 en la Universidad de Notre Dame. Durante sus vacaciones del IEA,
Gdel y su esposa Adele pasaron el verano de 1942 en Blue Hill, Maine. Sin embargo Gdel
no estaba meramente vacacionando pues tuvo un verano de trabajo muy productivo. John W.
Dawson, Jr. conjetura que durante esas vacaciones Gdel, empleando el volumen 15 de su
obra todava sin publicar Arbeitshefte (Cuadernos de notas), descubri una prueba de la
independencia del axioma de eleccin de la teora finita de tipos, una forma debilitada de la
teora de conjuntos. Hao Wang, amigo cercano de Gdel, apoya dicha conjetura, sealando
que los cuadernos de notas de Blue Hill contienen su tratamiento ms extenso del problema.

Trabajo en Princeton[editar]
Despus del Anschluss en 1938, Austria pas a formar parte de la Alemania Nazi. Alemania
aboli el ttulo de Privatdozent, de modo que Gdel tuvo que concursar a un cargo diferente
en el nuevo orden. Sin embargo, sus vnculos anteriores con miembros judos del Crculo de
Viena, especialmente con Hans Hahn, pesaban en su contra. Su situacin se precipit a
finales de 1939, cuando se le encontr apto para el servicio militar, quedando en riesgo de ser
llamado a las filas del ejrcito alemn durante la II Guerra Mundial, razn por la cual emigr
hacia los Estados Unidos para asumir un cargo docente en el IEA. Gdel y su esposa tuvieron
que tomar el Ferrocarril Transiberiano hasta el Pacfico, navegado desde Japn hasta San
Francisco (donde llegaron el 4 de marzo, 1940), y luego cruzaron los Estados Unidos en tren
hasta Princeton.7
Rpidamente retom su trabajo en matemticas y en 1940 public su obra Consistencia
del axioma de eleccin y de la hiptesis del continuo generalizada con los axiomas de la
teora de conjuntos, la cual constituye un clsico de la matemtica moderna. En dicho trabajo
introdujo el universo construible, un modelo de la teora de conjuntos en el cual los nicos
conjuntos que existen son aquellos que pueden construirse a partir de conjuntos ms simples.
Gdel mostr que tanto el axioma de eleccin (AC) y la hiptesis del continuo
generalizada (HCG) son verdaderas en el universo construible y por lo tanto deben de ser
consistentes con los axiomas de Zermelo-Fraenkel para la teora de conjuntos (ZF).
Posteriormente Paul Cohen construy un modelo de ZF en el cual AC y HCG son falsos; en
conjunto estas demostraciones significan que AC y HCG son independientes de los axiomas
de ZF para la teora de conjuntos.
Hacia el final de la dcada de 1940 Gdel demostr la existencia de soluciones paradjicas a
las ecuaciones de campo de la relatividad general de Albert Einstein. Estos "universos
rotatorios" permitiran viajar en el tiempo y provocaron dudas en Einstein sobre su propia
teora. Sus soluciones se conocen como la mtrica de Gdel (o el Universo de Gdel).

Durante sus muchos aos en el Instituto, los intereses de Gdel se tornaron hacia la filosofa y
la fsica. Estudi y admir las obras de Gottfried Leibniz, pero lleg a la conclusin (sin
evidencia) de que la mayor parte del trabajo de Leibniz haba sido suprimida. En menor
medida tambin estudi a Kant y a Edmund Husserl. Al principio de los aos 1970Gdel
circul entre sus amistades una elaboracin de la demostracin ontolgica de Leibniz sobre la
existencia de Dios, la cual se conoce ahora como la demostracin ontolgica de Gdel.
En 1946 Gdel se convirti en un miembro permanente del IEA. Alrededor de este perodo
dej de publicar, aunque continu trabajando. Se convirti plenamente en profesor del instituto
en 1955 y en profesor emrito en 1976.
En 1951 Gdel fue reconocido (junto a Julian Schwinger) con el primer Premio Albert Einstein,
y tambin se le entreg la National Medal of Science en 1974.

Muerte[editar]
En sus ltimos aos, Gdel sufri de perodos de inestabilidad y enfermedad mental. Tena
temores obsesivos de ser envenenado, y no coma a menos que su esposa Adele preparara
su comida. A finales de 1977 Adele fue hospitalizada durante seis meses y no pudo continuar
preparando la comida de Gdel. En su ausencia rehus comer, hasta el punto de dejarse
morir de hambre. En el momento de su muerte pesaba 65 libras (32.5kg). El certificado de
defuncin en el Hospital de Princeton, el 14 de enero de 1978, dice que muri de "desnutricin
e inanicin causadas por perturbaciones en la personalidad". 8

Legado y distinciones[editar]
En su honor se fund, en 1987, la Kurt Gdel Society, una organizacin internacional
dedicada a la promocin de la investigacin en lgica, filosofa y la historia de las
matemticas. Fue nombrado doctor honorario en literatura por la Universidad de Yale en 1951.
Tambin recibi un doctorado honorario en ciencias por la Universidad de Harvard en 1952,
con una mencin en la que se le declar "el descubridor de la verdad matemtica ms
significativa del siglo". Fue elegido miembro de la Academia Nacional de Ciencias en 1955 y
de la Academia Norteamericana de las Artes y las Ciencias en 1957. En 1961 ingres en
la Sociedad Filosfica de Amrica y en 1967 fue elegido miembro honorario de la Sociedad
Matemtica de Londres. Finalmente, en 1975 el presidente Gerald Ford le entreg la Medalla
Nacional de las Ciencias.

La amistad de Gdel con Einstein[editar]

Albert Einstein y Gdel entablaron una amistad legendaria, compartida en las caminatas que
daban juntos en el IEA. La naturaleza de sus conversaciones permaneci en el misterio para
los otros miembros del Instituto. El economista Oskar Morgenstern recuerda que, hacia el final
de su vida, Einstein le confi que "su propio trabajo ya no importaba mucho, que llegaba al
instituto nicamente para tener el privilegio de caminar a casa junto a Gdel". 9
Einstein y Morgenstern asesoraron a Gdel para el examen de su ciudadana estadounidense,
preocupados de que el comportamiento impredecible de su amigo pusiera en riesgo su
oportunidad. Cuando se mencion brevemente el rgimen nazi, Gdel le inform al juez que
presida de que haba descubierto una manera en que una dictadurapudiese instaurarse
legalmente en los EE.UU., mediante una contradiccin lgica en la Constitucin. Ni el juez ni
Einstein o Morgenstern, le permitieron a Gdel terminar la elaboracin de su pensamiento y la
ciudadana le fue entregada.10

Publicaciones importantes[editar]
En alemn:

1931, "ber formal unentscheidbare Stze der Principia Mathematica und verwandter
Systeme," Monatshefte fr Mathematik und Physik 38: 173-98.

1932, "Zum intuitionistischen Aussagenkalkl", Anzeiger Akademie der

Wissenschaften Wien 69: 6566.

En ingls:

1940. The Consistency of the Axiom of Choice and of the Generalized Continuum
Hypothesis with the Axioms of Set Theory. Princeton University Press.

1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54:
515-25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984
(1964).Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470-85.

En traduccin al ingls:

Kurt Godel, 1992. On Formally Undecidable Propositions Of Principia Mathematica

And Related Systems, tr. B. Meltzer, with a comprehensive introduction by Richard
Braithwaite. Dover reprint of the 1962 Basic Books edition.

Kurt Godel, 2000. On Formally Undecidable Propositions Of Principia Mathematica

And Related Systems, tr. Martin Hirzel

Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard
Univ. Press.

1930. "The completeness of the axioms of the functional calculus of logic," 58291.

1930. "Some metamathematical results on completeness and consistency,"

595-96. Abstract to (1931).

1931. "On formally undecidable propositions of Principia Mathematica and

related systems," 596-616.

1931a. "On completeness and consistency," 616-17.

My philosophical viewpoint, c. 1960, unpublished.

The modern development of the foundations of mathematics in the light of philosophy,

1961, unpublished.

Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon

Feferman.

Volume I: Publications 1929-1936 ISBN 0-19-503964-5,

Volume II: Publications 1938-1974 ISBN 0-19-503972-6,

Volume III: Unpublished Essays and Lectures ISBN 0-19-507255-3,

Volume IV: Correspondence, A-G ISBN 0-19-850073-4.

Volume V: Correspondence, H-Z ISBN 0-19-850075-0

Gdel en la cultura popular[editar]

En la comedia romntica de 1994 I.Q. dirigida por Fred Schepisi, se dramatiz a Gdel como
un personaje secundario encarnado por el actor Lou Jacobi; en el film aparece sin su paranoia
y disfrutando plenamente de su jubilacin. En 2007 estudiantes de la Nederlandse

Filmacademie (Dutch) (Dutch Film Academy) se graduaron con un corto de 25 minutos,

dirigido por Igor Kramer con el actor austriaco Robert Stuc en el papel principal; un Gdel
retirado se percata de que sus alrededores son el decorado de un rodaje, lo cual alimenta su
paranoia.

Vase tambin[editar]

Teoremas de incompletitud de Gdel

Mtrica de Gdel, una solucin exacta a la ecuacin de campo de Einstein

Premio Gdel

Lenguaje de programacin de Gdel

Gdel, Escher, Bach

Notas y referencias[editar]
1.

Volver arriba Kurt Gdel en Biografa y Vidas. Consultado el 6 de diciembre de

2011.

2.

Volver arriba Dawson, 1997, pp. 3-4.

3.

Volver arriba 1911 Encyclopdia Britannica/Brnn. Consultado el 13 de marzo de

2008.

4.

Volver arriba Dawson, 1997, p. 12.

5.

Volver arriba Gdel, Kurt, 1986, Collected Works. I: Publications 19291936. S.

Feferman, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort (eds.), Oxford: Oxford
University Press.

6.

Saltar a:a b Stadler, Friedrich (2015). "Documentation: The Murder of Moritz Schlick",
en: Friedrich Stadler (ed.). The Vienna Circle. Studies in the Origins, Development, and
Influence of Logical Empiricism: 597-632. Vienna, New York: Springer. ISBN 3-211-83243-2

7.

Volver arriba Dawson Jr, John W. (2002) "Max Dehn, Kurt Gdel, and the TransSiberian Escape Route", en Notices of the American Mathematical Society 49(9): 1068-1075
(1071-1072).

8.

Volver arriba Toates, Frederick; Olga Coschug Toates (2002). Obsessive Compulsive
Disorder: Practical Tried-and-Tested Strategies to Overcome OCD. Class Publishing.
p. 221.ISBN 978-1859590690.

9.

Volver arriba Goldstein, Rebecca (2005). Incompleteness: The Proof and Paradox of
Kurt Godel. W. W. Norton. p. 33. ISBN 978-0393051698.

10.

Volver arriba Holt, Jim (February 1998). The Loophole: A logician challenges the
Constitution.Lingua Franca. Consultado el 17 de noviembre de 2007.

Bibliografa[editar]
Fuentes primarias:

Gdel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia

mathematica y sistemas afines. Valencia: Teorema, 1980 y 2. edicin: 1981 ISBN 84-3700168-4

Gdel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia

mathematica y sistemas afines. Oviedo: krk ediciones, 2006. ISBN 978-84-96476-95-0

Gdel, Kurt 1994: Ensayos inditos. Francisco Rodrguez Consuegra, editor. Biblioteca
Mondadori. ISBN 84-397-1966-3

Gdel, Kurt 2007: Sobre consistencia y completud en el sistema axiomtico / ber

Widerspruchsfreiheit und Entscheidbarkeit in Axiomensystem. Jess Padilla Glvez, editor
y traductor, Mathesis, Serie III, Vol. II - Nr 1, 197-204. (ISSN: 0185-6200).

Gdel, Kurt 2006: Obras completas, Jess Mostern, editor, Madrid: Alianza,
2006. ISBN 84-206-4773-X

Fuentes secundarias:

Alonso, Enrique (2007). Scrates en Viena. Una biografa intelectual de Kurt Gdel.
Barcelona: Montesinos. ISBN 978-84-96831-33-9.

Dawson, John William (1997). Logical Dilemmas: The Life and Work of Kurt Gdel. A K
Peters. ISBN 9781568810256.

Fernndez-Prida, Jos. Una prueba algebraica de los teoremas de LwenheimSkolem y Gdel. Universidad Complutense de Madrid.

ISBN 978-84-600-5847-2.

Fresn, Javier (2007). Gdel. La lgica de los escpticos (segunda edicin). Madrid:
Nivola. ISBN 84-96566-39-0.

Goldstein, Rebecca (2006,). Bosch, Antoni, ed. Gdel. Paradoja y vida.

Barcelona. ISBN 978-84-95348-23-4.

Hofstadter, Douglas R. (1989). Gdel, Escher, Bach: un Eterno y Grcil Bucle (tercera
edicin). Barcelona: TusQuets editories. ISBN 84-7223-459-2.

Wang, Hao (1991). Reflexiones sobre Kurt Gdel. Madrid: Alianza Universidad. ISBN 84206-2690-2.

Enlaces externos[editar]

Kurt Gdel
Para el lenguaje de programacin, vase Gdel (lenguaje de programacin).

Kurt Gdel

Kurt Gdel

Nacimiento

28 de abril de 1906
Brnn (Brno)

Imperio

austrohngaro

Fallecimiento

14 de enero de 1978
Princeton,

EE. UU.

Residencia

Austria, EE. UU.

Campo

Matemticas, Filosofa

Instituciones

Instituto de Estudios Avanzados de

Princeton

Alma mter

Universidad de Viena

Supervisor doctoral Hans Hahn

Conocido por

Teorema de incompletitud de Gdel

Premios

Premio Albert Einstein(1951)

destacados

Cnyuge

Adele Porkert

Firma de Kurt Gdel

[editar datos en Wikidata]

Kurt Gdel o tambin Kurt Goedel (en alemn [kt dl]), (28 de abril de
1906 Brnn, Imperio austrohngaro, actualRepblica Checa 14 de enero de
1978, Princeton, Estados Unidos) fue un lgico, matemtico y filsofo austriacoestadounidense.1
Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de
Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX.
Gdel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N.
Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender
los fundamentos de lamatemtica. A Gdel se le conoce mejor por sus dos teoremas de la

incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su

doctorado en la Universidad de Viena.
El ms clebre de sus teoremas de la incompletitud establece que para todo sistema
axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir
la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones
verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para
demostrar este teorema desarroll una tcnica denominada ahora como numeracin de
Gdel, la cual codifica expresiones formales como nmeros naturales.
Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas
aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes
contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica
clsica, la lgica intuicionista y la lgica modal.
ndice
[ocultar]

1Vida
o

1.1Infancia

1.2Estudios en Viena

1.3Obra en Viena

1.4Visitas a los Estados Unidos

1.5Trabajo en Princeton

1.6Muerte

2Legado y distinciones
o

2.1La amistad de Gdel con Einstein

2.2Publicaciones importantes

3Gdel en la cultura popular

4Vase tambin

5Notas y referencias

6Bibliografa

7Enlaces externos

Vida[editar]
Infancia[editar]
Kurt Friedrich Gdel naci el 28 de abril de 1906 en Brnn, la capital de
la Moravia Austrohngara (actualmente Brno, Repblica Checa) en una familia de etnia
germana acomodada, compuesta por Rudolf August Gdel, hombre de negocios y
administrador de una fbrica de textiles, y Marianne Gdel (nacida Handschuh), una mujer
educada y culta quien permaneci cercana a Gdel durante toda su vida, (tal como puede
observarse en la extensa correspondencia entre ambos).2 En el momento de su nacimiento su
ciudad contaba con la mayora de poblacin de habla alemana3 y este era el idioma de sus
padres.4
Gdel que hablaba muy poco el checo se convirti automticamente en checoslovaco a la
edad de 12 aos tras la cada del Imperio austrohngaro al final de la Primera Guerra Mundial.
Posteriormente le cont a su bigrafo John W. Dawson que durante ese tiempo se senta
como un "exiliado austraco en Checoslovaquia" ("ein sterreicher im Exil in der
Tschechoslowakei"). Decidi convertirse en ciudadano austraco a la edad de 23 aos.
Cuando la Alemania nazi anexion Austria Gdel automticamente se convirti en
ciudadano alemn a la edad de 32 aos. Despus de la Segunda Guerra Mundial, a la edad
de 42 aos, se convirti en ciudadano estadounidense.
En su familia, al joven Kurt lo llamaban Herr Warum (Sr. Por qu) debido a su insaciable
curiosidad. La nica excepcin a una infancia sin incidentes fue el que a partir de los cuatro
aos Kurt sufri quebrantos de salud y fiebres reumticas, de las cuales se recuper
completamente, pero qued convencido para el resto de su vida de que su corazn haba
sufrido un dao permanente.
Asisti a la escuela primaria y secundaria en idioma alemn en Brno de la cual se gradu con
honores en 1923 y sobresali en matemticas, idiomas y religin. En el transcurso de su
adolescencia Kurt estudi, entre otras materias, la Teora de los colores de Goethe, crticas
de Isaac Newton y la obra de Immanuel Kant.

Estudios en Viena[editar]
A la edad de 18 aos Kurt se reuni con su hermano mayor Rudolf (nacido en 1902) e ingres
en la Universidad de Viena. Para entonces ya dominaba las matemticas a nivel universitario y
aunque en un principio pretendi estudiar fsica terica, tambin asisti a cursos
de filosofa impartidos por Heinrich Gomperz y de matemticas. Durante este perodo adopt
ideas del empirismo matemtico, ley los Metaphysische Anfangsgrnde der
Naturwissenschaft (Fundamentos metafsicos de la ciencia natural) de Kant, y aunque l
mismo no fue un positivista lgico particip en reuniones del Crculo de Viena con Moritz
Schlick, Hans Hahn y Rudolf Carnap, siendo estos dos ltimos de quienes aprendi lgica.
Despus estudi tambin la teora de los nmeros, y fue el asistir a un seminario dirigido por
Schlick, en el cual se estudiaba el libro Introduccin a la lgica matemtica de Bertrand
Russell, lo que lo motiv a interesarse por la lgica matemtica.
El asistir a una conferencia de Hilbert sobre la completud y la consistencia de los sistemas
matemticos podra haber sido lo que decidi el curso de su vida. En 1928 Hilbert yWilhelm
Ackermann publicaron los Grundzge der theoretischen Logik (Principios de lgica terica),
una introduccin a la lgica de primer orden en la cual se planteaba el problema de la
completitud: Son suficientes los axiomas de un sistema formal para derivar cada una de las
proposiciones verdaderas en todos los modelos del sistema? Este fue el tema elegido por
Gdel para su disertacin doctoral. En 1929, a la edad de 23 aos, complet su disertacin
bajo la supervisin de Hans Hahn, en la cual Gdel estableci la completud del clculo de
predicados de primer orden (este resultado se conoce ahora como el teorema de completitud
de Gdel). El doctorado le fue concedido en 1930 y su tesis, junto a trabajo adicional, fue
publicada por la Academia de Ciencias de Viena.5

Obra en Viena[editar]
En 1931 Gdel public sus clebres teoremas de la incompletud en ber formal
unentscheidbare Stze der Principia Mathematica und verwandter Systeme (Sobre
proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados).
En dicho artculo demostr que para todo sistema axiomtico computable que sea lo
suficientemente poderoso como para describir la aritmtica de los nmeros naturales (e.g.
los axiomas de Peano (o ZFC), entonces:
1. Si el sistema es coherente no puede ser completo. (A esto generalmente se le conoce
como el teorema de la incompletud).
2. La consistencia de los axiomas no puede demostrarse en el interior del sistema.

Estos teoremas finalizaron medio siglo de intentos acadmicos (comenzando con el trabajo
de Frege y culminando en los Principia Mathematica y en el formalismo de Hilbert) por
encontrar un conjunto de axiomas suficiente para toda la matemtica. El teorema de la
incompletud implica tambin que no toda la matemtica es computable.
La idea bsica del teorema de la incompletud es ms bien simple. Esencialmente Gdel
construy una frmula que asegura ser no-demostrable para cierto sistema formal. Si fuera
demostrable sera falsa, lo cual contradice el hecho de que en un sistema consistente las
proposiciones demostrables son siempre verdaderas. De modo que siempre habr por lo
menos una proposicin verdadera pero no demostrable. Esto es, para todo conjunto de
axiomas de la aritmtica construible por el hombre existe una frmula la cual se obtiene de la
aritmtica pero es indemostrable en ese sistema. Sin embargo, para precisar esto Gdel
necesitaba resolver varias cuestiones tcnicas, tales como proposiciones de codificacin y el
concepto mismo de demostrabilidad en la teora de los nmeros naturales. Esto ltimo lo
realiz mediante un proceso denominadonumeracin de Gdel.
En su ensayo de dos pginas Zum intuitionistischen Aussagenkalkl (1932) Gdel refut la
valuabilidad finita de la lgica intuicionista. En la demostracin emple implcitamente lo que
despus se conoci como la lgica intermedia de GdelDummett (o Gdel fuzzy logic).
Gdel recibi su habilitacin en la Universidad de Viena en 1932, y en 1933 se convirti
en Privatdozent (permiso para ensear y examinar de forma independiente en la universidad).
La ascensin de Hitler en Alemania en 1933 afect poco a Gdel en Viena, ya que tena poco
inters en la poltica. Sin embargo, se vio muy afectado por el asesinato de Moritz
Schlick (cuyo seminario haba despertado su inters por la lgica) a manos del estudiante
Hans Nelbck, quien declar que mat a Schlick "por difundir ideas antimetafsicas que minan
la moral y la cohesin de la vida".6 Este incidente le provoc un colapso nervioso y su primera
crisis de paranoia. Dos aos despus, tras elAnschluss, el asesino fue liberado y se
declar nazi.6

Visitas a los Estados Unidos[editar]

En 1933 Gdel viaj por primera vez a los Estados Unidos donde conoci a Albert Einstein,
con quien estrech lazos de amistad. Present una conferencia en la reunin anual de
la Sociedad Norteamericana de Matemticas. En el transcurso de ese ao Gdel tambin
desarroll ideas sobre la computabilidad y la funcin recursiva al punto que present una
conferencia sobre dichas funciones y sobre el concepto de verdad. Posteriormente, este
trabajo se desarroll en la teora de los nmeros, empleando la numeracin de Gdel.

En 1934 Gdel present una serie de conferencias en el Instituto de Estudios Avanzados (IEA)
en Princeton, titulada Sobre las proposiciones indecidibles de los sistemas matemticos
formales. Stephen Kleene, quien acababa de finalizar su doctorado en Princeton, tom notas
de esta conferencia, las cuales fueron publicadas posteriormente.
Gdel visitara el IEA nuevamente en el otoo de 1935, pero los viajes y el intenso trabajo lo
haban extenuado y al ao siguiente convaleci producto de una depresin, y no regres a la
docencia sino hasta 1937. Durante ese tiempo se dedic a la prueba de consistencia
del axioma de eleccin y a la hiptesis del continuo en cuyo trabajo continu hasta mostrar
que estas hiptesis no pueden refutarse desde el sistema comn de axiomas de la teora de
conjuntos.
Contrajo matrimonio el 20 de septiembre de 1938 con Adele Nimbursky (nacida Porkert, 18991981), a la cual conoca desde haca 10 aos. Los padres de Gdel se oponan a la relacin
sobre la base de que se trataba de una bailarina divorciada y seis aos mayor que l. Nunca
tuvieron hijos.
Posteriormente realiz otra visita a los Estados Unidos, donde pas el otoo de 1938 en el IEA
y la primavera de 1939 en la Universidad de Notre Dame. Durante sus vacaciones del IEA,
Gdel y su esposa Adele pasaron el verano de 1942 en Blue Hill, Maine. Sin embargo Gdel
no estaba meramente vacacionando pues tuvo un verano de trabajo muy productivo. John W.
Dawson, Jr. conjetura que durante esas vacaciones Gdel, empleando el volumen 15 de su
obra todava sin publicar Arbeitshefte (Cuadernos de notas), descubri una prueba de la
independencia del axioma de eleccin de la teora finita de tipos, una forma debilitada de la
teora de conjuntos. Hao Wang, amigo cercano de Gdel, apoya dicha conjetura, sealando
que los cuadernos de notas de Blue Hill contienen su tratamiento ms extenso del problema.

Trabajo en Princeton[editar]
Despus del Anschluss en 1938, Austria pas a formar parte de la Alemania Nazi. Alemania
aboli el ttulo de Privatdozent, de modo que Gdel tuvo que concursar a un cargo diferente
en el nuevo orden. Sin embargo, sus vnculos anteriores con miembros judos del Crculo de
Viena, especialmente con Hans Hahn, pesaban en su contra. Su situacin se precipit a
finales de 1939, cuando se le encontr apto para el servicio militar, quedando en riesgo de ser
llamado a las filas del ejrcito alemn durante la II Guerra Mundial, razn por la cual emigr
hacia los Estados Unidos para asumir un cargo docente en el IEA. Gdel y su esposa tuvieron
que tomar el Ferrocarril Transiberiano hasta el Pacfico, navegado desde Japn hasta San
Francisco (donde llegaron el 4 de marzo, 1940), y luego cruzaron los Estados Unidos en tren
hasta Princeton.7

Rpidamente retom su trabajo en matemticas y en 1940 public su obra Consistencia

del axioma de eleccin y de la hiptesis del continuo generalizada con los axiomas de la
teora de conjuntos, la cual constituye un clsico de la matemtica moderna. En dicho trabajo
introdujo el universo construible, un modelo de la teora de conjuntos en el cual los nicos
conjuntos que existen son aquellos que pueden construirse a partir de conjuntos ms simples.
Gdel mostr que tanto el axioma de eleccin (AC) y la hiptesis del continuo
generalizada (HCG) son verdaderas en el universo construible y por lo tanto deben de ser
consistentes con los axiomas de Zermelo-Fraenkel para la teora de conjuntos (ZF).
Posteriormente Paul Cohen construy un modelo de ZF en el cual AC y HCG son falsos; en
conjunto estas demostraciones significan que AC y HCG son independientes de los axiomas
de ZF para la teora de conjuntos.
Hacia el final de la dcada de 1940 Gdel demostr la existencia de soluciones paradjicas a
las ecuaciones de campo de la relatividad general de Albert Einstein. Estos "universos
rotatorios" permitiran viajar en el tiempo y provocaron dudas en Einstein sobre su propia
teora. Sus soluciones se conocen como la mtrica de Gdel (o el Universo de Gdel).
Durante sus muchos aos en el Instituto, los intereses de Gdel se tornaron hacia la filosofa y
la fsica. Estudi y admir las obras de Gottfried Leibniz, pero lleg a la conclusin (sin
evidencia) de que la mayor parte del trabajo de Leibniz haba sido suprimida. En menor
medida tambin estudi a Kant y a Edmund Husserl. Al principio de los aos 1970Gdel
circul entre sus amistades una elaboracin de la demostracin ontolgica de Leibniz sobre la
existencia de Dios, la cual se conoce ahora como la demostracin ontolgica de Gdel.
En 1946 Gdel se convirti en un miembro permanente del IEA. Alrededor de este perodo
dej de publicar, aunque continu trabajando. Se convirti plenamente en profesor del instituto
en 1955 y en profesor emrito en 1976.
En 1951 Gdel fue reconocido (junto a Julian Schwinger) con el primer Premio Albert Einstein,
y tambin se le entreg la National Medal of Science en 1974.

Muerte[editar]
En sus ltimos aos, Gdel sufri de perodos de inestabilidad y enfermedad mental. Tena
temores obsesivos de ser envenenado, y no coma a menos que su esposa Adele preparara
su comida. A finales de 1977 Adele fue hospitalizada durante seis meses y no pudo continuar
preparando la comida de Gdel. En su ausencia rehus comer, hasta el punto de dejarse
morir de hambre. En el momento de su muerte pesaba 65 libras (32.5kg). El certificado de

defuncin en el Hospital de Princeton, el 14 de enero de 1978, dice que muri de "desnutricin

e inanicin causadas por perturbaciones en la personalidad". 8

Legado y distinciones[editar]
En su honor se fund, en 1987, la Kurt Gdel Society, una organizacin internacional
dedicada a la promocin de la investigacin en lgica, filosofa y la historia de las
matemticas. Fue nombrado doctor honorario en literatura por la Universidad de Yale en 1951.
Tambin recibi un doctorado honorario en ciencias por la Universidad de Harvard en 1952,
con una mencin en la que se le declar "el descubridor de la verdad matemtica ms
significativa del siglo". Fue elegido miembro de la Academia Nacional de Ciencias en 1955 y
de la Academia Norteamericana de las Artes y las Ciencias en 1957. En 1961 ingres en
la Sociedad Filosfica de Amrica y en 1967 fue elegido miembro honorario de la Sociedad
Matemtica de Londres. Finalmente, en 1975 el presidente Gerald Ford le entreg la Medalla
Nacional de las Ciencias.

La amistad de Gdel con Einstein[editar]

Albert Einstein y Gdel entablaron una amistad legendaria, compartida en las caminatas que
daban juntos en el IEA. La naturaleza de sus conversaciones permaneci en el misterio para
los otros miembros del Instituto. El economista Oskar Morgenstern recuerda que, hacia el final
de su vida, Einstein le confi que "su propio trabajo ya no importaba mucho, que llegaba al
instituto nicamente para tener el privilegio de caminar a casa junto a Gdel". 9
Einstein y Morgenstern asesoraron a Gdel para el examen de su ciudadana estadounidense,
preocupados de que el comportamiento impredecible de su amigo pusiera en riesgo su
oportunidad. Cuando se mencion brevemente el rgimen nazi, Gdel le inform al juez que
presida de que haba descubierto una manera en que una dictadurapudiese instaurarse
legalmente en los EE.UU., mediante una contradiccin lgica en la Constitucin. Ni el juez ni
Einstein o Morgenstern, le permitieron a Gdel terminar la elaboracin de su pensamiento y la
ciudadana le fue entregada.10

Publicaciones importantes[editar]
En alemn:

1931, "ber formal unentscheidbare Stze der Principia Mathematica und verwandter
Systeme," Monatshefte fr Mathematik und Physik 38: 173-98.

1932, "Zum intuitionistischen Aussagenkalkl", Anzeiger Akademie der

Wissenschaften Wien 69: 6566.

En ingls:

1940. The Consistency of the Axiom of Choice and of the Generalized Continuum
Hypothesis with the Axioms of Set Theory. Princeton University Press.

1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54:
515-25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984
(1964).Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470-85.

En traduccin al ingls:

Kurt Godel, 1992. On Formally Undecidable Propositions Of Principia Mathematica

And Related Systems, tr. B. Meltzer, with a comprehensive introduction by Richard
Braithwaite. Dover reprint of the 1962 Basic Books edition.

Kurt Godel, 2000. On Formally Undecidable Propositions Of Principia Mathematica

And Related Systems, tr. Martin Hirzel

Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard
Univ. Press.

1930. "The completeness of the axioms of the functional calculus of logic," 58291.

1930. "Some metamathematical results on completeness and consistency,"

595-96. Abstract to (1931).

1931. "On formally undecidable propositions of Principia Mathematica and

related systems," 596-616.

1931a. "On completeness and consistency," 616-17.

My philosophical viewpoint, c. 1960, unpublished.

The modern development of the foundations of mathematics in the light of philosophy,

1961, unpublished.

Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon

Feferman.

Volume I: Publications 1929-1936 ISBN 0-19-503964-5,

Volume II: Publications 1938-1974 ISBN 0-19-503972-6,

Volume III: Unpublished Essays and Lectures ISBN 0-19-507255-3,

Volume IV: Correspondence, A-G ISBN 0-19-850073-4.

Volume V: Correspondence, H-Z ISBN 0-19-850075-0

Gdel en la cultura popular[editar]

En la comedia romntica de 1994 I.Q. dirigida por Fred Schepisi, se dramatiz a Gdel como
un personaje secundario encarnado por el actor Lou Jacobi; en el film aparece sin su paranoia
y disfrutando plenamente de su jubilacin. En 2007 estudiantes de la Nederlandse
Filmacademie (Dutch) (Dutch Film Academy) se graduaron con un corto de 25 minutos,
dirigido por Igor Kramer con el actor austriaco Robert Stuc en el papel principal; un Gdel
retirado se percata de que sus alrededores son el decorado de un rodaje, lo cual alimenta su
paranoia.

Vase tambin[editar]

Teoremas de incompletitud de Gdel

Mtrica de Gdel, una solucin exacta a la ecuacin de campo de Einstein

Premio Gdel

Lenguaje de programacin de Gdel

Gdel, Escher, Bach

Notas y referencias[editar]
1.

Volver arriba Kurt Gdel en Biografa y Vidas. Consultado el 6 de diciembre de

2011.

2.

Volver arriba Dawson, 1997, pp. 3-4.

3.

Volver arriba 1911 Encyclopdia Britannica/Brnn. Consultado el 13 de marzo de

2008.

4.

Volver arriba Dawson, 1997, p. 12.

5.

Volver arriba Gdel, Kurt, 1986, Collected Works. I: Publications 19291936. S.

Feferman, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort (eds.), Oxford: Oxford
University Press.

6.

Saltar a:a b Stadler, Friedrich (2015). "Documentation: The Murder of Moritz Schlick",
en: Friedrich Stadler (ed.). The Vienna Circle. Studies in the Origins, Development, and
Influence of Logical Empiricism: 597-632. Vienna, New York: Springer. ISBN 3-211-83243-2

7.

Volver arriba Dawson Jr, John W. (2002) "Max Dehn, Kurt Gdel, and the TransSiberian Escape Route", en Notices of the American Mathematical Society 49(9): 1068-1075
(1071-1072).

8.

Volver arriba Toates, Frederick; Olga Coschug Toates (2002). Obsessive Compulsive
Disorder: Practical Tried-and-Tested Strategies to Overcome OCD. Class Publishing.
p. 221.ISBN 978-1859590690.

9.

Volver arriba Goldstein, Rebecca (2005). Incompleteness: The Proof and Paradox of
Kurt Godel. W. W. Norton. p. 33. ISBN 978-0393051698.

10.

Volver arriba Holt, Jim (February 1998). The Loophole: A logician challenges the
Constitution.Lingua Franca. Consultado el 17 de noviembre de 2007.

Bibliografa[editar]
Fuentes primarias:

Gdel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia

mathematica y sistemas afines. Valencia: Teorema, 1980 y 2. edicin: 1981 ISBN 84-3700168-4

Gdel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia

mathematica y sistemas afines. Oviedo: krk ediciones, 2006. ISBN 978-84-96476-95-0

Gdel, Kurt 1994: Ensayos inditos. Francisco Rodrguez Consuegra, editor. Biblioteca
Mondadori. ISBN 84-397-1966-3

Gdel, Kurt 2007: Sobre consistencia y completud en el sistema axiomtico / ber

Widerspruchsfreiheit und Entscheidbarkeit in Axiomensystem. Jess Padilla Glvez, editor
y traductor, Mathesis, Serie III, Vol. II - Nr 1, 197-204. (ISSN: 0185-6200).

Gdel, Kurt 2006: Obras completas, Jess Mostern, editor, Madrid: Alianza,
2006. ISBN 84-206-4773-X

Fuentes secundarias:

Alonso, Enrique (2007). Scrates en Viena. Una biografa intelectual de Kurt Gdel.
Barcelona: Montesinos. ISBN 978-84-96831-33-9.

Dawson, John William (1997). Logical Dilemmas: The Life and Work of Kurt Gdel. A K
Peters. ISBN 9781568810256.

Fernndez-Prida, Jos. Una prueba algebraica de los teoremas de LwenheimSkolem y Gdel. Universidad Complutense de Madrid.

ISBN 978-84-600-5847-2.

Fresn, Javier (2007). Gdel. La lgica de los escpticos (segunda edicin). Madrid:
Nivola. ISBN 84-96566-39-0.

Goldstein, Rebecca (2006,). Bosch, Antoni, ed. Gdel. Paradoja y vida.

Barcelona. ISBN 978-84-95348-23-4.

Hofstadter, Douglas R. (1989). Gdel, Escher, Bach: un Eterno y Grcil Bucle (tercera
edicin). Barcelona: TusQuets editories. ISBN 84-7223-459-2.

Wang, Hao (1991). Reflexiones sobre Kurt Gdel. Madrid: Alianza Universidad. ISBN 84206-2690-2.

Enlaces externos[editar]