John Barkley Rosser
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Rosser (homonymie).
John Barkley Rosser père ( – ) est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul. Il a aussi créé le crible de Rosser en théorie des nombres. Il a dirigé le Centre de recherches mathématiques de l'armée à l’université du Wisconsin à Madison de 1963 à 1973. Il a également écrit des manuels de mathématiques.
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Faits en bref Naissance, Décès ...
John Barkley Rosser
Naissance | |
---|---|
Décès |
(à 81 ans) Madison, Wisconsin |
Nationalité | |
Formation | |
Activités | |
Enfant |
J. Barkley Rosser, Jr. (en) |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinction |
Fermer