William Tait

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Princeton_University
gptkbp:birthYear	1929
gptkbp:doctoralAdvisor	gptkb:Alonzo_Church
gptkbp:employer	gptkb:Stanford_University gptkb:University_of_Chicago gptkb:University_of_Illinois_at_Chicago gptkb:University_of_Aarhus
gptkbp:field	gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label	William Tait
gptkbp:nationality	Scottish
gptkbp:notableStudent	gptkb:Solomon_Feferman
gptkbp:notableWork	gptkb:Finitism gptkb:Intensional_Interpretations_of_Functionals_of_Finite_Type_I
gptkbp:occupation	gptkb:mathematician gptkb:philosopher
gptkbp:bfsParent	gptkb:Solomon_Feferman
gptkbp:bfsLayer	5