Kurt Gödel Society
E971318
UNEXPLORED
The Kurt Gödel Society is an international organization dedicated to the promotion of research and education in logic, philosophy, and the foundations of computer science and mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Kurt Gödel Society canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T12207083 — 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: Kurt Gödel Society Context triple: [Alonzo Church Award for Outstanding Contributions to Logic and Computation, sponsor, Kurt Gödel Society]
-
A.
Association for Symbolic Logic
The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
-
B.
Kurt Gödel
Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
-
C.
Vienna Circle
The Vienna Circle was an influential early 20th-century group of philosophers and scientists in Vienna who promoted a scientifically grounded, anti-metaphysical approach to philosophy that became known as logical positivism.
-
D.
Leibniz Association
The Leibniz Association is a German network of non-university research institutes that conduct interdisciplinary and application-oriented research across a wide range of scientific fields.
-
E.
Logic, Methodology and Science
"Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
- 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: Kurt Gödel Society Target entity description: The Kurt Gödel Society is an international organization dedicated to the promotion of research and education in logic, philosophy, and the foundations of computer science and mathematics.
-
A.
Association for Symbolic Logic
The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
-
B.
Kurt Gödel
Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
-
C.
Vienna Circle
The Vienna Circle was an influential early 20th-century group of philosophers and scientists in Vienna who promoted a scientifically grounded, anti-metaphysical approach to philosophy that became known as logical positivism.
-
D.
Leibniz Association
The Leibniz Association is a German network of non-university research institutes that conduct interdisciplinary and application-oriented research across a wide range of scientific fields.
-
E.
Logic, Methodology and Science
"Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Alonzo Church Award for Outstanding Contributions to Logic and Computation
→
sponsor
→
Kurt Gödel Society
ⓘ