Georg Kreisel

Georg Kreisel
Biographie
Naissance
Décès
(à 91 ans)
Salzbourg
Sépulture
Cimetière communal de Salzbourg ()
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Université Stanford (-)
Sorbonne (-)
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 () (SC0136)

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

  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. ↑ a et b (en) John J. O'Connor et Edmund F. Robertson, « Georg Kreisel », sur MacTutor, université de St Andrews.
  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) Piergiorgio Odifreddi (éd.), Kreiseliana : About and Around George Kreisel, Wellesley, Massachusetts, A K Peters, , 520 p. (ISBN 1-56881-061-X).

Liens externes

Références

  1. ↑ Ouvrage téléchargeable sur la page professionnelle de Jean-Louis Krivine
Professeur à l'université de Paris (43)
Logicien britannique (35)
Professeur à l'université de Reading (56)
Mathématicien autrichien du XXe siècle (66)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Georg_Kreisel) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Georg Kreisel » :
Jacques Ballieu, Vlaam, Loveless, Synthwave.94, RobokoBot, Cardabela48, Anne Bauval, Authueil, Sebleouf, Bob08, Zetud, KasparBot, Mario93, LouisAlain, VolkovBot, SieBot, Addbot, Epsilon0, ZetudBot, HunsuBot, Pld, Apokrif, Nucleos, JerGer, Ontoraul, Leperebot, Arpyia, Bottine, Curunir, Vincent Aravantinos, AutoritéBot, Foudebassans, CodexBot2, 3 utilisateurs non enregistrés.