You are on page 1of 11

14/1/2014

Kurt Gödel - Wikipedia, la enciclopedia libre

Kurt Gödel
De Wikipedia, la enciclopedia libre

Kurt Friedrich Gödel ( / k ɜr t ɡ ɜr d əl / ; alemán: [kʊʁt ɡø ː dəl] ( ) , 28 abril 1906 a 14 enero 1978) fue un austriaco, y más tarde de América, lógico , matemático y filósofo . Considerado con Aristóteles y Gottlob Frege a ser uno de los lógicos más importantes en la historia, Gödel hizo un inmenso impacto en el pensamiento científico y filosófico en el siglo 20, una época en que otros, tales como Bertrand Russell , [ 1 ] AN Whitehead , [ 1 ] y David Hilbert fue pionera en el uso de la lógica y la teoría de conjuntos para comprender los fundamentos de las matemáticas . Gödel publicó sus dos teoremas de incompletitud en 1931 cuando tenía 25 años, un año después de terminar su doctorado en la Universidad de Viena . El primer teorema de incompletitud establece que para cualquier auto-consistente recursiva sistema axiomático suficientemente poderoso como para describir la aritmética de los números naturales (por ejemplo, la aritmética de Peano ), existen proposiciones verdaderas sobre los naturales que no pueden ser probadas a partir de los axiomas . Para demostrar este teorema, Gödel desarrolló una técnica conocida ahora como numeración de Gödel , el cual codifica expresiones formales como números naturales. También mostró que ni el axioma de elección ni la hipótesis del continuo se pueden refutar a los aceptados axiomas de la teoría de conjuntos , asumiendo estos axiomas son consistentes. El resultado anterior se abrió la puerta para que los matemáticos para asumir el axioma de elección en sus pruebas. También hizo importantes contribuciones a la teoría de la prueba mediante la aclaración de las conexiones entre la lógica clásica , la lógica intuicionista y la lógica modal .

Kurt Gödel

Nacido

Kurt Friedrich Gödel 28 de abril 1906 Brünn, Austria-Hungría (hoy Brno , República Checa ) 14 de enero 1978 (envejecido 71) Princeton , New Jersey, Estados Unidos Estados Unidos Austria, EE.UU. Matemáticas , Lógica matemática

Murió

Residencia Ciudadanía Los campos

Instituciones Instituto de Estudios Avanzados Alma máter Universidad de Viena Doctoral Hans Hahn consejero Conocido por Teoremas de incompletitud de Gödel , teorema de completitud de Gödel , la consistencia de la hipótesis del continuo con ZFC , Gödel métrica , prueba ontológica de Gödel Concesiones Premio Albert Einstein (1951); notables Medalla Nacional de Ciencias (EE.UU.) en Matemáticas, Estadística y Ciencias de la Computación (1974) Miembro de la Academia Británica Firma
1/11

Contenido
1 Vida 1.1 Infancia 1.2 Estudiar en Viena 1.3 El teorema de incompletitud 1.4 A mediados de la década de 1930: más trabajo y visitas a los EE.UU. 1.5 Traslado a Princeton, Einstein y la
http://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Religious_views

ciudadanía de EE.UU.

