Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Georg Kreisel

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

15 Sept 1923

Graz, Austria

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Georg Kreisel provenaient d'un arrière-plan juif de manière de plus en plus place à Graz dans les années 1930 a été très difficile. Kreisel ses parents ont vu l'approche des problèmes politiques et, avant Hitler a repris l'Autriche, ils ont envoyé Georg et son frère en Angleterre. Kreisel a étudié les mathématiques au Trinity College, Cambridge a réussi avec succès un baccalauréat ès arts en 1944. Au cours de ses études Kreisel années a été influencée par Wittgenstein qui était également à Trinité. Wittgenstein a dit que Kreisel était:

... les plus aptes philosophe qu'il avait jamais rencontré qui était également un mathématicien.

Kreisel a été envoyé à faire le service de guerre avec l'Amirauté immédiatement son cours universitaires avaient plus et il a commencé à travailler à West Leigh près de Havant et à proximité de la base navale de Portsmouth. Le chef de l'Ouest Leigh à ce moment-là était Collingwood. Au bout d'un moment, Kreisel a été transféré à Fanum House dans le centre de Londres, où il a étudié les effets des vagues sur les ports qui sont conçus pour le débarquement de Normandie.

En 1946 Kreisel retourné à Cambridge à entreprendre des recherches, l'étude de la logique mathématique. Après l'attribution de son doctorat Kreisel espère pour une bourse à Trinité, mais ce n'était pas à venir. Il a posé sa candidature pour des postes universitaires et a été nommé à Reading en 1949. Freeman Dyson a été un étudiant à Cambridge dans la même année que Kreisel et dans les années 1950 a été à l'Institute for Advanced Study. Il a convaincu Gödel d'inviter Kreisel à l'Institut de hautes études et Kreisel arrivé à l'été 1955. Verena Huber-Dyson écrit:

Bien qu'il n'ait pas livré avec l'intention explicite de rester, et la possibilité de retour en Europe a été ouvert à lui, n'a pas Kreisel ont des liens très étroits avec sa position à la lecture, un domicile plutôt surprenant pour une personne de ses propres qualités.

Kreisel retourné à la lecture en 1957, mais tenu mathématiquement une importante correspondance avec Gödel. En 1958-59 Kreisel était de retour aux États-Unis, cette fois à Stanford. Après son retour à la lecture pour sa dernière année sur le personnel, il en 1959-60, il a passé les deux années 1960-62 à Paris.

En 1962 Kreisel retourné aux États-Unis et a été nommé à Stanford où il est resté sur le personnel jusqu'à sa retraite en 1985.

S Feferman dans Kreisel écrit sur les contributions de:

Grâce à ses propres contributions (individuelle et coopérative) et son extraordinaire influence personnelle, Georg Kreisel n'a peut-être plus que quiconque pour promouvoir le développement de la théorie de la démonstration et la Metamathematics de constructivity au cours des quarante dernières années.

Un aspect important qui a travaillé sur Kreisel sur une période de 30 ans était de son "dénouement". En 1958, dans un document mathématique importance preuve de cohérence en 1958 Kreisel a écrit:

Il est un autre programme général qui ne semble pas souffrir des défauts de [Hilbert 's] la cohérence du programme: Pour déterminer la constructif (récursive) ou le contenu constructif équivalent de la non constructive des concepts utilisés et les théorèmes en mathématiques, en particulier en arithmétique et d'analyse.

Ce "programme général différent", plus tard, il a donné la plus colorée nom de "l'enrichissement sans programme". Comme Feferman écrit:

Il visait à remplacer clair résultats mathématiques pour ce que l'on dit être vagues, mal placée, brut objectifs fondamentaux. Mais, comme pour son travail sur constructivity, Kreisel également cherché à remplacer par un les plus sophistiqués position sur les fondations.

Kreisel a été élu fellow de la Royal Society de Londres en 1966.

Source:School of Mathematics and Statistics University of St Andrews, Scotland