Stephen Cole Kleene

1909–1994 · États-Unis · informaticien ou informaticienne, mathématicien ou mathématicienne, professeur d'université

Stephen Cole Kleene naît le 5 janvier 1909 à Hartford et meurt le 25 janvier 1994 à Madison. Domaines : théorie du calcul, informatique théorique. Courants : intuitionnisme.

13œuvres répertoriées

0influences

0a influencé

13élèves

§1

Œuvres

Œuvres de Stephen Cole Kleene

13 titres répertoriés, par date de publication.

1965

traitéanglais américain The foundations of intuitionistic mathematics Stephen Cole Kleene

modèle mathématique lambda-calcul Alonzo Church

opération unaire fermeture de Kleene Stephen Cole Kleene

théorème théorème de Kleene Stephen Cole Kleene

théorème théorème de récursion de Kleene Stephen Cole Kleene

concept mathématique Algèbre de Kleene Stephen Cole Kleene

théorème de point fixe théorème du point fixe de Kleene Stephen Cole Kleene

grand ordinal dénombrable ordinal de Church-Kleene Stephen Cole Kleene

concept mathématique Kleene's O Stephen Cole Kleene

concept mathématique Prédicat T et fonction U de Kleene Stephen Cole Kleene

concept mathématique Kleene–Brouwer order Luitzen Egbertus Jan Brouwer

paradoxe logique Kleene–Rosser paradox Stephen Cole Kleene

§3

Filiation

Maîtres et élèves

Maîtres et directeurs de thèse

Alonzo Church

Élèves

Yiannis Moschovakis, Dick de Jongh, Nels David Nelson, Robert Lee Constable, Joan Moschovakis, John West Addison, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Eugene Vesley, Shih-Chao Liu, David Philip Kierstead

§4

Chronologie

Une vie, des livres

1909
Naissance à Hartford
5 janvier 1909
1965
The foundations of intuitionistic mathematics
traité · anglais américain
1994
Mort à Madison
25 janvier 1994