# Mathematician:John Barkley Rosser Sr.

(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

- Church-Rosser Theorem (with Alonzo Church)
- Rosser Sieve
- Kleene-Rosser Paradox (with Stephen Cole Kleene)

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*

- 1936:
*Some properties of conversion*(*Trans. Amer. Math. Soc.***Vol. 39**,*no. 3*: pp. 472 – 482) (with Alonzo Church) (in which Church-Rosser Theorem is presented) www.jstor.org/stable/1989762

- 1969:
*Simplified Independence Proofs: Boolean Valued Models of Set Theory*

- 1978:
*Logic for Mathematicians*

- 1984:
*Highlight of the History of Lambda Calculus*