Andrzej Tarski

GPTKB entity
AI-created image of Andrzej Tarski
AI-created image

Statements (61)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkb:mathematician
gptkb:person
gptkbp:almaMater gptkb:University_of_Warsaw
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkb:Alfred_Jurzykowski_Prize
Honorary doctorate from University of Warsaw
gptkbp:birthDate 1901-01-14
gptkbp:birthPlace gptkb:Warsaw
gptkbp:children gptkb:Ina_Tarski
gptkb:Jan_Tarski
gptkbp:citizenship gptkb:Poland
gptkb:United_States
gptkbp:deathDate 1983-10-26
gptkbp:deathPlace gptkb:Berkeley,_California
gptkbp:doctoralAdvisor gptkb:Stanisław_Leśniewski
gptkbp:doctoralStudent gptkb:Abraham_Robinson
gptkb:Alfred_Tarski
gptkb:Dana_Scott
gptkb:Haim_Gaifman
gptkb:Jerzy_Łoś
gptkb:Julia_Robinson
gptkb:Leon_Henkin
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
gptkb:Angus_Macintyre
gptkb:Bjarni_Jónsson
gptkb:C.C._Chang
gptkb:Donald_A._Martin
gptkb:Donald_Monk
gptkb:Jack_Silver
gptkb:John_Addison
gptkb:Richard_Montague
gptkbp:employer gptkb:University_of_California,_Berkeley
gptkb:University_of_Warsaw
gptkbp:field gptkb:algebra
gptkb:logic
gptkb:set_theory
gptkb:topology
measure theory
model theory
semantics
metamathematics
https://www.w3.org/2000/01/rdf-schema#label Andrzej Tarski
gptkbp:knownFor gptkb:Banach–Tarski_paradox
gptkb:Tarski's_World
gptkb:Tarski's_fixed_point_theorem
gptkb:Tarski's_theorem
gptkb:Tarski's_undefinability_theorem
gptkb:Tarski–Seidenberg_theorem
gptkb:Tarski–Grothendieck_set_theory
gptkb:Tarski–Kuratowski_algorithm
gptkb:Tarski–Vaught_test
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 Polish
gptkbp:spouse gptkb:Maria_Witkowska
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkbp:bfsLayer 4