Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Home > J. Barkley Rosser
John Barkley Rosser Sr. ( 1907- 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. He also wrote mathematical textbooks. In 1936, he proved a stronger version of Gödel's first incompleteness theorem, showing that the requirement for -consistency may be weakened to consistency. Rather than using the liar paradox sentence equivalent to "I am not provable," he used a sentence that stated "For every proof of me, there is a shorter proof of my negation"
John Barkley Rosser Jr. is known as a mathematical economist.
External link
Barkley Rosser papers
Rosser, J. Barkley
Rosser, J. Barkley
Read more »