John Barkley Rosser Sr., lógico americano (m. 1989)
John Barkley Rosser Sr. (6 de dezembro de 1907 - 5 de setembro de 1989) foi um lógico americano, aluno de Alonzo Church, e conhecido por sua participação no teorema de Church-Rosser, no cálculo lambda. Ele também desenvolveu o que hoje é chamado de "peneira de Rosser", na teoria dos números. Mais tarde, foi diretor do Centro de Pesquisa em Matemática do Exército da Universidade de Wisconsin-Madison. Rosser também escreveu livros de matemática.

Em 1936, ele provou o truque de Rosser, uma versão mais forte do primeiro teorema da incompletude de Gödel, mostrando que a exigência de consistência ω pode ser enfraquecida para consistência. Em vez de usar a sentença do paradoxo do mentiroso equivalente a "Eu não sou provável", ele usou uma frase que dizia "Para cada prova de mim, há uma prova mais curta da minha negação".

Na teoria dos números primos, ele provou o teorema de Rosser.

O paradoxo de Kleene-Rosser mostrou que o cálculo lambda original era inconsistente.

Rosser morreu de um aneurisma em 5 de setembro de 1989, em sua casa em Madison, Wisconsin. O filho de Rosser, John Barkley Rosser Jr., é economista matemático e professor da Universidade James Madison em Harrisonburg, Virgínia.