Georg Kreisel
Georg Kreisel · Ciencia y medicina
Georg Kreisel fue un lógico matemático conocido por su trabajo en teoría de la demostración, teoría de la recursión y la «extracción» de contenido explícito de las pruebas, así como por su «interpretación sin contraejemplo».
1923, Graz, Austria — 2015, Salzburg, Austria
Reino Unido · Stanford, California
Georg Kreisel fue un lógico matemático conocido por su trabajo en teoría de la demostración, teoría de la recursión y la «extracción» de contenido explícito de las pruebas, así como por su «interpretación sin contraejemplo». Trabajó en Reading, el Institute for Advanced Study y Stanford, y fue elegido miembro de la Royal Society. Provenía de una familia judía de Graz y fue enviado a Gran Bretaña antes del Anschluss de 1938.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Mathematics
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Georg Kreisel fue un lógico matemático conocido por su trabajo en teoría de la demostración, teoría de la recursión y la «extracción» de contenido explícito de las pruebas, así como por su «interpretación sin contraejemplo».
Fuente: Jinfo.org — Jews in Mathematics
Contribuidores similares
Solomon Feferman
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
