Tarski

GPTKB entity

Statements (55)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Warsaw
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkb:Alfred_Jurzykowski_Prize
gptkbp:birthDate 1901-01-14
gptkbp:birthName gptkb:Alfred_Teitelbaum
gptkbp:birthPlace gptkb:Warsaw
gptkbp:deathDate 1983-10-26
gptkbp:deathPlace gptkb:Berkeley,_California
gptkbp:doctoralAdvisor gptkb:Stanisław_Leśniewski
gptkbp:employer gptkb:University_of_California,_Berkeley
gptkbp:field gptkb:algebra
gptkb:logic
gptkb:set_theory
gptkb:topology
model theory
semantics
metamathematics
gptkbp:fullName gptkb:Alfred_Tarski
https://www.w3.org/2000/01/rdf-schema#label Tarski
gptkbp:influenced gptkb:Abraham_Robinson
gptkb:Dana_Scott
gptkb:Haim_Gaifman
gptkb:Julia_Robinson
gptkb:Leon_Henkin
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
gptkb:Andrzej_Mostowski
gptkb:Angus_Macintyre
gptkb:C.C._Chang
gptkb:Donald_Monk
gptkb:Wilfrid_Hodges
gptkb:Alfred_Horn
gptkb:J._Donald_Monk
gptkb:John_C._Shepherdson
gptkb:Steven_Givant
Alfred Tarski's students
gptkbp:knownFor gptkb:Tarski's_fixed_point_theorem
gptkb:Tarski's_theorem
gptkb:Tarski's_undefinability_theorem
gptkb:Tarski–Seidenberg_theorem
gptkb:Tarski–Kuratowski_algorithm
gptkb:Tarski_monster_group
semantic theory of truth
gptkbp:memberOf gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
gptkb:Polish_Academy_of_Sciences
gptkbp:nationality gptkb:American
Polish
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:religion gptkb:Judaism
gptkbp:spouse gptkb:Maria_Witkowska
gptkbp:bfsParent gptkb:Jan_Tarski
gptkbp:bfsLayer 6