Biographie Naissance Décès Sépulture
Cimetière communal de Salzbourg (d Nationalité Formation Activités
Autres informations A travaillé pour Membre de Archives conservées par
modifier - modifier le code - modifier Wikidata
Georg Kreisel (né le 15 septembre 1923 à Graz et mort le 1er mars 2015Salzbourg ) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis .
Biographie
Kreisel vient d'une famille juive qui l'a envoyé au Royaume-Uni avant l'Anschluss . Il étudie à l'université de Cambridge . De 1943 à 1946, il s'engage dans l'armée dans des problèmes d'ingénierie. Après la guerre, il reçoit son doctorat à l'université de Cambridge. Il enseigne à l'université de Reading jusqu'en 1954 puis travaille à l'Institute for Advanced Study de 1955 à 1957. Par la suite, il enseigne à l'université Stanford et à l'Université de Paris . Devenu professeur à l'université Stanford en 1962 , il y reste jusqu'à sa retraite en 1985 [ 1] , [ 2]
Travaux
Kreisel travaille dans plusieurs domaines de la logique[ 3] théorie de la démonstration où il est connu pour avoir tenté d'extraire du contenu constructiviste de preuves en apparence non constructives[ 4]
Kreisel est élu à la Royal Society en 1966[ 2] François Le Lionnais , il est invité d'honneur de l'Oulipo en 1984.
↑ (en) pp. 265–266Beyond Art: A Third Culture , Peter Weibel, Ludwig Múzeum (Budapest, Hungary), Neue Galerie am Landesmuseum Joanneum, Museum van Hedendaagse Kunst Antwerpen. New York: Springer-Verlag, 2005. (ISBN 3-211-24562-6 .↑ a et b (en) John J. O'Connor et Edmund F. Robertson , « Georg Kreisel MacTutor université de St Andrews ↑ (en) Review of Piergiorgio Odifreddi, editor, Kreiseliana: About and Around Georg Kreisel , by Luis Carlos Pereira, Review of Modern Logic 8 , #3–4 (2000), p. 127–131 .↑ (en) Kreisel's "unwinding" program , Solomon Feferman , p. 247–273 , in Kreiseliana: About and Around George Kreisel , Piergiorgio Odifreddi, éd., Wellesley, Massachusetts: A. K. Peters, 1996. (ISBN 1-56881-061-X
En appendices de Éléments de logique mathématique (théorie des modèles) écrit par Jean-Louis Krivine , Dunod, Paris, 1966[ 1] La méthode axiomatique , Appendice I pages 149-154 etFondements des mathématiques , Appendice II pages 155-212
Bibliographie
(en) Piergiorgio Odifreddi (éd.) , Kreiseliana : About and Around George Kreisel , Wellesley, Massachusetts, A K Peters , 1996 , 520 p. (ISBN 1-56881-061-X
Liens externes
Ressources relatives à la recherche : Notices dans des dictionnaires ou encyclopédies généralistes :
.svg){kind=small}
