J. Barkley Rosser Sr.

URI: https://gptkb.org/entity/J._Barkley_Rosser_Sr.

GPTKB entity

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.
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	7
https://www.w3.org/2000/01/rdf-schema#label	J. Barkley Rosser Sr.