Alfred Tarski

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

Statements (62)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkb:mathematician
gptkb:person
gptkbp:almaMater gptkb:University_of_Warsaw
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
gptkbp:birthDate 1901-01-14
gptkbp:birthName gptkb:Alfred_Teitelbaum
gptkbp:birthPlace gptkb:Warsaw,_Poland
gptkbp:child gptkb:Andrzej_Tarski
gptkbp:citizenship gptkb:Poland
gptkb:United_States
gptkbp:deathDate 1983-10-26
gptkbp:deathPlace gptkb:Berkeley,_California,_USA
gptkbp:doctoralAdvisor gptkb:Stanisław_Leśniewski
gptkbp:doctoralStudent gptkb:Abraham_Robinson
gptkb:Dana_Scott
gptkb:Donald_B._A._Epstein
gptkb:Haim_Gaifman
gptkb:Jerzy_Łoś
gptkb:Julia_Robinson
gptkb:Leon_Henkin
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
gptkbp:employer gptkb:University_of_California,_Berkeley
gptkb:University_of_Warsaw
gptkbp:field gptkb:algebra
gptkb:geometry
gptkb:logic
gptkb:set_theory
gptkb:topology
model theory
semantics
https://www.w3.org/2000/01/rdf-schema#label Alfred Tarski
gptkbp:influenced gptkb:Dana_Scott
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
gptkbp:influencedBy gptkb:Jan_Łukasiewicz
gptkb:Kazimierz_Twardowski
gptkb:Kurt_Gödel
gptkb:Stanisław_Leśniewski
gptkb:Wacław_Sierpiński
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
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:publishedIn gptkb:A_Decision_Method_for_Elementary_Algebra_and_Geometry
gptkb:Introduction_to_Logic_and_to_the_Methodology_of_Deductive_Sciences
gptkb:Logic,_Semantics,_Metamathematics
gptkb:The_Concept_of_Truth_in_Formalized_Languages
gptkbp:religion gptkb:Judaism
gptkbp:spouse gptkb:Maria_Witkowska
gptkbp:bfsParent gptkb:Yehoshua_Bar-Hillel
gptkbp:bfsLayer 3