Georg Kreisel
Naissance |
Graz (Autriche) |
---|---|
Nationalité | Britannique |
Domaines | Logique |
---|---|
Institutions |
Université Stanford Université de Paris |
Diplôme | Université de Cambridge |
Renommé pour | Travaux sur la Théorie de la démonstration |
Georg Kreisel (né le 15 septembre 1923 à Graz) 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 ; sa famille l'a envoyé au Royaume-Uni avant l'Anschluss ; il étudia à l'Université de Cambridge. De 1943 à 1946, il s'engagea dans l'armée dans des problèmes d'ingénierie. Après la guerre, il reçut son doctorat à l'Université de Cambridge. Il enseigna à l'Université de Reading jusqu'en 1954 puis travailla à l'Institute for Advanced Study de 1955 à 1957. Par la suite, il enseigna à l'Université Stanford et à l'Université de Paris. Devenu professeur à l'Université Stanford en 1962, il y resta jusqu'à sa retraite en 1985[1],[2].
Travaux
Kreisel a travaillé dans plusieurs domaines de la logique[3] 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[4].
Kreisel fut élu à la Royal Society en 1966[2]. Ami de François Le Lionnais, il a été invité d'honneur de l'Oulipo en 1984.
Notes et références
- (en) pp. 265–266, 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. ISBN 3-211-24562-6.
- (en) John J. O'Connor et Edmund F. Robertson, « Georg Kreisel », sur 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, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X
- (en) Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Georg Kreisel » (voir la liste des auteurs).
Liens externes
- Naissance en septembre 1923
- Naissance à Graz
- Mathématicien autrichien
- Mathématicien britannique
- Mathématicien américain
- Logicien
- Étudiant de Trinity College (Cambridge)
- Étudiant de l'université de Cambridge
- Professeur à l'université de Paris
- Professeur à l'université de Reading
- Professeur à l'université Stanford
- Membre de la Royal Society