John Barkley Rosser
John Barkley Rosser Sr. (Jacksonville, – Madison, Wisconsin, ) foi um lógico estadunidense, conhecido por sua parte no Teorema de Church-Rosser em cálculo lambda.

Em 1936 provou o truque de Rosser, uma versão forte do primeiro teorema da incompletude de Gödel, mostrando que o requisito para ω-consistência pode ser enfraquecido para consistência.

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

Foi palestrante do Congresso Internacional de Matemáticos em Amsterdam (1954). O seu orientador de doutoramento foi Alonzo Church.
Q16568
Jacksonville
LOC
Q43788
Madison
LOC
Q1537
Wisconsin
LOC
Q8078
lógico
Concept
Q846570
estadunidense
Concept
Q1308502
Teorema de Church-Rosser
MISC
Q242028
cálculo lambda
Concept
Q7369799
truque de Rosser
UNK
Q200787
primeiro teorema da incompletude de Gödel
EVE
Q6420095
Paradoxo Kleene-Rosser
Concept
Q21015854
palestrante do Congresso Internacional de Matemáticos
UNK
Q727
Amsterdam
LOC
Q92741
Alonzo Church
PER
Q332905
John Barkley Rosser
PER
+1936^^http://www.w3.org/2001/XMLSchema#decimal
1936
NUMBER
+1954^^http://www.w3.org/2001/XMLSchema#decimal
1954
NUMBER
place of birth
place of death
doctoral advisor