Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Stephen Cole Kleene

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

5 Jan 1909

Hartford, Connecticut, USA

25 Jan 1994

Madison, Wisconsin, USA

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

Stephen Kleene C étudié pour son premier degré à Amherst College. Il a à recevoir un doctorat de l'Université Princeton en 1934, sous la direction de l'Eglise, pour une thèse intitulée A Theory of Positive entiers dans la logique formelle. Kleene ensuite enseigné à Princeton jusqu'à ce qu'il rejoigne l'Université du Wisconsin à Madison en 1935. Il est devenu un professeur à l'Université du Wisconsin à Madison en 1948 et est resté sur le personnel jusqu'à ce que il a pris sa retraite en 1979.

Kleene de recherche sur la théorie des algorithmes et d'une fonction récursive. Il a développé le domaine de la théorie et la récursivité Eglise, Gödel, Turing et d'autres. Il a contribué à intuitionnisme mathématique qui a été fondée par Brouwer.

Son travail sur la théorie de la récursion contribué à fournir les bases théoriques de l'informatique. En fournissant des méthodes permettant de déterminer quels problèmes sont solubles, Kleene de travail a conduit à l'étude des fonctions qui peuvent être calculées.

Lors d'une conférence à l'Université de Chicago en 1995, Robert Soare décrit son travail en ces termes:

Kleene la formulation de la comptabilisation de fonction par six schémas est une des plus succincte et utile, et ses travaux antérieurs sur les fonctions lambda joué un rôle majeur dans le soutien Eglise de l 'thèse selon laquelle ces classes coïncident avec les fonctions intuitivement calculables.

Depuis 1930, l 'Kleene sur plus de toute autre mathématicien développé les notions de calculabilité et efficace dans toutes leurs formes abstraites et les deux concrètes, à la fois mathématique et philosophique. Il a tendance à jeter les bases d'un domaine, puis passer à l'autre, comme chaque épanouie dans un un domaine de recherche majeur dans son sillage.

Kleene développé un large éventail de sujets en calculabilité: la hiérarchie arithmétique, degrés de la calculabilité, computable ordinaires ou hyperarithmetic théorie, automates finis et ensembles réguliers avec des conséquences énormes pour l'informatique, calculabilité supérieur types récursifs sont réalisables pour l'arithmétique intuitionniste avec des conséquences pour philosophie et l'exactitude du programme en informatique.

Kleene les plus connus sont les livres Introduction à Metamathematics (1952) et logique mathématique (1967).

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