|
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. 1907 (MCMVII) was a common year starting on Tuesday (see link for calendar) of the Gregorian calendar (or a common year starting on Wednesday of the 13-day-slower Julian calendar). ...
1989 (MCMLXXXIX) was a common year starting on Sunday of the Gregorian calendar. ...
A logician is a philosopher, mathematician, or other whose topic of scholarly study is logic. ...
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. ...
The Church-Rosser theorem states that if there are two distinct reductions starting from some term in the lambda calculus, then there exists a term that is reachable via reduction from both sequences. ...
The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. ...
To meet Wikipedias quality standards, this article or section may require cleanup. ...
The University of Wisconsin–Madison is a public university located in Madison, Wisconsin. ...
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". Gödels incompleteness theorem - Wikipedia /**/ @import /skins-1. ...
In philosophy and logic, the liar paradox encompasses paradoxical statements such as: Analyzing the statement I am lying now, if what the speaker says is true, then the statement I am lying now is false, that means when the statement was said, the speaker was actually lying. ...
In prime number theory, he proved Rosser's theorem. In mathematics, a prime number (or a prime) is a natural number that has exactly two (distinct) natural number divisors, which are 1 and the prime number itself. ...
In mathematics, Rossers theorem was proved by J. Barkley Rosser in 1938. ...
John Barkley Rosser Jr. is known as a mathematical economist. Mathematical economics is the sub-field of economics that explores the mathematical aspects of economic systems. ...
Writings by Rosser
- A mathematical logic without variables by John Barkley Rosser, Univ. Diss. Princeton, NJ 1934, p. 127-150, 328-355
- Logic for mathematicians by John B. Rosser, 2nd ed., Chelsea Publ. Co. 1978, 578 p., ISBN 0-8284-0294-9
- See Barkley Rosser papers for a complete list of Rosser's publications.
External links |
Feeds |
Contact