Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/J._Barkley_Rosser> ?p ?o }
- J._Barkley_Rosser abstract "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 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.".
- J._Barkley_Rosser almaMater Princeton_University.
- J._Barkley_Rosser birthDate "1907-12-06".
- J._Barkley_Rosser birthPlace Jacksonville,_Florida.
- J._Barkley_Rosser birthYear "1907".
- J._Barkley_Rosser deathDate "1989-09-05".
- J._Barkley_Rosser deathPlace Madison,_Wisconsin.
- J._Barkley_Rosser deathYear "1989".
- J._Barkley_Rosser doctoralAdvisor Alonzo_Church.
- J._Barkley_Rosser doctoralStudent Charlotte_(Stark)_Chell.
- J._Barkley_Rosser doctoralStudent David_Edward_Schroer.
- J._Barkley_Rosser doctoralStudent Elliott_Mendelson.
- J._Barkley_Rosser doctoralStudent George_Collins_(mathematician).
- J._Barkley_Rosser doctoralStudent George_William_Petznick,_Jr..
- J._Barkley_Rosser doctoralStudent Gerald_Sacks.
- J._Barkley_Rosser doctoralStudent Stephen_Orey.
- J._Barkley_Rosser doctoralStudent Theodore_Hailperin.
- J._Barkley_Rosser doctoralStudent Walter_Joel_Harrington.
- J._Barkley_Rosser field Mathematical_logic.
- J._Barkley_Rosser field Number_theory.
- J._Barkley_Rosser knownFor Church–Rosser_theorem.
- J._Barkley_Rosser nationality United_States.
- J._Barkley_Rosser wikiPageExternalLink pm02.htm.
- J._Barkley_Rosser wikiPageExternalLink cah-00212.html.
- J._Barkley_Rosser wikiPageID "679224".
- J._Barkley_Rosser wikiPageLength "4806".
- J._Barkley_Rosser wikiPageOutDegree "50".
- J._Barkley_Rosser wikiPageRevisionID "672775079".
- J._Barkley_Rosser wikiPageWikiLink Alonzo_Church.
- J._Barkley_Rosser wikiPageWikiLink Aneurysm.
- J._Barkley_Rosser wikiPageWikiLink Army_Mathematics_Research_Center.
- J._Barkley_Rosser wikiPageWikiLink Category:1907_births.
- J._Barkley_Rosser wikiPageWikiLink Category:1989_deaths.
- J._Barkley_Rosser wikiPageWikiLink Category:20th-century_mathematicians.
- J._Barkley_Rosser wikiPageWikiLink Category:American_logicians.
- J._Barkley_Rosser wikiPageWikiLink Category:American_philosophers.
- J._Barkley_Rosser wikiPageWikiLink Category:Guggenheim_Fellows.
- J._Barkley_Rosser wikiPageWikiLink Category:People_from_Jacksonville,_Florida.
- J._Barkley_Rosser wikiPageWikiLink Category:Presidents_of_the_Society_for_Industrial_and_Applied_Mathematics.
- J._Barkley_Rosser wikiPageWikiLink Category:Princeton_University_alumni.
- J._Barkley_Rosser wikiPageWikiLink Category:University_of_Wisconsin–Madison_faculty.
- J._Barkley_Rosser wikiPageWikiLink Charlotte_(Stark)_Chell.
- J._Barkley_Rosser wikiPageWikiLink Church–Rosser_theorem.
- J._Barkley_Rosser wikiPageWikiLink David_Edward_Schroer.
- J._Barkley_Rosser wikiPageWikiLink Elliott_Mendelson.
- J._Barkley_Rosser wikiPageWikiLink George_Collins_(mathematician).
- J._Barkley_Rosser wikiPageWikiLink George_William_Petznick,_Jr..
- J._Barkley_Rosser wikiPageWikiLink Gerald_Sacks.
- J._Barkley_Rosser wikiPageWikiLink Gxc3xb6dels_first_incompleteness_theorem.
- J._Barkley_Rosser wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- J._Barkley_Rosser wikiPageWikiLink J._Barkley_Rosser,_Jr..
- J._Barkley_Rosser wikiPageWikiLink Jacksonville,_Florida.
- J._Barkley_Rosser wikiPageWikiLink Kleene–Rosser_paradox.
- J._Barkley_Rosser wikiPageWikiLink Lambda_calculus.
- J._Barkley_Rosser wikiPageWikiLink Liar_paradox.
- J._Barkley_Rosser wikiPageWikiLink Logic.
- J._Barkley_Rosser wikiPageWikiLink Logician.
- J._Barkley_Rosser wikiPageWikiLink Madison,_Wisconsin.
- J._Barkley_Rosser wikiPageWikiLink Mathematical_economics.
- J._Barkley_Rosser wikiPageWikiLink Mathematical_logic.
- J._Barkley_Rosser wikiPageWikiLink Number_theory.
- J._Barkley_Rosser wikiPageWikiLink Princeton_University.
- J._Barkley_Rosser wikiPageWikiLink Rosser_sieve.
- J._Barkley_Rosser wikiPageWikiLink Rossers_sieve.
- J._Barkley_Rosser wikiPageWikiLink Rossers_theorem.
- J._Barkley_Rosser wikiPageWikiLink Rossers_trick.
- J._Barkley_Rosser wikiPageWikiLink Stephen_Orey.
- J._Barkley_Rosser wikiPageWikiLink Theodore_Hailperin.
- J._Barkley_Rosser wikiPageWikiLink United_States.
- J._Barkley_Rosser wikiPageWikiLink University_of_Wisconsin–Madison.
- J._Barkley_Rosser wikiPageWikiLink Walter_Joel_Harrington.
- J._Barkley_Rosser wikiPageWikiLink Ω-consistency.
- J._Barkley_Rosser wikiPageWikiLink Ω-consistent_theory.
- J._Barkley_Rosser wikiPageWikiLinkText "J. B. Rosser".
- J._Barkley_Rosser wikiPageWikiLinkText "J. Barkley Rosser Sr.".
- J._Barkley_Rosser wikiPageWikiLinkText "J. Barkley Rosser".
- J._Barkley_Rosser wikiPageWikiLinkText "J. Barkley Rosser, Sr.".
- J._Barkley_Rosser wikiPageWikiLinkText "Rosser".
- J._Barkley_Rosser wikiPageWikiLinkText "Rosser, J. Barkley".
- J._Barkley_Rosser wikiPageWikiLinkText "Rosser. J. B.".
- J._Barkley_Rosser almaMater Princeton_University.
- J._Barkley_Rosser birthDate "1907-12-06".
- J._Barkley_Rosser birthPlace Jacksonville,_Florida.
- J._Barkley_Rosser dateOfBirth "1907-12-06".
- J._Barkley_Rosser dateOfDeath "1989-09-05".
- J._Barkley_Rosser deathDate "1989-09-05".
- J._Barkley_Rosser deathPlace Madison,_Wisconsin.
- J._Barkley_Rosser doctoralAdvisor Alonzo_Church.
- J._Barkley_Rosser doctoralStudents Charlotte_(Stark)_Chell.
- J._Barkley_Rosser doctoralStudents "David Edward Schroer".
- J._Barkley_Rosser doctoralStudents "Elliott Mendelson".
- J._Barkley_Rosser doctoralStudents "George Collins".
- J._Barkley_Rosser doctoralStudents "George William Petznick, Jr.".
- J._Barkley_Rosser doctoralStudents "Gerald Sacks".
- J._Barkley_Rosser doctoralStudents "Stephen Orey".
- J._Barkley_Rosser doctoralStudents "Theodore Hailperin".
- J._Barkley_Rosser doctoralStudents "Walter Joel Harrington".
- J._Barkley_Rosser fields Mathematical_logic.
- J._Barkley_Rosser fields Number_theory.
- J._Barkley_Rosser hasPhotoCollection J._Barkley_Rosser.