Stephen Cole Kleene - Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
( 1909-01-05 )5 janvier 1909
Hartford, Connecticut , États-Unis
Décédés 25 janvier 1994 (1994-01-25)(85 ans)
Madison, Wisconsin , États-Unis
Nationalité américain
mère nourricière Collège Amherst Université de
Princeton
Connu pour
Récompenses Prix ​​Leroy P. Steele (1983)
Médaille nationale des sciences (1990)
Carrière scientifique
Des champs Mathématiques
Établissements L'universite de Wisconsin-Madison
Conseiller de doctorat Église d'Alonzo
Doctorants Robert Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

Stephen Cole Kleene ( / k l n i / KLAY -neE , 5 Janvier, 1909-1925 Janvier, 1994) était un Américain mathématicien . L'un des étudiants de l' église Alonzo , Kleene, avec Rózsa Péter , Alan Turing , Emil Post et d'autres, est surtout connu comme l'un des fondateurs de la branche de la logique mathématique connue sous le nom de théorie de la récursion , qui a par la suite contribué à jeter les bases de la théorie informatique . Les travaux de Kleene fondent l'étude des fonctions calculables . Un certain nombre de concepts mathématiques sont nommés d' après lui: la hiérarchie Kleene , algèbre Kleene , l' étoile de Kleene (fermeture Kleene), le théorème de récursion de Kleene et le Kleene théorème fixe point . Il a également inventé les expressions régulières en 1951 pour décrire les réseaux neuronaux de McCulloch-Pitts et a apporté des contributions significatives aux fondements de l' intuitionnisme mathématique .

Biographie

Kleene a obtenu le baccalauréat du Amherst College en 1930. Il a obtenu le doctorat. en mathématiques de l'Université de Princeton en 1934, où sa thèse, intitulée A Theory of Positive Integers in Formal Logic , a été supervisée par Alonzo Church . Dans les années 1930, il a effectué d'importants travaux sur le calcul lambda de Church . En 1935, il rejoint le département de mathématiques de l' Université du Wisconsin-Madison , où il passe la quasi-totalité de sa carrière. Après deux ans comme instructeur, il est nommé professeur assistant en 1937.

Alors qu'il était chercheur invité à l' Institute for Advanced Study de Princeton, de 1939 à 1940, il a jeté les bases de la théorie de la récursivité , un domaine qui sera son intérêt de recherche tout au long de sa vie. En 1941, il retourne au Amherst College, où il passe un an en tant que professeur agrégé de mathématiques.

Pendant la Seconde Guerre mondiale , Kleene était lieutenant-commandant dans la marine des États-Unis . Il a été instructeur de navigation à la US Naval Reserve's Midshipmen's School à New York , puis directeur de projet au Naval Research Laboratory à Washington, DC

En 1946, Kleene est retourné à l'Université du Wisconsin-Madison, devenant professeur titulaire en 1948 et professeur de mathématiques Cyrus C. MacDuffee en 1964. Il a occupé deux mandats en tant que président du département de mathématiques et un mandat en tant que président de le Département d'analyse numérique (plus tard rebaptisé Département d'informatique). Il a également été doyen du Collège des lettres et des sciences en 1969-1974. Au cours de ses années à l'Université du Wisconsin, il a été directeur de thèse de 13 Ph.D. étudiants. Il a pris sa retraite de l'Université du Wisconsin en 1979. En 1999, la bibliothèque de mathématiques de l'Université du Wisconsin a été renommée en son honneur.

L'enseignement de Kleene au Wisconsin a donné lieu à trois textes de logique mathématique , Kleene (1952, 1967) et Kleene et Vesley (1965). Les deux premiers sont souvent cités et toujours sous presse. Kleene (1952) a écrit des preuves alternatives aux théorèmes d'incomplétude de Gödel qui ont amélioré leur statut canonique et les ont rendus plus faciles à enseigner et à comprendre. Kleene et Vesley (1965) est l'introduction américaine classique à la logique intuitionniste et aux mathématiques mathématiques .

[...] la théorie des fonctions récursives est d'une importance centrale en informatique. Kleene est responsable de nombreux résultats fondamentaux dans le domaine, y compris le théorème de forme normale de Kleene (1936), le théorème récursif de Kleene (1938), le développement des hiérarchies arithmétiques et hyper-arithmétiques dans les années 1940 et 1950, le Kleene- Post-théorie des degrés d'insolvabilité (1954) et théorie de la récursivité de type supérieur. qu'il a commencé à la fin des années 1950 et auquel il est revenu à la fin des années 1970. [...] À partir de la fin des années 40, Kleene a également travaillé dans un deuxième domaine, l'intuitionnisme de Brouwer. En utilisant des outils de la théorie de la récursivité, il a introduit la réalisabilité récursive, une technique importante pour interpréter les énoncés intuitionnistes. À l'été 1951 à la Rand Corporation , il réalisa une percée majeure dans un troisième domaine en donnant une caractérisation importante des événements acceptés par un automate fini.

Kleene a été président de l' Association for Symbolic Logic , 1956-1958, et de l'Union internationale d'histoire et de philosophie des sciences, 1961. L'importance du travail de Kleene a conduit Daniel Clement Dennett à inventer le dicton, publié en 1978, selon lequel « Kleeneness est à côté de Gödelness." En 1990, il a reçu la Médaille nationale des sciences .

Kleene et sa femme Nancy Elliott ont eu quatre enfants. Il a toujours été dévoué à la ferme familiale du Maine. Alpiniste passionné, il s'intéressait beaucoup à la nature et à l' environnement et était actif dans de nombreuses causes de conservation .

Héritage

A chaque conférence du Symposium on Logic in Computer Science, le prix Kleene , en l'honneur de Stephen Cole Kleene, est décerné au meilleur article étudiant.

Publications sélectionnées

Voir également

Remarques

Les références

Liens externes