Georg Kreisel

Georg Kreisel (né le 15 septembre 1923 à Graz et mort le 1^er mars 2015 à Salzbourg) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.

Georg Kreisel

Biographie

Naissance	15 septembre 1923 Graz
Décès	1er mars 2015 (à 91 ans) Salzbourg
Sépulture	Cimetière communal de Salzbourg (d)
Nationalité	Britannique
Formation	Trinity College (1941-1944) Université de Cambridge (1946-1949)
Activités	Mathématicien, philosophe, professeur d'université

Autres informations

A travaillé pour	Université Stanford (1962-1985) Université de Paris (1960-1962) Université de Reading (1959-1960) Université Stanford (1958-1959) Université de Reading (1957-1958) Institute for Advanced Study (1955-1957) Université de Reading (1949-1955) Admiralty Research Laboratory (en) (1944-1946)
Membre de	Royal Society
Archives conservées par	Université de Constance Online Archive of California (d) (SC0136)

modifier - modifier le code - modifier Wikidata

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. (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, 1996, 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
  • Treccani

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).

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