John Barkley Rosser Sr.，美国逻辑学家（1989 年逝世）

老约翰·巴克利·罗瑟（John Barkley Rosser Sr.，1907 年 12 月 6 日 - 1989 年 9 月 5 日）是美国逻辑学家，是 Alonzo Church 的学生，并以在 lambda 演算中参与 Church-Rosser 定理而闻名。他还在数论中开发了现在称为“罗瑟筛”的东西。他后来担任威斯康星大学麦迪逊分校陆军数学研究中心主任。罗瑟还撰写了数学教科书。

1936 年，他证明了罗瑟的把戏，这是哥德尔第一个不完备定理的一个更强大的版本，表明对 ω-一致性的要求可能会被弱化为一致性。他没有使用等同于“我无法证明”的骗子悖论句子，而是使用了“对于我的每一个证明，我的否定都有一个更短的证明”的句子。

在素数论中，他证明了罗瑟定理。

Kleene-Rosser 悖论表明最初的 lambda 演算是不一致的。

罗瑟于 1989 年 9 月 5 日在威斯康星州麦迪逊的家中因动脉瘤去世。罗瑟的儿子小约翰·巴克利·罗瑟 (John Barkley Rosser Jr.) 是弗吉尼亚州哈里森堡詹姆斯麦迪逊大学的数理经济学家和教授。