Georg Kreisel

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

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

Sommaire

[modifier] Biographie

Kreisel vient d'une femille juive ; sa famille l'a 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çu 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 conséquent, il enseigna l'Université Stanford et à l'Université de Paris. Devenu professeur à l'Université Stanford en 1962, il y resta jusqu'a sa retraite en 1985.[1][2]

[modifier] Travaux

Kreisel a travaillé dans plusieurs champs 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-constructiviste.[4]

Kreisel fut élu à la Royal Society en 1966.[2]

[modifier] Références

  1. ↑ 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  b  O'Connor, John J; Edmund F. Robertson "Georg Kreisel". MacTutor History of Mathematics archive.
  3. ↑ Review of Piergiorgio Odifreddi, editor, Kreiseliana: About and Around Georg Kreisel, by Luis Carlos Pereira, Review of Modern Logic 8, #3–4 (2000), pp. 127–131.
  4. ↑ Kreisel's "unwinding" program, Solomon Feferman, pp. 247–273, in Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.

[modifier] Référence

  • Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.
Autres langues