Georg Kreisel

Georg Kreisel (né le à Graz et mort le à Salzbourg) était un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.

Georg Kreisel
Naissance
Graz (Autriche)
Décès
Salzbourg (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

Biographie

Kreisel venait d'une famille juive ; sa famille l'avait 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 a été é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
  1. (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).
  2. (en) John J. O'Connor et Edmund F. Robertson, « Georg Kreisel », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
  3. (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.
  4. (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) Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, éd., Wellesley, Massachusetts: A. K. Peters, 1996. (ISBN 1-56881-061-X).

Liens externes

Références
  1. 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
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.