Mathematician:John Barkley Rosser Sr.

From ProofWiki
(Redirected from Mathematician:J.B. Rosser)
Jump to navigation Jump to search

Mathematician

American logician best known for his work in mathematical logic.


Nationality

American


History

  • Born: 6 December 1907 in Jacksonville, Florida
  • Died: 5 September 1989 in Madison, Wisconsin


Theorems and Definitions

Results named for John Barkley Rosser Sr. can be found here.

Definitions of concepts named for John Barkley Rosser Sr. can be found here.


Publications

  • 1934: A mathematical logic without variables
  • 1969: Simplified Independence Proofs: Boolean Valued Models of Set Theory
  • 1978: Logic for Mathematicians
  • 1984: Highlight of the History of Lambda Calculus