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 2

How this entity was disambiguated

Statements (50)

Predicate Object
instanceOf human
logician
mathematician
birthName Alfred Teitelbaum
countryOfCitizenship Poland
United States of America
educatedAt University of Warsaw
ethnicGroup Polish Jews
familyName Tarski
linked to: Alfred Tarski

Teitelbaum
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
cylindric algebras
model-theoretic semantics
relation algebras
truth in formalized languages
notableStudent Dana Scott
J. Donald Monk
Leon Henkin
Robert Vaught
Solomon Feferman
Steven Givant
notableWork Banach–Tarski paradox
Tarski’s World (inspired work on semantics and logic education)
Tarski’s definition of truth
Tarski’s fixed point theorem
Tarski’s high school algebra problem
Tarski’s undefinability theorem
semantic theory of truth
“Introduction to Logic and to the Methodology of Deductive Sciences”
“Logic, Semantics, Metamathematics”
“The Concept of Truth in Formalized Languages”
positionHeld professor of mathematics
religion Judaism
workLocation University of California, Berkeley
University of Warsaw

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Alfred Tarski birthName Alfred Teitelbaum
Alfred Tarski birthName Alfred Teitelbaum
subject linked to: Alfred Teitelbaum