Matches in DBpedia 2014 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%E2%80%93Rosser_theorem.
- J._Barkley_Rosser nationality United_States.
- J._Barkley_Rosser viafId "114838190".
- J._Barkley_Rosser wikiPageExternalLink pm02.htm.
- J._Barkley_Rosser wikiPageExternalLink cah-00212.html.
- J._Barkley_Rosser wikiPageID "679224".
- J._Barkley_Rosser wikiPageRevisionID "602394167".
- 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.
- J._Barkley_Rosser knownFor Church–Rosser_theorem.
- J._Barkley_Rosser knownFor Kleene–Rosser_paradox.
- J._Barkley_Rosser knownFor Rosser's_sieve.
- J._Barkley_Rosser name "John Barkley Rosser".
- J._Barkley_Rosser name "Rosser, J. Barkley".
- J._Barkley_Rosser nationality United_States.
- J._Barkley_Rosser placeOfBirth Jacksonville,_Florida.
- J._Barkley_Rosser placeOfDeath Madison,_Wisconsin.
- J._Barkley_Rosser shortDescription "American logician".
- J._Barkley_Rosser wordnet_type synset-scientist-noun-1.
- J._Barkley_Rosser description "American logician".
- J._Barkley_Rosser description "American logician".
- J._Barkley_Rosser subject Category:1907_births.
- J._Barkley_Rosser subject Category:1989_deaths.
- J._Barkley_Rosser subject Category:20th-century_mathematicians.
- J._Barkley_Rosser subject Category:American_logicians.
- J._Barkley_Rosser subject Category:American_philosophers.
- J._Barkley_Rosser subject Category:Guggenheim_Fellows.
- J._Barkley_Rosser subject Category:People_from_Jacksonville,_Florida.
- J._Barkley_Rosser subject Category:Princeton_University_alumni.
- J._Barkley_Rosser subject Category:University_of_Wisconsin–Madison_faculty.
- J._Barkley_Rosser type 20th-centuryMathematicians.
- J._Barkley_Rosser type Alumnus109786338.
- J._Barkley_Rosser type AmericanLogicians.
- J._Barkley_Rosser type CausalAgent100007347.
- J._Barkley_Rosser type Expert109617867.
- J._Barkley_Rosser type Intellectual109621545.
- J._Barkley_Rosser type LivingThing100004258.
- J._Barkley_Rosser type Logician110269785.
- J._Barkley_Rosser type Mathematician110301261.
- J._Barkley_Rosser type Object100002684.
- J._Barkley_Rosser type Organism100004475.
- J._Barkley_Rosser type PeopleFromJacksonville,Florida.
- J._Barkley_Rosser type Person100007846.
- J._Barkley_Rosser type PhysicalEntity100001930.
- J._Barkley_Rosser type PrincetonUniversityAlumni.
- J._Barkley_Rosser type Scholar110557854.
- J._Barkley_Rosser type Scientist110560637.
- J._Barkley_Rosser type Whole100003553.
- J._Barkley_Rosser type YagoLegalActor.
- J._Barkley_Rosser type YagoLegalActorGeo.
- J._Barkley_Rosser type Agent.
- J._Barkley_Rosser type Person.
- J._Barkley_Rosser type Scientist.
- J._Barkley_Rosser type Person.
- J._Barkley_Rosser type PersonWithOccupation.
- J._Barkley_Rosser type Scientist.
- J._Barkley_Rosser type Q215627.
- J._Barkley_Rosser type Q5.
- J._Barkley_Rosser type Agent.
- J._Barkley_Rosser type NaturalPerson.
- J._Barkley_Rosser type Thing.
- J._Barkley_Rosser type Person.