Stephen Cole Kleene - Stephen Cole Kleene
Stephen Kleene | |
---|---|
Né |
Hartford, Connecticut , États-Unis
|
5 janvier 1909
Décédés | 25 janvier 1994
Madison, Wisconsin , États-Unis
|
(85 ans)
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 eɪ 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
- 1935. Stephen Cole Kleene (janvier 1935). "Une théorie des nombres entiers positifs dans la logique formelle. Partie I" . Journal américain de mathématiques . 57 (1) : 153-173. doi : 10.2307/2372027 . JSTOR 2372027 .
- 1935. Stephen Cole Kleene (avril 1935). "Une théorie des nombres entiers positifs dans la logique formelle. Partie II" . Journal américain de mathématiques . 57 (2) : 219-244. doi : 10.2307/2371199 . JSTOR 2371199 .
- 1935. Stephen Cole Kleene ; JB Rosser (juil. 1935). « L'incohérence de certaines logiques formelles ». Annales de mathématiques . 2e série. 36 (3) : 630-636. doi : 10.2307/1968646 . JSTOR 1968646 .
- 1936. "Fonctions récursives générales des nombres naturels" . Mathematische Annalen (112) : 727-742. 1936.
- 1936. " -définissabilité et récursivité" . Journal mathématique du duc . 2 (2) : 340–352. 1936.
- 1938. "Sur les notations pour les nombres ordinaux" (PDF) . Journal de logique symbolique . 3 (4) : 150-155. 1938. doi : 10.2307/2267778 . JSTOR 2267778 .
- 1943. "Prédicats et quantificateurs récursifs" . Transactions de l'American Mathematical Society . 53 (1) : 41-73. Janvier 1943. doi : 10.1090/S0002-9947-1943-0007371-8 .
- 1951. Kleene, Stephen Cole (15 décembre 1951). "Représentation des événements dans les réseaux nerveux et les automates finis" (PDF) . Mémorandum de recherche sur le projet Rand de l'US Air Force (RM-704). La société RAND .
- 1952. Introduction aux métamathématiques. New York : Van Nostrand. (Ishi Press : réimpression 2009).
- 1956. Kleene, Stephen Cole (1956). Shannon, Claude ; McCarthy, John (éd.). Représentation des événements dans les réseaux nerveux et les automates finis . Études d'automates . OCLC 564148 .
- 1965 (avec Richard Eugène Vesley). Les fondements des mathématiques intuitionnistes . Hollande du Nord.
- 1967. Logique mathématique. John Wiley & Fils . Réimpression de Douvres, 2002. ISBN 0-486-42533-9 .
- 1981. "Origines de la théorie des fonctions récursives" dans Annals of the History of Computing 3 , n° 1.
- 1987. "Réflexions sur la thèse de Church" . Notre Dame Journal de Logique Formelle . 28 (4) : 490-498. Octobre 1987. doi : 10.1305/ndjfl/1093637645 .
Voir également
Remarques
Les références
Liens externes
- O'Connor, John J. ; Robertson, Edmund F. , "Stephen Cole Kleene" , MacTutor History of Mathematics archive , Université de St Andrews
- Mémoire biographique - par Saunders Mac Lane
- Bibliographie Kleene
- « La communauté mathématique de Princeton dans les années 1930 : Transcription numéro 23 (PMC23) : Stephen C. Kleene et J. Barkley Rosser » . Archivé de l'original le 10 mars 2015.– Entretien avec Kleene et John Barkley Rosser sur leurs expériences à Princeton
- Stephen Cole Kleene au serveur de bibliographie DBLP