SUPPORT THE WORK

GetWiki

J. Barkley Rosser

ARTICLE SUBJECTS
aesthetics  →
being  →
complexity  →
database  →
enterprise  →
ethics  →
fiction  →
history  →
internet  →
knowledge  →
language  →
licensing  →
linux  →
logic  →
method  →
news  →
perception  →
philosophy  →
policy  →
purpose  →
religion  →
science  →
sociology  →
software  →
truth  →
unix  →
wiki  →
ARTICLE TYPES
essay  →
feed  →
help  →
system  →
wiki  →
ARTICLE ORIGINS
critical  →
discussion  →
forked  →
imported  →
original  →
J. Barkley Rosser
[ temporary import ]
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{for|the Australian cricketer|John Rosser (cricketer)}}{{for|the Australian Olympic rower|John Rosser (rower)}}







factoids
|birth_place = Jacksonville, Florida, U.S.19890512|06}}|death_place = Madison, Wisconsin, U.S.|nationality = United States|fields = Mathematical logicNumber theory|alma_mater = Princeton University|doctoral_advisor = Alonzo Church|doctoral_students = Elliott Mendelson Gerald Sacks|known_for = Church–Rosser theoremKleene–Rosser paradoxRosser's sieve}}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. 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 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.Rosser died of an aneurysm September 5, 1989, at his home in Madison, Wisconsin.{{Citation |url=http://www.highbeam.com/doc/1P2-1212612.html |archive-url=https://web.archive.org/web/20121103074821weblink |dead-url=yes |archive-date=November 3, 2012 |title=Deaths |newspaper=Washington Post |date=September 19, 1989 }}{{Citation |url=http://www.cs.wisc.edu/news/rosser.memorial.pdf |title=Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser |work=University of Wisconsin, Madison |date=March 5, 1990 |archiveurl=https://web.archive.org/web/20110608075258weblink |archivedate=June 8, 2011}}Rosser's son, John Barkley Rosser, Jr., is a mathematical economist and professor at James Madison University in Harrisonburg, Virginia.

Selected publications

  • 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, McGraw-Hill 1953;JOURNAL, Curry, H. B., Haskell Curry, Review: Logic for mathematicians by J. B. Rosser, Bull. Amer. Math. Soc., 1954, 60, 3, 266–272,weblink 10.1090/s0002-9904-1954-09798-7, 2nd ed., Chelsea Publ. Co. 1978, 578 p., {{ISBN|0-8284-0294-9}}
  • Highlights of the History of Lambda calculus, by J. Barkley Rosser, Annals of the History of Computing, 1984, vol 6, n 4, pp. 337–349
  • Simplified Independence Proofs: Boolean Valued Models of Set Theory, by J. Barkley Rosser, Academic Press, 1969
  • See Barkley Rosser papers for a complete list of Rosser's publications.

References

{{Reflist}}

External links

  • {{MathGenealogy|id=8013}}
  • weblink" title="web.archive.org/web/20020308033648weblink">Interview with Rosser and Stephen Kleene about their experiences at Princeton
{{Authority control}}

- content above as imported from Wikipedia
- "J. Barkley Rosser" does not exist on GetWiki (yet)
- time: 3:35pm EDT - Tue, Sep 17 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
GETWIKI 19 AUG 2014
CONNECT