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 |
How this entity was disambiguated
This entity first appeared as the object of triple T3380909 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Alfred Teitelbaum Context triple: [Alfred Tarski, birthName, Alfred Teitelbaum]
-
A.
Adolf Berman
Adolf Berman was a Polish Jewish activist, Holocaust survivor, and politician known for his role in the Jewish resistance and postwar advocacy for survivors’ rights.
-
B.
Edmund Meisel
Edmund Meisel was a German composer best known for his pioneering, politically charged film scores for silent cinema, particularly his work on Soviet montage films.
-
C.
Louis Finkelstein
Louis Finkelstein was a prominent American Conservative rabbi and scholar who served as a long-time leader and chancellor of the Jewish Theological Seminary of America.
-
D.
Samuel Lipman
Samuel Lipman was one of the Russian-born Jewish anarchists prosecuted in the 1919 U.S. Supreme Court case Abrams v. United States for distributing anti-war leaflets during World War I.
-
E.
Irving Brecher
Irving Brecher was an American screenwriter best known for his work on Marx Brothers comedies and classic Hollywood films of the 1930s and 1940s.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Alfred Teitelbaum Target entity description: 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.
-
A.
Adolf Berman
Adolf Berman was a Polish Jewish activist, Holocaust survivor, and politician known for his role in the Jewish resistance and postwar advocacy for survivors’ rights.
-
B.
Edmund Meisel
Edmund Meisel was a German composer best known for his pioneering, politically charged film scores for silent cinema, particularly his work on Soviet montage films.
-
C.
Louis Finkelstein
Louis Finkelstein was a prominent American Conservative rabbi and scholar who served as a long-time leader and chancellor of the Jewish Theological Seminary of America.
-
D.
Samuel Lipman
Samuel Lipman was one of the Russian-born Jewish anarchists prosecuted in the 1919 U.S. Supreme Court case Abrams v. United States for distributing anti-war leaflets during World War I.
-
E.
Irving Brecher
Irving Brecher was an American screenwriter best known for his work on Marx Brothers comedies and classic Hollywood films of the 1930s and 1940s.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Alfred Teitelbaum Description of subject: 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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.