Georg Kreisel (né le à Graz et mort le à Salzbourg) 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 , Beyond 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. ..
Travaux Kreisel travaille dans plusieurs domaines de la logique Review of Piergiorgio Odifreddi, editor, Kreiseliana: About and Around Georg Kreisel, by Luis Carlos Pereira, Review of Modern Logic 8, #3–4 (2000), . et en particulier dans la théorie de la démonstration où il est connu pour avoir tenté d'extraire du contenu constructiviste de preuves en apparence non constructives Kreisel's "unwinding" program, Solomon Feferman, , in Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, éd., Wellesley, Massachusetts: A. K. Peters, 1996. .
Kreisel est élu à la Royal Society en 1966. Ami de François Le Lionnais, il est invité d'honneur de l'Oulipo en 1984.
Notes et références
Réflexions théoriques En appendices de Éléments de logique mathématique (théorie des modèles) écrit par Jean-Louis Krivine, Dunod, Paris, 1966Ouvrage téléchargeable sur la page professionnelle de Jean-Louis Krivine : La méthode axiomatique, Appendice I pages 149-154 et Fondements des mathématiques, Appendice II pages 155-212
Bibliographie .
Liens externes
Références
Catégorie:Mathématicien autrichien du XXe siècle Catégorie:Mathématicien britannique du XXe siècle Catégorie:Mathématicien américain du XXe siècle Catégorie:Étudiant de Trinity College (Cambridge) Catégorie:Étudiant de l'université de Cambridge Catégorie:Professeur à l'université de Paris Catégorie:Professeur à l'université de Reading Catégorie:Professeur à l'université Stanford Catégorie:Membre de la Royal Society Catégorie:Naissance à Graz Catégorie:Naissance en septembre 1923 Catégorie:Décès à Salzbourg Catégorie:Décès en mars 2015 Catégorie:Décès à 91 ans Catégorie:Logicien autrichien Catégorie:Logicien britannique