Author

J. Barkley Rosser

J. Barkley Rosser books and biography

Sponsored Links


Mathematical Theory Of Rocket Flight


By J. Barkley Rosser
Engineering

Download Details Report

Share this Book!
										  

J. Barkley Rosser

The image “http://www.cit.cornell.edu/computer/history/Lesser/Walker-65.jpg” cannot be displayed, because it contains errors.

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. Rosser wrote mathematical textbooks as well.

In 1936, he proved a stronger version of Gdel'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.

John Barkley Rosser Jr. is known as a mathematical economist and is a professor at James Madison University in Harrisonburg, Virginia.

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.


This article might use material from a Wikipedia article, which is released under the Creative Commons Attribution-Share-Alike License 3.0.



Convert any Books to Kobo

* Notice to all users: You can export our search engine to your blog, website, facebook or my space.

message of the week Message of The Week

Bookyards Facebook, Tumblr, Blog, and Twitter sites are now active. For updates, free ebooks, and for commentary on current news and events on all things books, please go to the following:

Bookyards at Facebook

Bookyards at Twitter

Bookyards at Pinterest

Bookyards at Tumblr

Bookyards blog


message of the daySponsored Links