J. Barkley Rosser Sr.

URI: https://gptkb.org/entity/J._Barkley_Rosser_Sr.
GPTKB entity
Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Princeton_University
gptkbp:awardReceived gptkb:Lester_R._Ford_Award
gptkbp:birthDate 1907-03-06
gptkbp:birthPlace gptkb:Jacksonville,_Florida,_United_States
gptkbp:child gptkb:J._Barkley_Rosser_Jr.
gptkbp:deathDate 1989-02-05
gptkbp:deathPlace gptkb:Madison,_Wisconsin,_United_States
gptkbp:doctoralAdvisor gptkb:Alonzo_Church
gptkbp:doctoralStudent gptkb:John_Myhill
gptkb:Raymond_Smullyan
gptkb:Stephen_Kleene
gptkb:J._Barkley_Rosser_Jr.
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:logic
computability theory
number theory
gptkbp:fullName gptkb:John_Barkley_Rosser_Sr.
https://www.w3.org/2000/01/rdf-schema#label J. Barkley Rosser Sr.
gptkbp:knownFor gptkb:Church–Rosser_theorem
gptkb:Rosser's_theorem
gptkb:Rosser's_trick
gptkb:Rosser_sieve
gptkbp:memberOf gptkb:American_Mathematical_Society
gptkbp:nationality gptkb:United_States
gptkbp:occupation gptkb:mathematician
gptkbp:spouse gptkb:Mary_Rosser
gptkbp:bfsParent gptkb:J._Barkley_Rosser_Jr.
gptkbp:bfsLayer 6