Georg Kreisel

Georg Kreisel
Georg Kreisel
Naissance 15 septembre 1923
Graz (Autriche)
Nationalité Drapeau de Grande-Bretagne Britannique
Champs Logique
Institution Université Stanford
Université de Paris
Diplômé de Université de Cambridge
Renommé pour Travaux sur la Théorie de la démonstration

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.

Biographie

Kreisel vient d'une famille 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ç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 fut é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. a et b (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), pp. 127–131.
  4. (en) 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
  • (en) Kreiseliana: About and Around George Kreisel, Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Georg Kreisel de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Georg Kreisel — (born September 15, 1923 in Graz) is an Austrian born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied at… …   Wikipedia

  • Georg Kreisel — (* 15. September 1923 in Graz) ist ein englisch US amerikanischer Logiker und Mathematiker. Er wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern… …   Deutsch Wikipedia

  • Kreisel (Begriffsklärung) — Kreisel steht für Kreisel, Rotationskörper Kreisverkehr, Verkehrsknotenpunkt Belgischer Kreisel, Radsportbegriff Schalker Kreisel, Spielform im Fußball Steglitzer Kreisel, Gebäude in Berlin Gleichgewichtskreisel, ein physiotherapeutisches Gerät… …   Deutsch Wikipedia

  • Kreisel — Kreisverkehrsplatz; Kreisverkehr * * * Krei|sel 〈m. 5〉 1. beliebiger starrer, in einem Punkt festgehaltener, rotierender Körper 2. 〈i. e. S.〉 gleichmäßig um eine Achse gebauter u. um diese drehbarer Körper (als technische Vorrichtung od. als… …   Universal-Lexikon

  • St. Georg (Böhen) — St. Georg in Böhen Die Pfarrkirche St. Georg ist eine römisch katholische Kirche in Böhen, im Landkreis Unterallgäu in Bayern. Die Pfarrkirche steht unter Denkmalschutz.[1] Inhaltsverzeichnis …   Deutsch Wikipedia

  • Κράισελ, Γκέοργκ — (Georg Kreisel, Γκρατς 1923 –). Αυστριακός μαθηματικός. Αποφοίτησε το 1944 από το Trinity College του Κέιμπριτζ, όπου σπούδασε μαθηματικά με καθηγητή τον Βιτγκενστάιν. Μετά από διετή θητεία στο ναυτικό επέστρεψε στο Κέιμπριτζ όπου επιδόθηκε σε… …   Dictionary of Greek

  • Liste der Biografien/Kre — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • Hoering — Walter Hoering (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die… …   Deutsch Wikipedia

  • Unsolved problems in computer science — This article is a list of open problems in computer science.A solution to the problems in this list will have a major impact on the field of study to which they belong. =P = NP?= ;Field : Theory of computation;Source : S. A. Cook and Leonid Levin …   Wikipedia

  • Walter Hoering — (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die Wissenschaftstheorie.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”