J. Barkley Rosser (1907-1989) was an American mathematical logician, a former PhD student of Alonzo Church.
He is known for Church-Rosser theorem (wikipedia) in -calculus, Rosser sieve in number theory, Rosser’s trick (a strengthening of the Goedel’s incompleteness theorem, wikipedia) and the Kleene-Rosser paradox (wikipedia).
He wrote the monograph
where we can also find a formalization of rule C.
Created on November 2, 2022 at 12:22:47. See the history of this page for a list of all contributions to it.