Georg Kreisel - Georg Kreisel

Georg Kreisel FRS (15 septiembre 1923-1 marzo 2015) fue un austríaco -born lógico matemático que estudió y trabajó en el Reino Unido y América .

Biografía

Kreisel nació en Graz y procedía de origen judío ; su familia lo envió al Reino Unido antes del Anschluss , donde estudió matemáticas en el Trinity College, Cambridge , y luego, durante la Segunda Guerra Mundial , trabajó en temas militares . Kreisel nunca obtuvo un doctorado, aunque en 1962 se le otorgó el título de Cambridge de Sc.D., un "doctorado superior" otorgado sobre la base de una investigación publicada. 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 para 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 que se jubiló en 1985.

Kreisel trabajó en diversas áreas de la lógica, y especialmente en la teoría de la prueba , donde es conocido por su llamada " desenrollar programa", cuyo objetivo era extraer constructiva contenidos de forma superficial no constructivas pruebas .

Kreisel fue elegido miembro de la Royal Society en 1966; Kreisel seguía siendo un amigo cercano de Francis Crick, a quien había conocido en la Royal Navy durante la Segunda Guerra Mundial.

Mientras estudiaba en Cambridge, Kreisel fue el estudiante más respetado por Ludwig Wittgenstein . Ray Monk escribe: "En 1944, cuando Kreisel todavía tenía 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".

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 maneras 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 se convirtió en un modelo (parcial) de varios personajes en otras novelas, incluido Marcus Vallar en El mensaje al planeta y Guy Openshaw en Monjas y soldados . *

Después de jubilarse, Kreisel vivió en Salzburgo , Austria. Escribió varias biografías de matemáticos como Kurt Gödel , Bertrand Russell y Luitzen Egbertus Jan Brouwer . Murió en Salzburgo, a los 91 años.

Anécdotas

Cuando Kreisel enseñaba en la Universidad de Reading , con frecuencia tomaba el tren a Londres. Había un tren particularmente rápido que estaba programado exactamente para los shows en Londres, y él iría a la estación en ese momento. Verificó el horario un día 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, deteniéndose en Reading solo para conseguir agua. Se subió al tren de todos modos, y desde entonces tomó ese tren con regularidad. Un día, el director lo abordó después de subir. "¡El tren no para aquí señor!" "En ese caso no llegué aquí".

Ver también

• Lógica de Kreisel-Putnam

Referencias

enlaces externos

• Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around George Kreisel , 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