Georg Kreisel
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.
| Naissance | |
|---|---|
| Décès | |
| SĂ©pulture |
Cimetière communal de Salzbourg (d) |
| Nationalité | |
| Formation | |
| Activités |
.svg.png.webp){kind=small}
| A travaillé pour |
Université Stanford (- Université de Paris (- Université de Reading (- Université Stanford (- Université de Reading (- Institute for Advanced Study (- Université de Reading (- Admiralty Research Laboratory (en) (- |
|---|---|
| Membre de | |
| Archives conservées par |
Université de Constance Online Archive of California (d) (SC0136) |
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] 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 est élu à la Royal Society en 1966[2]. Ami de François Le Lionnais, il est 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, éd., Wellesley, Massachusetts: A. K. Peters, 1996. (ISBN 1-56881-061-X)
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, 1966[1] :
- La méthode axiomatique, Appendice I pages 149-154 et
- Fondements des mathématiques, Appendice II pages 155-212
Bibliographie
- (en) Piergiorgio Odifreddi (Ă©d.), Kreiseliana : About and Around George Kreisel, Wellesley, Massachusetts, A K Peters, (ISBN 1-56881-061-X).
Liens externes
- Ressources relatives Ă la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
Références
- (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).