Georg Kreisel FRS (15 de septiembre de 1923 - 1 de marzo de 2015) [1] fue un lógico matemático nacido en Austria que estudió y trabajó en el Reino Unido y América .
Kreisel nació en Graz y provenía de un entorno judío ; su familia lo envió al Reino Unido antes del Anschluss en 1938. Estudió matemáticas en el Trinity College de Cambridge y luego, durante la Segunda Guerra Mundial , trabajó en temas militares . Kreisel nunca obtuvo un doctorado, aunque mucho más tarde, en 1962, obtuvo el título de Doctor en Ciencias de Cambridge. , un "doctorado superior" otorgado sobre la base de investigaciones publicadas. [2]
Enseñó en la Universidad de Reading desde 1949 hasta 1954 y luego trabajó en el Instituto de Estudios Avanzados de 1955 a 1957. Regresó a Reading en 1957, pero luego enseñó en la Universidad de Stanford de 1958 a 1959. Luego regresó a Reading durante el año 1959-1960, y luego a la Universidad de París 1960-1962. Kreisel fue nombrado profesor en la Universidad de Stanford en 1962 y permaneció en la facultad hasta su jubilación en 1985. [3] [4]
Kreisel trabajó en diversas áreas de la lógica, [5] y especialmente en la teoría de la prueba , donde es conocido por su programa llamado " desenrollador ", cuyo objetivo era extraer contenido constructivo de pruebas superficialmente no constructivas . [6]
Kreisel fue elegido miembro de la Royal Society en 1966; [4] Kreisel siguió siendo un amigo cercano de Francis Crick [7] [8] a quien había conocido en la Royal Navy durante la Segunda Guerra Mundial. [9]
Mientras estudiaba en Cambridge, Kreisel fue el estudiante más respetado por Ludwig Wittgenstein . Ray Monk escribe: "En 1944, cuando Kreisel tenía sólo veintiún años, Wittgenstein sorprendió a Rush Rhees al declarar que Kreisel era el filósofo más capaz que jamás había conocido y que también era matemático". [10]
Kreisel también era un amigo cercano de la filósofa y novelista angloirlandesa Iris Murdoch . Se conocieron en Cambridge en 1947 durante el año de estudios de Murdoch allí. Peter Conradi informa que Murdoch transcribió las cartas de Kreisel en sus diarios durante los siguientes cincuenta años. Según Conradi, "durante medio siglo, sin embargo, registra de diversas formas la brillantez, el ingenio y la pura extrañeza solipsista 'chiflada' de Kreisel, su amoralismo, crueldad, vanidad ambigua y obscenidad". Murdoch dedicó su novela de 1971 Un hombre accidental a Kreisel y él se convirtió en un modelo (parcial) para varios personajes de otras novelas, incluido Marcus Vallar en El mensaje al planeta y Guy Openshaw en Monjas y soldados .* [11]
Después de jubilarse, Kreisel vivió en Salzburgo , Austria. Escribió varias biografías de matemáticos, entre ellos Kurt Gödel , [12] Bertrand Russell [13] y Luitzen Egbertus Jan Brouwer . [14] Murió en Salzburgo, a los 91 años.
Cuando Kreisel enseñaba en la Universidad de Reading, con frecuencia tomaba el tren a Londres. Había un tren especialmente rápido que estaba programado para los espectáculos en Londres, y él iría a la estación a esa hora. Un día revisó el horario y ese tren fue cancelado. Pero por costumbre un día se presentó en la estación a la hora habitual y el tren estaba allí. Parece que iba de Bristol a Londres, parando en Reading sólo para conseguir agua. Se subió al tren de todos modos y desde entonces tomó ese tren con regularidad. Un día, después de subir, el revisor lo abordó. "¡El tren no para aquí señor!" "En ese caso no llegué aquí." [15]