Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Georg Kreisel

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

15 Sept 1923

Graz, Austria

Presentación
ATENCIÓN - traducción automática de la versión inglesa

Georg Kreisel judíos vinieron de un fondo a fin de crecer en Graz, en la década de 1930 era muy difícil. Kreisel padres se acercan y los problemas políticos, antes de que Hitler se hizo cargo de Austria, Georg y que envió a su hermano a Inglaterra. Kreisel estudió matemáticas en el Trinity College de Cambridge se graduó con un BA en 1944. Durante sus estudios Kreisel año fue influenciado por Wittgenstein, que fue también en Trinidad. Wittgenstein dijo que Kreisel fue:

... los más capaces filósofo había conocido que era también un matemático.

Kreisel fue enviado a hacer la guerra con el Servicio Marítimo de inmediato sus cursos universitarios y más de él comenzó a trabajar en West Leigh, cerca de Havant y cerca de la base naval de Portsmouth. El jefe de West Leigh en aquel momento era Collingwood. Después de un tiempo, se trasladó a Kreisel Fanum Casa en el centro de Londres, donde estudió los efectos de las olas en los puertos que se están diseñados para el desembarco de Normandía.

Kreisel En 1946 regresó a Cambridge para llevar a cabo la investigación, el estudio de la lógica matemática. Después de la concesión de su doctorado Kreisel espera de una beca en el Trinity pero esto no era inminente. Solicitó para los puestos académicos y fue nombrado a la Lectura en 1949. Freeman Dyson es un pregrado en Cambridge en el mismo año que Kreisel y por la década de 1950 estuvo en el Instituto de Estudios Avanzados. Persuadió Godel invitar a Kreisel al Instituto de Estudios Avanzados y Kreisel llegó en el verano de 1955. Verena Huber-Dyson escribe en:

Aunque no vienen con la intención explícita de permanencia, y la posibilidad de regresar a Europa se abre a él, Kreisel no tienen fuertes lazos con su posición en la lectura, un lugar enigmático para el domicilio de una persona de sus cualidades peculiares.

Kreisel regresó a la Lectura en 1957, pero mantiene una importante correspondencia con matemáticamente Godel. Kreisel en 1958-59 fue de nuevo en los Estados Unidos, esta vez en Stanford. Después de regresar a la lectura de su último año en el personal existe en 1959-60 pasó los dos años 1960-62 en París.

Kreisel En 1962 regresó a los Estados Unidos y fue nombrado a Stanford, donde permaneció en el personal hasta su jubilación en 1985.

S Feferman en Kreisel escribe sobre las contribuciones:

A través de sus propias contribuciones (individuales y de colaboración) y su extraordinaria influencia personal, Georg Kreisel hizo quizá más que nadie para fomentar el desarrollo de la prueba de la teoría y la metamathematics de constructivity en los últimos cuarenta años.

Un aspecto importante que Kreisel trabajado en más de un período de 30 años fue su "anulación". En 1958 en un documento de importancia de la coherencia matemática prueba en 1958 Kreisel escribió:

Hay un programa general que no parece sufrir los defectos de [ Hilbert 's] la coherencia del programa: Para determinar la constructiva (recursivo) o el contenido constructiva equivalente de la falta de conceptos y teoremas constructivo utilizado en las matemáticas, en particular en la aritmética y el análisis.

Este "programa general diferentes" que más tarde dio el más colorido nombre de "programa de relajación". Como Feferman escribe:

Su objetivo era claro sustituto resultados matemáticos de lo que se dice que vaga, fuera de lugar, crudo objetivos fundacionales. Pero, como con su trabajo en constructivity, Kreisel también trató de sustituir a los más sofisticados de una postura acerca de las fundaciones.

Kreisel fue elegido miembro de la Royal Society de Londres en 1966.

Source:School of Mathematics and Statistics University of St Andrews, Scotland