J. Barkley Rosser
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 prime number theory, he proved Rosser's theorem. The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
doctoral student
Abstract rewriting systemAlgorithmAlgorithm characterizationsAlonzo ChurchAssociation for Symbolic LogicBenson MatesBurton DrebenChurch–Rosser theoremChurch–Turing thesisDecember 6Emilio SpedicatoFuzzy conceptGerald SacksGödel's incompleteness theoremsHalting problemHaskell CurryHistory of the Church–Turing thesisIndex of philosophy articles (I–Q)Institute for Defense AnalysesJ.B. RosserJ. B. RosserJ. Barkley Rosser Jr.John Barkley RosserJohn Barkley Rosser Sr.John RosserKinetic exchange models of marketsKleene–Rosser paradoxLambda calculusList of American mathematiciansList of Guggenheim Fellowships awarded in 1953List of International Congresses of Mathematicians Plenary and Invited SpeakersList of University of Florida honorary degree recipientsList of incomplete proofsList of logiciansLogical consequenceLogicismOn Formally Undecidable Propositions of Principia Mathematica and Related SystemsOrdered pairPost–Turing machine
Link from a Wikipage to another Wikipage
primaryTopic
J. Barkley Rosser
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 prime number theory, he proved Rosser's theorem. The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
has abstract
John Barkley Rosser Sr. (Decem ...... ity in Harrisonburg, Virginia.
@en
John Barkley Rosser Sr. (Jacks ...... outoramento foi Alonzo Church.
@pt
John Barkley Rosser père (6 dé ...... on à Harrisonburg en Virginie.
@fr
ジョン・バークリー・ロッサー(John Barkley Ro ...... 定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。
@ja
존 버클리 로서 경(John Barkley Rosser ...... 처치의 학생이었고, 처치-로서 정리로 잘 알려져있다.
@ko
academic discipline
alma mater
birth date
1907-12-06
birth place
death date
1989-09-05
death place
doctoral advisor
doctoral student
nationality
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,609,514
Link from a Wikipage to another Wikipage
alma mater
birth date
1907-12-06
birth place
Jacksonville, Florida, U.S.
@en
death date
1989-09-05
death place
Madison, Wisconsin, U.S.
@en
doctoral advisor
doctoral students
Gerald Sacks
@en
known for
name
John Barkley Rosser
@en
nationality
wikiPageUsesTemplate
wordnet_type
subject
sameAs
comment
John Barkley Rosser Sr. (Decem ...... bda calculus was inconsistent.
@en
John Barkley Rosser Sr. (Jacks ...... da original era inconsistente.
@pt
John Barkley Rosser père (6 dé ...... 89, dans sa maison de Madison.
@fr
ジョン・バークリー・ロッサー(John Barkley Ro ...... 定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。
@ja
존 버클리 로서 경(John Barkley Rosser ...... 처치의 학생이었고, 처치-로서 정리로 잘 알려져있다.
@ko
label
J. Barkley Rosser
@en
John Barkley Rosser
@de
John Barkley Rosser
@fr
John Barkley Rosser
@pt
ジョン・バークリー・ロッサー
@ja
존 버클리 로서
@ko
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
John Barkley Rosser
@en