J. Barkley Rosser
American logician (1907–1989)
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.2
From Wikipedia’s article on J. Barkley Rosser (this version), CC BY-SA 4.0.
Born Dec 6, 1907, died Sep 5, 1989.1
About
He also developed what is now called the "Rosser sieve" in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks.
In 1936, he proved Rosser's trick, 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".
In prime number theory, he proved Rosser's theorem.
The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
From Wikipedia’s article on J. Barkley Rosser, shared under CC BY-SA 4.0.2
Companies
- Association for Symbolic LogicChair 1950 to 195212
Early life and education
Career
Occupation: university teacher, philosopher, computer scientist, mathematician.7
- 1950 to 1952Chair, Association for Symbolic Logic6
- Date not recordedWorked at Cornell University4 5
- Date not recordedWorked at University of Wisconsin–Madison4 5
- Date not recordedWorked at Harvard University4 5
Personal life
Awards
- 1953Guggenheim Fellowship11
Links
Sources
The numbers on this page point here. Each one links to the record it came from.
- 1WikidataJ. Barkley Rosser on Wikidata
- 2WikipediaJ. Barkley Rosser on Wikipedia
- 3
- 4Wikidataeducation, as reported
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12