Saltar para o conteúdo

John Barkley Rosser

Origem: Wikipédia, a enciclopédia livre.
John Barkley Rosser
Nascimento 6 de dezembro de 1907
Jacksonville
Morte 5 de setembro de 1989 (81 anos)
Madison
Cidadania Estados Unidos
Filho(a)(s) J. Barkley Rosser Jr.
Alma mater
Ocupação matemático, filósofo, professor universitário, cientista de computação
Distinções
Empregador(a) Universidade Harvard, Universidade de Wisconsin–Madison, Universidade Cornell

John Barkley Rosser Sr. (Jacksonville, 6 de dezembro de 1907Madison, Wisconsin, 5 de setembro de 1989) foi um lógico estadunidense, conhecido por sua parte no Teorema de Church-Rosser em cálculo lambda.[1][2]

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.

Publicações selecionadas

[editar | editar código-fonte]
  • A mathematical logic without variables by John Barkley Rosser, Univ. Diss. Princeton, NJ 1934, p. 127–150, 328–355
  • Logic for mathematicians by John B. Rosser, McGraw-Hill 1953;[3] 2nd ed., Chelsea Publ. Co. 1978, 578 p., ISBN 0-8284-0294-9
  • Highlight of the History of Lambda calculus, by J. Barkley Rosser, Annals of the History of Computing, 1984, vol 6, n 4, pp. 337–349
  • Simplified Independence Proofs: Boolean Valued Models of Set Theory, by J. Barkley Rosser, Academic Press, 1969
  • Ver Barkley Rosser papers para uma lista completa das publicações de Rosser

Referências

  1. «Deaths», Washington Post, 19 de setembro de 1989, consultado em 11 de Outubro de 2017, arquivado do original em 3 de Novembro de 2012 
  2. «Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser» (PDF), University of Wisconsin, Madison, 5 de março de 1990, cópia arquivada (PDF) em 8 de junho de 2011 
  3. Curry, H. B. (1954). «Review: Logic for mathematicians by J. B. Rosser» (PDF). Bull. Amer. Math. Soc. 60 (3): 266–272. doi:10.1090/s0002-9904-1954-09798-7 

Ligações externas

[editar | editar código-fonte]