English Wikipedia - The Free Encycl...
Download this dictionary
J. Barkley Rosser
John Barkley Rosser Sr.
(December 6, 1907 – September 5, 1989) was an
American
logician
, a student of
Alonzo Church
, and known for his part in the
Church–Rosser theorem
, in
lambda calculus
. He also developed what is now called the Rosser sieve, in
number theory
. He was later director of the Army Mathematics Research Center at the
University of Wisconsin–Madison
. Rosser wrote mathematical textbooks as well.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License