Georg Kreisel

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 Estados Unidos .

Kreisel nació en Graz y era de origen 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 se doctoró, aunque mucho más tarde, en 1962, recibió el título de Cambridge de Sc.D. , 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 en la Universidad de París de 1960 a 1962. Kreisel fue nombrado profesor de la Universidad de Stanford en 1962 y permaneció en la facultad allí hasta que se jubiló en 1985. ^{[3] [4]}

Kreisel trabajó en varias áreas de la lógica, ^[5] y especialmente en la teoría de pruebas , donde es conocido por su llamado programa " unwinding ", 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 Marina Real durante la Segunda Guerra Mundial. ^[9]

Mientras estudiaba en Cambridge, Kreisel fue el alumno 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 había conocido y que también era matemático". ^[10]

Kreisel también era amiga íntima de la filósofa y novelista angloirlandesa Iris Murdoch . Se conocieron en Cambridge en 1947 durante el año de estudio 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, registró de diversas maneras la brillantez, el ingenio y la pura y 'chiflada' extrañeza solipsista de Kreisel, su amoralismo, crueldad, vanidad ambigua y obscenidad". Murdoch dedicó su novela de 1971 Un hombre accidental a Kreisel y 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, solía tomar el tren a Londres. Había un tren especialmente rápido que funcionaba en el horario justo para los espectáculos en Londres, y él iba a la estación a esa hora. Un día consultó el horario y el tren estaba cancelado. Pero por costumbre, un día se presentó en la estación a la hora habitual y el tren ya estaba allí. Parece que iba de Bristol a Londres, con parada en Reading sólo para comprar agua. De todos modos, subió al tren y desde entonces lo tomó con regularidad. Un día, el conductor lo abordó después de subir. "El tren no para aquí, señor", respondió. "En ese caso, no subí aquí". ^[15]

• Lógica de Kreisel-Putnam

• Piergiorgio Odifreddi (ed.), Kreiseliana: Acerca de George Kreisel y sus alrededores , Wellesley, Massachusetts: AK Peters, 1996. ISBN 1-56881-061-X . 
• Kreisel, cálculo lambda, un molino de viento y un castillo Contiene recuerdos personales sobre Kreisel de su alumno Henk Barendregt .
• Georg Kreisel en el Proyecto de Genealogía Matemática