6 Años posteriores y muerte 2 puntos de vista religiosos 3 Legado 4 publicaciones importantes 5 Véase también 6 Notas 7 Referencias 8 Lectura adicional 9 Enlaces externos Vida Niñez Gödel nació el 28 de abril de 1906. Austria-Hungría (hoy Brno . al igual que muchos residentes de la Sudetenländer predominantemente alemán. más tarde se interesó más en la historia y las matemáticas. a la edad de 42 años. [ 2 ] En el momento de su nacimiento la ciudad tenía una de habla alemana de la mayoría.org/wiki/Kurt_G%C3%B6del#Religious_views 2/11 . 1. se convirtió en un ciudadano americano. idiomas y religión. Los antepasados ​ de Kurt Gödel eran a menudo activa en la vida cultural de Brünn. y Marianne Gödel (nacido Handschuh). sobresaliendo con honores en todos sus súbditos.UU. el gerente de una fábrica textil. y los escritos de Immanuel Kant . Según su hermano Rudolf. a la edad de seis o siete años Kurt sufrió de fiebre reumática . Su interés por las matemáticas se incrementó cuando en 1920 su hermano mayor Rudolf (nacido en 1902) fue a Viena para ir a la escuela de medicina de la Universidad de Viena . en Brünn. especialmente en matemáticas. Cuando Alemania se anexionó Austria en 1938. Goethe 's teoría de los colores y las críticas de Isaac Newton . República Checa ) en el alemán étnico familia de Rudolf Gödel. Aunque Kurt había sobresalido por primera vez en los idiomas. [ 4 ] El matrimonio de sus padres fue confesional mezclado. una escuela Luterana en Brünn 1912-1916. y fue inscrito en el Deutsches Staats-Realgymnasium 1916-1924. Durante su adolescencia. Gödel se convirtió automáticamente en un ciudadano alemán a los 32 años.14/1/2014 Kurt Gödel . se recuperó completamente. pero para el resto de su vida él seguía convencido de que su corazón había sufrido un daño permanente. Kurt estudió taquigrafía Gabelsberger . [ 3 ] y esto era la lengua de sus padres.wikipedia. cuando el Imperio Austro-Húngaro se separó a finales de la Primera Guerra Mundial I. Los niños fueron criados en la confesión protestante. Después de la Segunda Guerra Mundial.Wikipedia. [ 6 ] Él escogió para convertirse en un austríaco ciudadano a los 23 años. Estudiar en Viena http://en. [ 5 ] Gödel se convirtió automáticamente en ciudadano checoslovaco a los 12 años. el joven Kurt era conocido como Herr Warum ("¿Por qué el señor") debido a su insaciable curiosidad. el padre es católico y madre protestante. Gödel asistió a la Evangelische Volksschule . "Gödel se consideraba siempre austríaco y un exilio en Checoslovaquia ". De acuerdo con su compañera de clase Klepetař. la enciclopedia libre ciudadanía de EE. su abuelo Joseph Gödel fue un famoso cantante de ese momento y durante algunos años miembro de la "Brünner Männergesangverein". Por ejemplo. En su familia.

a la edad de 23 años. Según Gödel lógica matemática fue "una ciencia antes de todos los demás. no puede ser completa . La consistencia de los axiomas no puede demostrarse dentro del sistema . también asistió a cursos en matemáticas y filosofía. que: 1..14/1/2014 Kurt Gödel . Hans Hahn y Rudolf Carnap . y el concepto de demostrativa como números naturales. no es una fórmula que se obtiene en la aritmética. Lo hizo mediante un proceso conocido como la numeración de Gödel . los axiomas de Peano o Zermelo-Fraenkel teoría de conjuntos con el axioma de elección ). la enciclopedia libre A la edad de 18 años. fue publicada por la Academia de Ciencias de Viena. http://en. pero que no es demostrable en ese sistema.wikipedia.. Si fuera demostrable sería falsa. demostró por cualquier computable sistema axiomático que es lo suficientemente poderoso como para describir la aritmética de los números naturales (por ejemplo. En ese artículo. Gödel esencialmente construye una fórmula que afirma que es imposible de demostrar en un sistema formal dado. El tema de la lógica. él adoptó ideas del realismo matemático . pero no demostrable. Gödel necesitaba para producir un método para codificar las declaraciones. sin embargo. 2. Para entonces. es un hito que permanecerá visible lejos en el espacio y el tiempo . la idea básica en el corazón del teorema de incompletitud es bastante simple. pero cuando él participó en un seminario dirigido por Moritz Schlick que estudió Bertrand Russell 's libro Introducción a la filosofía matemática . sin duda ha en Über formal de unentscheidbare Sätze cambiado por completo su naturaleza y posibilidades con logro de Gödel der und "Principia Mathematica" [9] verwandter Systeme (llamado en Inglés " En ". [ 8 ] Asistir a una conferencia impartida por David Hilbert en Bolonia en la integridad y consistencia de los sistemas matemáticos puede haber configurado curso de la vida de Gödel. Estos teoremas finalizaron medio siglo de intentos. Su tesis. "El logro de Kurt Gödel en lógica moderna es singular y monumental . Si el sistema es consistente . pruebas. Hilbert y Wilhelm Ackermann publicó der Grundzüge theoretischen Logik ( Principios de la lógica matemática ). lo cual contradice la idea de que en un sistema coherente. Durante este tiempo. Obtuvo el doctorado en 1930. Es decir. junto con un poco de trabajo adicional. y participó en el Círculo de Viena con Moritz Schlick . de encontrar un conjunto de axiomas suficientes para todas las matemáticas. él estableció la integridad del cálculo de predicados de primer orden ( exhaustividad teorema de Gödel ).John von Neumann Formalmente indecidibles Proposiciones del " Principia Mathematica "y sistemas relacionados "). En retrospectiva. En ella.Wikipedia.. se unió a su hermano Gödel en Viena. En 1929. completó su doctorado tesis bajo la supervisión de Hans Hahn. y entró en la Universidad de Viena. El teorema de la incompletitud En 1931 y cuando aún estaba en Viena. a partir de la obra de Frege y culminando en los Principia Mathematica y el formalismo de Hilbert . ya había dominado las matemáticas de nivel universitario. para cualquier computablemente enumerable conjunto de axiomas para la aritmética (es decir.org/wiki/Kurt_G%C3%B6del#Religious_views 3/11 . es más que un monumento. [ 7 ] Aunque en un principio la intención de estudiar la física teórica . se interesó por la lógica matemática . que contiene las ideas y principios implícitos todas las ciencias". una introducción a la lógica de primer orden en el que el problema de la exhaustividad fue planteada: ¿Son los axiomas de un sistema formal suficientes para derivar cada declaración que sea verdadera en todos los modelos del sistema? Este fue el tema elegido por Gödel para su trabajo doctoral. . Leyó Kant 's Metaphysische Anfangsgründe der Naturwissenschaft . En 1928. un conjunto que en principio se puede imprimir mediante un ordenador idealizada con recursos ilimitados). Gödel estudiado luego la teoría de números .de Gödel publicó sus teoremas de incompletitud hecho. las declaraciones demostrables son siempre verdaderas. siempre habrá por lo menos una afirmación verdadera. Por lo tanto. Para que esto sea preciso.

Nueva Jersey. quien se convirtió en un buen amigo. Él volvió a la enseñanza en 1937. que iría a mostrar que estas hipótesis no pueden ser refutadas por el sistema común de axiomas de la teoría de conjuntos. seis años mayor que él. [ 11 ] En 1933.. incluyendo el miedo a ser envenenado. La Universidad de Viena volvió su aplicación hacia abajo. cuyo seminario había despertado el interés de Gödel en lógica. Austria se había convertido en una parte de la Alemania nazi . Einstein y la ciudadanía de los EE. Gödel visitaría el NIC de nuevo en el otoño de 1935.org/wiki/Kurt_G%C3%B6del#Religious_views 4/11 .14/1/2014 Kurt Gödel . y en 1933 se convirtió en un Privatdozent (profesor no remunerado) allí. pesaba en su contra. Durante este año. Gödel también desarrolló las ideas de la computabilidad y funciones recursivas al punto donde pronunció una conferencia sobre las funciones recursivas generales y el concepto de verdad. Moritz Schlick . Alemania abolió el título de Privatdozent . Durante este tiempo. quien acababa de terminar su doctorado en Princeton. Su relación había sido la oposición de sus padres en razón de que ella era una bailarina divorciada.UU. tomó notas de las conferencias que se han publicado posteriormente. El viaje y el trabajo duro lo habían agotado. Su difícil situación se intensificó cuando el ejército alemán lo encontró apto para el servicio militar obligatorio. y entre los matemáticos de Viena. Posteriormente. Se casó con Adele Nimbursky (née Porkert. trabajó en la prueba de consistencia del axioma de elección y de la hipótesis del continuo . Traslado a Princeton. A mediados de la década de 1930: más trabajo y visitas a los EE. especialmente con Hahn. [ 10 ] Desarrolló síntomas paranoides. a quien conocía desde hacía más de 10 años. titulado On proposiciones indecidibles de los sistemas matemáticos formales . los Gödels tomaron el http://en. donde se reunió con Albert Einstein . Gödel y su esposa salieron de Viena para Princeton . En 1934 Gödel dio una serie de conferencias en el Instituto de Estudios Avanzados (IAS) en Princeton . [ 12 ] Pronunció un discurso ante la reunión anual de la Sociedad Americana de Matemáticas . En junio de 1936.wikipedia. se fue a otra visita a los EE. y al año siguiente se tomó un descanso para recuperarse de un episodio depresivo. 1899-1981).UU. Gödel recibió su habilitación en Viena en 1932. Antes de que terminara el año.UU. Esto dio lugar a "una severa crisis nerviosa" en Gödel. Gödel viajó por primera vez a los EE. Después de las Anschluss en 1938. pasando el otoño de 1938 en las NIC y la primavera de 1939 en la Universidad de Notre Dame . utilizando numeración de Gödel. Este trabajo se desarrolló en la teoría de números. y pasó varios meses en un sanatorio para enfermedades nerviosas.UU. Su antigua asociación con miembros judíos del Círculo de Viena. el 20 de septiembre de 1938. En 1933 Adolf Hitler llegó al poder en Alemania y en los años siguientes los nazis aumentó su influencia en Austria. En la prueba que utiliza implícitamente lo que más tarde se ha conocido como Gödel-Dummett lógica intermedia (o Gödel fuzzy logic ). La Segunda Guerra Mundial comenzó en septiembre de 1939. la enciclopedia libre En su documento de dos páginas Zum intuitionistischen Aussagenkalkül (1932) Gödel refutó lo finitovaluedness de la lógica intuicionista . fue asesinado por un estudiante pro-nazi.Wikipedia. Stephen Kleene . Para evitar la dificultad de la travesía del Atlántico. por lo que Gödel tuvo que aplicar para una posición diferente en el marco del nuevo orden..

Un amigo cercano de Gödel Hao Wang apoya esta conjetura. y por lo tanto deben ser consistentes con los axiomas de Zermelo-Fraenkel para la teoría de conjuntos (ZF). en el que actuaron como testigos. Se convirtió en un profesor de tiempo completo en el Instituto en 1953 y profesor emérito en 1976. Forman sabía Einstein y había administrado el juramento en la audiencia propia ciudadanía de Einstein. examen. Gödel reanudó rápidamente su trabajo matemático. uno que permitiría a los EE. en tren a Princeton.UU. y se trasladó a la audiencia a otras preguntas y una conclusión de rutina.. la enciclopedia libre ferrocarril transiberiano hasta el Pacífico. Paul Cohen más tarde construyó un modelo de de ZF en el cual AC y GCH son falsas. [ 16 ] Estos "universos rotatorios" permitirían viajar en el tiempo y ha causado a Einstein tienen dudas acerca de su propia http://en. para convertirse en una dictadura. [ 13 ] Gödel y su esposa Adele pasaron el verano de 1942 en Blue Hill. que es un clásico de la matemática moderna.UU. en el Blue Hill Inn en la parte superior de la bahía. un modelo de la teoría de conjuntos en los que los únicos conjuntos que existen son los que puede ser construido a partir de conjuntos más simples. Einstein y Morgenstern estaban preocupados de que el comportamiento impredecible de su amigo podría poner en peligro sus posibilidades.UU. el juez resultó ser Phillip Forman . luego comenzó a explicar su descubrimiento a Forman. Maine. Dawson. Alrededor de este tiempo él dejó de publicar. Dio esta elaboración a Einstein como un regalo para su cumpleaños número 70. Gödel y Einstein posteriormente desarrollaron una gran amistad. para tener el privilegio de caminar a casa con Gödel". señalando que los cuadernos de Blue Hill de Gödel contienen su tratamiento más extenso del problema. El economista Oskar Morgenstern relata que hacia el final de su vida Einstein confió que su "propio trabajo ya no significaba mucho. Jr. cortar Gödel off.UU. [ 14 ] [ 15 ] Años posteriores y muerte Gödel se convirtió en un miembro permanente del Instituto de Estudios Avanzados de Princeton en 1946. luego cruzó los EE. donde Gödel haría aceptar un puesto en el Instituto de Estudios Avanzados (IAS). En 1940.UU. Usando Heft 15 [volumen 15] de que aún no publicado de Gödel Arbeitshefte [cuadernos de trabajo]. Gödel había confiado en ellos que había descubierto una inconsistencia en la Constitución de los EE. . que él vino al Instituto simplemente . una forma debilitada de la teoría de conjuntos . [ cita requerida ] En este trabajo se presenta el universo construible .. Gödel demostró que tanto el axioma de elección (AC) y la hipótesis del continuo generalizada (GCH) son verdaderas en el universo construible. Einstein y Morgenstern acompañados Gödel a su ciudadanía de EE. Forman entendía lo que estaba pasando. Gödel demostró la existencia de paradójicas soluciones a las ecuaciones de campo de Albert Einstein en la relatividad general . aunque continuó trabajando.wikipedia. Gödel no estaba meramente vacacionando pero tuvo un verano muy productivo de trabajo. navegó desde Japón a San Francisco (donde llegaron el 4 de marzo 1940).14/1/2014 Kurt Gödel . El 5 de diciembre de 1947. Albert Einstein también vivía en Princeton durante este tiempo. Afortunadamente.org/wiki/Kurt_G%C3%B6del#Religious_views 5/11 . publicó su obra La consistencia del axioma de elección y de la hipótesis de continuo generalizada con los axiomas de la teoría de conjuntos . John W. [ cita requerida ] En 1951. conjetura que Gödel descubrió una prueba de la independencia del axioma de elección de la teoría de tipo finito. La naturaleza de sus conversaciones era un misterio para los demás miembros del Instituto. Todo fue bien hasta que Forman ocurrió preguntar Gödel si pensaba que una dictadura como el régimen nazi pudo suceder en el Gödel EE. que en conjunto estas demostraciones significan que AC y GCH son independientes de los axiomas de ZF para la teoría de conjuntos. y eran conocidos por dar largos paseos juntos hacia y desde el Instituto de Estudios Avanzados.Wikipedia. mientras que en Blue Hill en 1942.

Gödel circuló entre sus amigos una elaboración de la versión de Leibniz de Anselmo de Canterbury 's prueba ontológica de la existencia de Dios. esto supone que hay muchas relaciones que la ciencia de hoy y recibidos sabiduría tengo ni la menor idea de Pero estoy convencido de ello [el más allá]. con el tiempo muerto de hambre a la muerte. preparado para él. La Asociación de Symbolic Logic ha invitado a una conferencia anual de Kurt Gödel cada año desde 1990.Wikipedia. independientemente de toda la teología.org/wiki/Kurt_G%C3%B6del#Religious_views 6/11 . A principios de la década de 1970. diciendo: ". la enciclopedia libre teoría. Es una organización internacional para la promoción de la investigación en las áreas de la lógica. fundada en 1987. no panteísta . [ 19 ] la muerte de Adela siguió en 1981. Gödel. comía sólo alimentos que su esposa. La Universidad de Viena acoge el Centro de Investigación de Gödel Kurt para la lógica matemática. y también fue galardonado con la Medalla Nacional de la Ciencia . se negó a comer. [ 17 ] En menor medida estudió Immanuel Kant y Edmund Husserl . Mi creencia es teísta . en 1974. fue nombrado en su honor." Es "hoy posible percibir.14/1/2014 Kurt Gödel . [ 23 ] Él dijo sobre el Islam: "Me gusta el Islam. los intereses de Gödel se volvieron hacia la filosofía y la física.wikipedia. [ 22 ] Al describir la religión (s) en en general. [ 18 ] Pesaba 65 libras (unos 30 kg) cuando murió. Gödel fue galardonado (con Julian Schwinger ) el primer Premio Albert Einstein en 1951. A finales de 1977. NJ. fue hospitalizada durante seis meses y ya no pudo preparar la comida de su marido. cementerios Visión religiosa Gödel era un teísta convencido. entonces debe haber algo así [como un más allá]". En su ausencia. Su certificado de defunción informó que murió de "desnutrición e inanición causadas por alteración de la personalidad ". http://en. Creía firmemente en la otra vida. en el Hospital de Princeton el 14 de enero de 1978. siguiendo a Leibniz en lugar de Spinoza ". [ 24 ] Legado La Sociedad de Gödel Kurt . la filosofía y la historia de las matemáticas. dijo: "Las religiones son. Estudió y admiró las obras de Gottfried Leibniz . Gödel describió su religión como "Lutheran bautizados (pero no miembro de alguna congregación religiosa). Gödel sufrió períodos de inestabilidad mental y la enfermedad. [ 21 ] En una respuesta sin enviar a un cuestionario. pero llegó a creer que una conspiración hostil había causado algunas de las obras de Leibniz que ser suprimidas. Lápida de Kurt Gödel y Adele en Princeton. que se diferenciaba de las opiniones religiosas de su amigo Albert Einstein . Esto ahora se conoce como la prueba ontológica de Gödel . pero la religión no es". [ cita requerida ] En vida posterior. Tenía un miedo obsesivo a ser envenenado . [ cita requerida ] Durante sus muchos años en el Instituto. Sus soluciones se conocen como la métrica de Gödel (una solución exacta de la ecuación de campo de Einstein )." "Si el mundo está construido de manera racional y tiene sentido. el mal. es idea coherente [o resultante] de la religión y de mente abierta" . Por supuesto. por el razonamiento puro" es que "es totalmente coherente con los hechos conocidos. en su mayor parte. [ 20 ] Él sostuvo la idea de que Dios era personal. Adele.

Prensa. Kurt Godel. Resumen a (1931). [ 26 ] En las Propuestas formalmente indecidibles de los Principia Mathematica y sistemas relacionados . Princeton University Press. 1930.org/wiki/Kurt_G%C3%B6del#Religious_views 7/11 . 1931. tr. "Mi punto de vista filosófico" http://en. tr. Un Libro de la Fuente en la lógica matemática. Martin Hirzel Jean van Heijenoort . Meltzer. Sobre formalmente indecidibles proposiciones de Principia Mathematica y sistemas relacionados . "Lo que es un problema continuo de Cantor?" The American Mathematical Monthly 54 : 515-25. 595-96. 1947. 1992. Dover reimpresión de la 1962 Basic Books edición. B.. "Algunos resultados metamathematical sobre la integridad y la coherencia". Versión revisada de Paul Benacerraf y Hilary Putnam . La consistencia del axioma de elección y de la hipótesis del continuo generalizada con los axiomas de la teoría de conjuntos. Filosofía de la Matemática: Lecturas seleccionadas . 1930. 1931a.Wikipedia. eds. "Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados. que puede incluir el cerebro humano. 1932. y los dos últimos incluyen la correspondencia. junto con los del artista MC Escher y el compositor Johann Sebastian Bach . Cambridge Univ. 1931. y el tercero incluye manuscritos inéditos de Gödel Nachlass .14/1/2014 Kurt Gödel . ". " Monatshefte für Mathematik und Physik 38 : 173-98. Una biografía de Gödel fue publicada por John Dawson en 2005. con una amplia introducción por Richard Braithwaite . la enciclopedia libre Cinco volúmenes de las obras completas de Gödel se han publicado. 1 : 175-81 En la traducción al Inglés: Kurt Godel. Prensa: 470-85. Harvard Univ. 1967. Importantes publicaciones En alemán: 1930. Escher. 582-91. [ 25 ] Douglas Hofstadter escribió un libro popular en 1979 llamado Gödel. Bach para celebrar el trabajo y las ideas de Gödel.wikipedia." Monatshefte für Mathematik und Physik 37 : 349-60. El libro explora en parte las consecuencias de el hecho de que el teorema de incompletitud de Gödel se puede aplicar a cualquier Turing-completo sistema computacional. Gödel fue también uno de los cuatro matemáticos examinados en el 2008 BBC documental titulado "Conocimiento Peligroso". "Die Vollständigkeit der Axiome des logischen Funktionenkalküls. I. Rotativas Universes in Teoría General de la Relatividad" Actas del Congreso Internacional de Matemáticos en Cambridge. "La integridad de los axiomas del cálculo funcional de la lógica". "596-616. 1984 (1964). 1879-1931 . Las dos primeras incluyen publicaciones de Gödel. 616-17. "En la exhaustividad y la coherencia". 1950. Anzeiger Akademie der Wien Wissenschaften 69 : 65-66. En Inglés: 1940. 2000. "Zum intuitionistischen Aussagenkalkül". "Über formal de unentscheidbare Sätze der Principia Mathematica und Systeme verwandter.

Weismantel.1050. pero fue escrito antes de que el redescubrimiento del http://en. 147. ^ Gleick. p. c. que cita a Rudolf Gödel. pp 3-4 3. ^ un b Por ejemplo. ^ Dawson 1997. pp 110-112 12.nyu. p. ^ Dawson 1997. Depauli. ISBN 0-7382-0518-4 . 1961. Véase también Máquina de Gödel Premio Gödel Argumento Slingshot Teorema de aceleración de Gödel La prueba original del teorema de completitud de Gödel Lista de científicos austriacos Notas 1. Fourth Estate.org/10. p181 Londres. 12 5. ^ Casti. (1911).1287/moor. Mass. en su Principia Mathematica (http://plato.archive.1050. ^ Dawson 1997.1287%2Fmoor. p. Obras completas : Oxford University Press: Nueva York. p. Volumen II: Publicaciones 1938-1974 ISBN 978-0-19-503972-6 / Paperback: ISBN 978-0-19514721-6 . pp 30-34.nyu.org/wiki/Kurt_G%C3%B6del#Religious_views 8/11 . PR "La leyenda de von Neumann".0169) .Wikipedia. N º 4. De p. 1960.14/1/2014 Kurt Gödel . 2. A-G ISBN 978-0-19-850073-5 . (Abril de 1973). 7. son de la Rudolf Gödel cotización. 33. pp 179-180. Encyclopædia Britannica (11 ª ed. "El desarrollo moderno de los fundamentos de las matemáticas. una inundación .doi. 11. 14. The American Mathematical Monthly. ^ Procházka 2008. La cuenta de Dawson es la más cuidadosa investigación.edu/entries/principia-mathematica/) (Stanford Encyclopedia of Philosophy edición).518 13.: Basic Books). H-Z ISBN 978-0-19-850075-9 . 24. ^ Encyclopædia Britannica. Volumen IV: Correspondencia. Werner. la enciclopedia libre (http://web.edu/kandathi/goedel_viewpoint. ^ Dawson 1997. ^ Dawson 1997.stanford.archive. Matemáticas de Investigación de Operaciones 31 (Cambridge. 6.. una teoría. 80. doi : 10. ed. (2011) La Información: Una historia. Editor en jefe: Salomón Feferman . a la luz de la filosofía" (http://web. Volumen V: Correspondencia. J.). John L. y el juicio que el asesinato Schlick fue su gatillo. Robert (2001).wikipedia. Cambridge University Press 4. 9. pp 382-394 10. Volumen III: ensayos no publicados y Conferencias ISBN 978-0-19-507255-6 / Paperback: ISBN 978-0-19-514722-3 .html) . inédito. "Gödel: una vida de la lógica". Koppe. ^ Goldstein (2005). ^ Halmos.org/web/20120214115454/http://cs. 80. el hermano de Kurt y un médico. 15. vol. Volumen I: Publicaciones 1929-1936 ISBN 978-0-19-503964-1 / Rústica: ISBN 978-0-19514720-9 .edu/kandathi/goedel_fom. p.html) . inédito. p. Matías. 8. Rudolf sabía Kurt bien en esos años. ^ Enciclopedia de Hutchinson (1988). La historia de la audiencia de la ciudadanía de Gödel se repite en muchas versiones. Las palabras "una severa crisis nerviosa". " Brünn "..org/web/20120214115454/http://cs. ^ Dawson 1997.0169 (http://dx.

Wang 1987 lee "Bautistas Luteranas". 19. 112. "Teísta" está en cursiva. ^ John W.com/wp-content/uploads/2010/10/Morgenstern_onGoedelcitizenship. Rebecca Goldstein . "Un viaje Lógico: Desde Gödel a la Filosofía". 316 ^ Wang 1996 p. ^ Oskar Morgenstern (13 de septiembre 1971).2454513) . También se citó directamente en Dawson 1997. debido a sus numerosas preguntas. ^ Tucker McElroy (2005).pdf) Referencias Dawson.com/nature/journal/v435/n7038/full/435019a.com/people/h/hirzel/papers/canon00-goedel. 23. Consultado el 10 pm EST 13 de marzo 2008. Ltd. WW Norton & Company. 148 ^ "El conocimiento Dangerous" (http://www. ISBN 978-1-85959-069-0 . John W. rumores o especulaciones. dilemas lógicos: Vida y obra de Kurt Gödel ..nature. "Historia de la naturalización de Kurt Gödel" (http://robert. 22.org/w/index.tagesspiegel. Jr.14/1/2014 15. dilemas lógicos: Vida y obra de Kurt Gödel. 166. Naturaleza .shtml) . La mayoría de las otras cuentas parecen estar basadas en Dawson.wikipedia. ISBN 9780816053384 ..google.. ^ La respuesta de Gödel a un cuestionario especial le envió por el sociólogo Burke Grandjean. p. (http://books. Dawson. Que en Wang 1996 se expande a "congregación religiosa". 6. " ^ Hao Wang. 21. Esta respuesta es citado directamente en Wang 1987. Es posible que este italicization es Wang y no de Gödel. Cambridge. John W. Gödel: A Life of Logic . y fue llamado" el señor Por qué "por su familia. ^ Das Genie y der Wahnsinn (http://www. Trastorno Obsesivo Compulsivo: estrategias de probada eficacia-prácticas para superar el TOC . Martin (4 de mayo de 2005). vol. e indirectamente en Wang 1996. Scientific American . incompletitud: la prueba y la paradoja de Kurt Gödel . 1911 Encyclopædia Britannica / Brünn (http://en.uk/bbcfour/documentaries/features/dangerousknowledge. 1996. Gödel lo llenó con lápiz y escribió una carta de presentación. Infobase Publishing.org/wiki/Kurt_G%C3%B6del#Religious_views 9/11 . donde Wang 1996 tiene "Lutheran bautizados". Gödel . 6. BBC. 2005. la biblioteca libre.. AK Peters.co.". Obtenido 06 de octubre 2009 . P. Publishing clase. ISBN 0-393-32760-4 pbk. Casti y Werner DEPAULI. Der Tagesspiegel . y seguido siendo un teísta (un creyente en un Dios personal) a lo largo de su vida.pdf) (PDF) .art304. ^ Wang 1996 p. ^ Davis. 1999. tanto en Wang 1987 y Wang 1996. Basic Books (Perseus Books Group). 2000. 26. Olga Coschug Toates (2002).html) . John W. MA ISBN 0-7382-0518-4 . Wang 1987 tiene "rel. 221.research.accettura. Consultado el 20 de junio 2012 .php? title=1911_Encyclop%C3%A6dia_Britannica/Br%C3%BCnn&oldid=447734) . Nueva York. El cuestionario Grandjean es quizás el elemento autobiográfico más extendida en los documentos de Gödel. 25. 1997. 18. p. (2007. que cita a Wang 1987.ibm.Wikipedia. "Gödel y los límites de la lógica". Cong. pero nunca devolvió. Dawson.de/magazin/wissen/Albert-Einstein-KurtGoedel. 16. Wellesley MA: AK Peters. pp 76-81 http://en. Frederick. p. 2005. 19 de septiembre). En Wikisource. 280 num. Él fue bautizado como luterano. pp 104-105. 17. la enciclopedia libre La cuenta de Dawson es la más cuidadosaKurt investigación.wikisource. A a la Z de Matemáticos . Para leer más John L. La cita sigue Wang 1987. 11 de junio 2008 . p. pero fue escrito antes de que el redescubrimiento del relato escrito de Morgenstern.bbc. 20. Ltd. ^ Toates. Jr .com/books? id=gA8SucCU1AYC&pg=PA166&dq=godel+leibniz&lr=) AK Peters. con dos correcciones tomadas de Wang 1996. "universo de Gödel" (http://www. Jr. 24. 13 de enero de 2008 (en alemán). ^ Kurt Gödel (1931) Sobre las proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados I (http://www. 118.. Dawson. dilemas lógicos: La vida y la obra de Kurt Gödel . 18. p. 1996. "Gödel tuvo una infancia feliz.

(junio de 2006) Los avisos de la AMS.14/1/2014 Kurt Gödel . En Germ. Wien. Volumen II. Crítica Reserva por John Stachel en las Circulares de la Sociedad Matemática Americana ( 54 (7). Kurt (1906-1978) (http://scienceworld.math. . Invierno 1988. Teorema de Gödel: Una Guía incompleto para su uso y abuso . La búsqueda de las raíces matemáticas 1870-1940 . Palle. Olga Taussky-Todd . Palle. Princeton Univ. Volumen 53. Prensa. ARTÍCULO. 2009. Stephen Kleene. Yourgrau. Reflexiones sobre Kurt Gödel.html) de ScienceWorld . Lógica Matemática . Raymond Smullyan . Jiří. Vintage. 2010 Kurt Gödel: 1906-1978: Genealogie . Gödel. Procházka.newyorker. ISBN 978-80-903476-2-5 . 1970. Volumen I. Sobre Gödel . Stephen Kleene .. Clarendon Press.org/notices/200604/200604-toc. Dover en rústica ca reimpresión. "Kurt Gödel: 1906-1978: Historie". Brno 2008. pp 861868): Enlaces externos Kurt Gödel (http://genealogy. Hao Wang . Brno. Engl. 1980. 2006. Incompletitud teoremas de Gödel .stanford. Princeton 2010. Oxford. . Escher. abril de 2006. 2012. Hao Wang. Yourgrau." (http://plato..edu/entries/goedel) En Stanford Encyclopedia of Philosophy. Princeton 2008. 2000. .edu/605/02/Todd.php?id=19539) en la Genealogía Proyecto Matemáticas Weisstein. Brno. Recuerdos de Kurt Gödel (http://calteches. 2001. ISBN 978-80-903476-5-6 . MIT Press..ams. En Alemania. ISBN 80-903476-9-X . 1967. ISBN 80-902297-9-4 . La libertad de la voluntad . Brno.. Ingeniería y Ciencias.nodak.org/wiki/Kurt_G%C3%B6del#Religious_views 10/11 .org/issue39/features/dawson/) de John W Dawson Jr. Volumen I. Ivor Grattan-Guinness . Holanda Septentrional ISBN 0-7204-2103-9 (libro en rústica Ishi Press. Prueba de Gödel. Ernest Nagel y Newman. Brno 2006. Gödel.caltech. ISBN 80-903476-4-9 . Un mundo sin tiempo: El Legado Olvidado de Gödel y Einstein. New York Univ. Eric W. Juliette.html) Kurt Gödel Centenario Issue Paul Davies y Freeman Dyson discuten Kurt Godel http://en.Wikipedia. Wadsworth. Inc. "Kurt Gödel. Engl. 2000.library. MIT Press. Los héroes del tiempo (http://www. En Germ. 1999 Gödel Meets Einstein:. 1983. Volumen III.wikipedia.ndsu. MA: AK Peters. 2004. Número 4 (http://www. 1996 Un viaje Lógico: Desde Godel a la Filosofía . Volumen V. ARTÍCULO. Brno. Engl. Prensa. Douglas Hofstadter . Bach . Tiempo de viaje en el universo de Gödel Chicago: Open Court. 1980. Wellesley.edu/id.pdf) . de Princeton. Procházka. 2008.maths. Ed Regis .. Kennedy. 1987. . En Germ. Introducción a Metamathematics . En Alemania. James R.. 2006. Oficina Who Got Einstein? Addison-Wesley Publishing Company. Volumen IV. En Germ. Engl. Jiří. ISBN 80-903476-0-6 . 2005.wolfram. Oxford University Press. 1987. Engl. 1958. Brno 2006. la enciclopedia libre Torkel Franzen . Jaakko Hintikka . 1992. 2008.. Basic Books.com/archive/2005/02/28/050228crat_atlarge) : un artículo sobre la relación entre Gödel y Einstein por Jim Holt "Gödel y los límites de la lógica" (http://plus.com/biography/Goedel. ISBN 978-0-923891-57-2 ) JR Lucas . Engl.

Al utilizar este sitio.ac. usted acepta los Términos de Uso y Política de Privacidad. (http://simplycharly.978 muertes Filósofos del siglo 20 Matemáticos del siglo 20 Lógicos americanos Matemáticos norteamericanos Pueblo estadounidense de ascendencia austríaca Filósofos americanos Emigrantes austriacos a los Estados Unidos Lógicos austriacos Matemáticos austríacos Pueblo austríaco de ascendencia alemana-Moravia Filósofos austríacos Los entierros en el cementerio de Princeton Las muertes por inanición Los deístas Los miembros extranjeros de la Real Sociedad Instituto de Estudios Avanzados de la facultad Medalla Nacional de Ciencia laureados Ontologists La gente de Brno Platónicos Profesores de la Universidad de Princeton Establecer los teóricos Universidad de ex alumnos de Viena Círculo de Viena Esta página fue modificada por última vez el 14 de enero de 2014 a 17:07.906 nacimientos 1.htm) Kurt Gödel (http://www. Robertson.org/w/index.html) . una organización sin fines de lucro.standrews.htm) Gödel foto g. de la Universidad de St Andrews .wikipedia.14/1/2014 Kurt Gödel .nasonline. . "Kurt Gödel" (http://www-history.findagrave. Edmund F.ac.org/3rd_culture/goldstein05/goldstein05_index. la enciclopedia libre (http://www.net. cláusulas adicionales pueden aplicar.abc.univie. http://en.org/wiki/Kurt_G%C3%B6del#Religious_views 11/11 .cgi?page=gr&GRid=25996503) en Encuentre un sepulcro Academia Nacional de Ciencias Biographical Memoir (http://www.pdf) O'Connor.htm) "Gödel y la Naturaleza de Matemática Verdad" (http://www. No es todo en los números: Gregory Chaitin Explica matemáticos Complejidades de Gödel. .com/godel/gregory_chaitin_interview.html) Edge: Una charla con Rebecca Goldstein sobre Kurt Gödel. .au/rn/scienceshow/stories/2006/1807626. Wikipedia ® es una marca registrada de la Fundación Wikimedia.Wikipedia. (http://www.wikipedia.uk/Biographies/Godel. MacTutor Historia del archivo de las matemáticas .com/cgi-bin/fg. Inc. El texto está disponible bajo la Licencia Creative Commons Reconocimiento-Compartir bajo la misma .php?title=Kurt_Gödel&oldid=590688663 " Categorías : 1. John J.at/bvi/photo-gallery/photo_gallery.org/publications/biographicalmemoirs/memoir-pdfs/gdel-kurt.mcs.edge. Obtenido de " http://en.