Alfred Teitelbaum
E450973
Alfred Teitelbaum, better known as Alfred Tarski, was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Alfred Teitelbaum canonical | 1 |
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ mathematician ⓘ |
| birthName | Alfred Teitelbaum NERFINISHED ⓘ |
| countryOfCitizenship |
Poland
ⓘ
United States of America ⓘ |
| educatedAt | University of Warsaw NERFINISHED ⓘ |
| ethnicGroup | Polish Jews NERFINISHED ⓘ |
| familyName |
Tarski
NERFINISHED
ⓘ
Teitelbaum NERFINISHED ⓘ |
| fieldOfWork |
algebraic logic
ⓘ
formal semantics ⓘ mathematical logic ⓘ metamathematics ⓘ model theory ⓘ set theory ⓘ |
| givenName | Alfred ⓘ |
| influenced |
computer science
ⓘ
formal semantics of natural language ⓘ model theory ⓘ philosophy of language ⓘ philosophy of logic ⓘ set theory ⓘ |
| movement | analytic philosophy ⓘ |
| notableIdea |
algebraic approach to logic
ⓘ
consequence operator in logic NERFINISHED ⓘ cylindric algebras ⓘ model-theoretic semantics ⓘ relation algebras ⓘ truth in formalized languages ⓘ |
| notableStudent |
Dana Scott
NERFINISHED
ⓘ
J. Donald Monk NERFINISHED ⓘ Leon Henkin NERFINISHED ⓘ Robert Vaught NERFINISHED ⓘ Solomon Feferman NERFINISHED ⓘ Steven Givant NERFINISHED ⓘ |
| notableWork |
Banach–Tarski paradox
NERFINISHED
ⓘ
Tarski’s World (inspired work on semantics and logic education) NERFINISHED ⓘ Tarski’s definition of truth NERFINISHED ⓘ Tarski’s fixed point theorem NERFINISHED ⓘ Tarski’s high school algebra problem NERFINISHED ⓘ Tarski’s undefinability theorem NERFINISHED ⓘ semantic theory of truth NERFINISHED ⓘ “Introduction to Logic and to the Methodology of Deductive Sciences” NERFINISHED ⓘ “Logic, Semantics, Metamathematics” NERFINISHED ⓘ “The Concept of Truth in Formalized Languages” NERFINISHED ⓘ |
| positionHeld | professor of mathematics ⓘ |
| religion | Judaism ⓘ |
| workLocation |
University of California, Berkeley
NERFINISHED
ⓘ
University of Warsaw NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.