Hartley Rogers Jr.

URI: https://gptkb.org/entity/Hartley_Rogers_Jr.

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Princeton_University
gptkbp:awardReceived	gptkb:Chauvenet_Prize gptkb:MIT_Graduate_Student_Council_Teaching_Award
gptkbp:birthDate	1926-07-06
gptkbp:deathDate	2015-07-17
gptkbp:doctoralAdvisor	gptkb:Alonzo_Church
gptkbp:doctoralStudent	gptkb:John_Myhill gptkb:Robert_Vaught gptkb:Andrew_M._Pitts gptkb:Carl_Jockusch gptkb:Clifford_Spector gptkb:David_Marker gptkb:John_E._Shore gptkb:John_R._Myhill gptkb:John_Stillwell gptkb:Julia_Knight gptkb:Manuel_Lerman gptkb:Patrick_C._Fischer gptkb:Richard_A._Shore gptkb:Richard_Platek gptkb:Robert_I._Soare gptkb:Stephen_G._Simpson gptkb:Stephen_Simpson gptkb:Theodore_Slaman gptkb:William_Gasarch gptkb:William_W._Boone gptkb:Robert_L._Constable
gptkbp:employer	gptkb:Massachusetts_Institute_of_Technology
gptkbp:field	gptkb:logic computability theory recursion theory
https://www.w3.org/2000/01/rdf-schema#label	Hartley Rogers Jr.
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Theory_of_Recursive_Functions_and_Effective_Computability
gptkbp:occupation	gptkb:mathematician gptkb:professor
gptkbp:bfsParent	gptkb:Alonzo_Church
gptkbp:bfsLayer	4