John Barkley Rosser

John Barkley Rosser père ( – ) était 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.

Pour les articles homonymes, voir Rosser (homonymie).

John Barkley Rosser
Naissance
Jacksonville, Florida
Décès
Madison, Wisconsin
Nationalité Américain
Domaines Logique mathématique
Théorie des nombres
Diplôme Princeton University
Directeur de thèse Alonzo Church
Étudiants en thèse George Collins
Stephen Orey
Gerald Sacks
Renommé pour Propriété de Church-Rosser
Paradoxe de Kleene-Rosser (en)
Crible de Rosser

En 1936, il a démontré ce qu'on appelle depuis l'astuce de Rosser, variante plus forte du premier théorème d'incomplétude de Gödel qui montre que l'exigence d'une ω-cohérence peut être réduite à celle d'une simple cohérence. Plutôt que d'utiliser une variante du paradoxe du menteur avec l’affirmation « je ne suis pas démontrable », il a utilisé l’affirmation « Pour chacune des preuves de mon existence, il existe une preuve plus courte de ma négation ».

En théorie des nombres, il démontra 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'un anévrisme le , dans sa maison de Madison[1],[2].

Son fils, qui porte le même nom (en), est mathématicien en économie et 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
  1. (en) « Deaths », Washington Post,‎ (lire en ligne).
  2. (en) « Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser » (version du 8 juin 2011 sur l'Internet Archive), University of Wisconsin, Madison, .

Liens externes
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.