Dans le monde de Georg Kreisel, il y a beaucoup de choses que nous pouvons explorer et découvrir. Depuis ses origines jusqu'à son impact sur la société actuelle, Georg Kreisel a été un sujet d'intérêt constant et a suscité la curiosité de nombreuses personnes. Dans cet article, nous plongerons dans le monde fascinant de Georg Kreisel et explorerons ses différentes facettes, de ses aspects historiques à ses implications aujourd'hui. Dans cette optique, nous découvrirons comment Georg Kreisel a évolué au fil du temps et comment il a laissé sa marque sur l'humanité. Préparez-vous pour un voyage de découverte et d'apprentissage de Georg Kreisel. Commençons!
Naissance | |
---|---|
Décès |
(à 91 ans) Salzbourg |
Sépulture |
Cimetière communal de Salzbourg (d) |
Nationalité | |
Formation | |
Activités |
A travaillé pour |
Université Stanford (- Université de Paris (- 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 (d) (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.
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,.
Kreisel travaille dans plusieurs domaines de la logique 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.
Kreisel est élu à la Royal Society en 1966. Ami de François Le Lionnais, il est invité d'honneur de l'Oulipo en 1984.