John Barkley Rosser
From Wikipedia, the free encyclopedia
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.
Cet article est une ébauche concernant un mathématicien.
| 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 |
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.
