Georg Kreisel
Naissance | Graz |
---|---|
Décès | (à 91 ans) Salzbourg |
Sépulture | Cimetière communal de Salzbourg (d) |
Nationalité | Britannique |
Formation | Trinity College (- Université de Cambridge (- |
Activités | Mathématicien, philosophe, professeur d'université |
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 | Royal Society |
Archives conservées par | Université de Constance Online Archive of California (d) (SC0136) |
modifier - modifier le code - modifier Wikidata
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[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).
- ↑ a et b (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, , 520 p. (ISBN 1-56881-061-X).
Liens externes
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Tchéquie
- WorldCat
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Scopus
- Notices dans des dictionnaires ou encyclopédies généralistes :
- Brockhaus
- Deutsche Biographie
- Oxford Dictionary of National Biography
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).
- ↑ Ouvrage téléchargeable sur la page professionnelle de Jean-Louis Krivine
- Portail de la logique
- Portail des États-Unis
- Portail de l'Autriche
- Portail du Royaume-Uni