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 |
John Barkley Rosser ( – ) (parfois John Barkely Rosser Sr. pour le distinguer de son fils) 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.
Biographie
En 1936, il utilise ce qui a été appelé depuis l'astuce de Rosser, pour démontrer une variante plus forte du premier théorème d'incomplétude de Gödel, qui montre que l'hypothèse d'ω-cohérence sur la théorie en jeu peut être réduite à celle de cohérence simple, modulo une hypothèse un peu plus forte sur les axiomes que doit satisfaire cette théorie. Plutôt que d'utiliser la proposition « cet énoncé n'est pas démontrable » calqué sur le paradoxe du menteur) (il s'agit d'un énoncé auto-référent « cet énoncé » désigne l'énoncé même qui est produit), il utilise l’énoncé « Pour chaque preuve de cet énoncé, il existe une preuve plus courte de sa négation ».
En théorie des nombres, il démontre le théorème de Rosser.
Le paradoxe de Kleene-Rosser (en) montra l’incohérence du lambda-calcul dans sa version originale.
Rosser est mort d'une rupture d'anévrisme le , dans sa maison de Madison[1],[2].
Son fils (en), qui porte le même nom, est mathématicien en économie et enseignait comme professeur à l'université James Madison à Harrisonburg en Virginie.
Quelques publications
- (en) John Barkley Rosser, « A mathematical logic without variables », Ann. Math., , p. 127-150, 328-355.
- (en) John B. Rosser, Logic for Mathematicians, Chelsea Publ. Co., , 2e éd., 578 p. (ISBN 978-0-8284-0294-1).
- (en) J. Barkley Rosser, « Highlight of the History of Lambda calculus », Annals of the History of Computing, vol. 6, no 4, , p. 337-349.
- Voir (en) « A Guide to the J. Barkley Rosser Papers » pour obtenir la liste complète de ses publications.
Références
- ↑ (en) « Deaths », Washington Post, (lire en ligne).
- ↑ (en) « Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser », University of Wisconsin, Madison, (version du sur Internet Archive).
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « J. Barkley Rosser » (voir la liste des auteurs).
- (en) « John Barkley Rosser », sur le site du Mathematics Genealogy Project
- (en) « Interview de Rosser et Stephen Kleene sur leurs expériences à Princeton »
Liens externes
- Ressources relatives à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
Portail de l'informatique théorique