GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
J. Barkley Rosser
URI:
https://gptkb.org/entity/J._Barkley_Rosser
GPTKB entity
Statements (24)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkbp:birthDate
1907-03-06
gptkbp:child
gptkb:J._Barkley_Rosser_Jr.
gptkbp:deathDate
1989-02-05
gptkbp:doctoralAdvisor
gptkb:Alonzo_Church
gptkbp:field
gptkb:algebra
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
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:president
gptkb:Association_for_Symbolic_Logic
gptkbp:spouse
gptkb:Alice_Ambrose
gptkbp:workInstitution
gptkb:Cornell_University
gptkbp:bfsParent
gptkb:Ruth_Barcan_Marcus
gptkbp:bfsLayer
4