John Barkley Rosser Sr., logicien américain (décédé en 1989)
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 , dans le calcul lambda . Il a également développé ce qu'on appelle aujourd'hui le "tamis de 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 à la cohérence. Plutôt que d'utiliser la phrase du 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, dans le Wisconsin. Le fils de Rosser, John Barkley Rosser Jr., est économiste mathématique et professeur à l'Université James Madison à Harrisonburg, en Virginie.