Diferencia entre revisiones de «Kurt Gödel»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 54:
En su ensayo de dos páginas ''Zum intuitionistischen Aussagenkalkül'' (1932) Gödel refutó la “valuabilidad” finita de la [[lógica intuicionista]]. En la demostración empleó implícitamente lo que después se conoció como la [[lógica intermedia|lógica intermedia de Gödel–Dummett]] (o [[t-norm fuzzy logic|''Gödel fuzzy logic'']]).
Gödel recibió su [[habilitación]] en la Universidad de Viena en 1932, y en 1933 se convirtió en ''[[Privatdozent]]'' (permiso para enseñar y examinar de forma independiente en la universidad). La ascensión de Hitler en Alemania en 1933 afectó poco a Gödel en Viena, ya que tenía poco interés en la política. Sin embargo, en 1936 se vio muy afectado por el asesinato de [[Moritz Schlick]] (cuyo seminario había despertado su interés por la lógica) a manos del estudiante Hans Nelböck, quien declaró que mató a Schlick «por difundir ideas antimetafísicas que minan la moral y la cohesión de la vida».<ref name="schlick">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 </ref> Este incidente le provocó un colapso nervioso y su primera crisis de [[Trastorno delirante|paranoia]]. Dos años después, tras el [[Anschluss]], el asesino fue liberado y se declaró [[nazi]].<ref name="schlick"/>
=== Visitas a los Estados Unidos ===
| |||