J. Barkley Rosser - J. Barkley Rosser
John Barkley Rosser | |
---|---|
Né |
Jacksonville, Floride , États-Unis
|
6 décembre 1907
Décédés | 5 septembre 1989
Madison, Wisconsin , États-Unis
|
(81 ans)
Nationalité | États Unis |
mère nourricière | université de Princeton |
Connu pour |
Théorème Church-Rosser Paradoxe de Kleene-Rosser Tamis de Rosser |
Carrière scientifique | |
Des champs |
Logique mathématique Théorie des nombres |
Conseiller de doctorat | Église d'Alonzo |
Doctorants |
Elliott Mendelson Gerald Sacks |
John Barkley Rosser Sr. (6 décembre 1907 - 5 septembre 1989) était un logicien américain , étudiant d' Alonzo Church , et connu pour son rôle dans le théorème de Church-Rosser , en lambda calcul . Il développa également ce qu'on appelle aujourd'hui le « tamis Rosser », en théorie des nombres . Il a ensuite été directeur du Army Mathematics Research Center de l' Université du Wisconsin-Madison . Rosser est également l'auteur de manuels de mathématiques.
En 1936, il a prouvé l'astuce de Rosser , une version plus forte du premier théorème d'incomplétude de Gödel , montrant que l'exigence de -cohérence peut être affaiblie jusqu'à consistance. Plutôt que d'utiliser la phrase paradoxe du menteur équivalente à "Je ne suis pas prouvable", il a utilisé une phrase qui disait "Pour chaque preuve de moi, il y a une preuve plus courte de ma négation".
En théorie des nombres premiers, il a prouvé le théorème de Rosser .
Le paradoxe de Kleene-Rosser a montré que le calcul lambda original était incohérent.
Rosser est décédé d'un anévrisme le 5 septembre 1989, à son domicile de Madison, Wisconsin .
Le fils de Rosser, John Barkley Rosser Jr. , est un économiste mathématique et professeur à l'Université James Madison à Harrisonburg, en Virginie.
Publications sélectionnées
- Une logique mathématique sans variables par John Barkley Rosser, Univ. Insulter. Princeton, New Jersey 1934, p. 127-150, 328-355
- Logique pour les mathématiciens par John B. Rosser, McGraw-Hill 1953; 2e éd., Chelsea Publ. Co. 1978, 578 pages , ISBN 0-8284-0294-9
- Highlights of the History of Lambda calculus , par J. Barkley Rosser, Annals of the History of Computing, 1984, vol 6, n 4, pp. 337-349
- Preuves d'indépendance simplifiées : modèles valorisés booléens de la théorie des ensembles , par J. Barkley Rosser, Academic Press, 1969
- Voir les articles de Barkley Rosser pour une liste complète des publications de Rosser.