J. Barkley Rosser
Mathematician, Academic
1907 – 1989
Who was J. Barkley Rosser?
John Barkley Rosser Sr. 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.
In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem which shows 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".
In prime number theory, he proved Rosser's theorem.
The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
Rosser died of an aneurysm September 5, 1989, at his home in Madison, Wisconsin.
Rosser's son, John Barkley Rosser, Jr., is a mathematical economist and professor at James Madison University in Harrisonburg, Virginia.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Dec 6, 1907
Jacksonville - Nationality
- United States of America
- Profession
- Education
- Princeton University
- Employment
- University of Wisconsin-Madison
- Died
- 1989
Madison
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"J. Barkley Rosser." Biographies.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.biographies.net/people/en/j_barkley_rosser>.
Discuss this J. Barkley Rosser biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In