Harvey Friedman

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Massachusetts_Institute_of_Technology
gptkbp:awardReceived	gptkb:Alan_T._Waterman_Award
gptkbp:birthDate	1948-09-23
gptkbp:doctoralAdvisor	gptkb:Gerald_E._Sacks
gptkbp:employer	gptkb:Ohio_State_University
gptkbp:field	gptkb:logic gptkb:set_theory foundations of mathematics
gptkbp:hasSibling	gptkb:Sy_Friedman
https://www.w3.org/2000/01/rdf-schema#label	Harvey Friedman
gptkbp:memberOf	gptkb:American_Mathematical_Society
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Friedman's_grand_conjecture gptkb:Friedman's_trick
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:bfsParent	gptkb:Solomon_Feferman gptkb:Foundations_of_mathematics
gptkbp:bfsLayer	5