GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Robert Soare
URI:
https://gptkb.org/entity/Robert_Soare
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Cornell_University
gptkb:Princeton_University
gptkbp:awardReceived
gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear
1941
gptkbp:doctoralAdvisor
gptkb:Clifford_Spector
gptkbp:employer
gptkb:University_of_Chicago
gptkbp:field
gptkb:logic
computability theory
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Robert Soare
gptkbp:member
gptkb:American_Academy_of_Arts_and_Sciences
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:Recursively_Enumerable_Sets_and_Degrees
gptkb:Turing_Computability:_Theory_and_Applications
gptkbp:occupation
gptkb:mathematician
gptkbp:position
gptkb:professor
gptkbp:bfsParent
gptkb:Anil_Nerode
gptkbp:bfsLayer
5