La Sociedad Kurt Gödel (KGS) es una sociedad erudita fundada en Viena, Austria, en 1987. Esta organización internacional tiene como objetivo principal promover la investigación en los campos de la lógica, la filosofía y la historia de las matemáticas, prestando especial atención a los temas relacionados con el legadoy el trabajo del renombrado logico y matemático austriaco Kurt Gödel, en cuyo honor fue nombrada.
Actividades y Contribuciones Académicas
Para fomentar el intercambio de ideas y el avance del conocimiento, la sociedad organiza una serie de conferencias continuas denominada Collegium Logicum. Este ciclo de ponencias ha contado con la participación de destacados académicos y expertos internacionales, entre los que se encuentran Henk Barendregt, George Boolos, Jaakko Hintikka y Wilfrid Hodges.
Simposios y Celebraciones
En abril de 2006, la Sociedad Gödel organizó el simposio internacional Horizons of Truth (Horizontes de la Verdad), un evento dedicado a celebrar el centenario del nacimiento de Kurt Gödel. Este encuentro sirvió para analizar la profundidad y el impacto de those work in la lógica moderna.
Premios y Reconocimientos
Con el apoyo de la Fundación John Templeton, la Sociedad Kurt Gödel otorga las "Kurt Gödel Research Prize Fellowships" (Becas de Investigación Kurt Gödel). Estas becas han beneficiado a numerosos investigadores destacados en el área. Por ejemplo:
- En 2008: Se otorgó un total de 680.000 dólares estadounidenses a investigadores como David Fernández-Duque, Pavel Hrubeš, Andrey Bovykin, Peter Koellner y Thierry Coquand.
- En 2011: Se distribuyeron 450.000 euros entre Danko Ilik, Sean Walsh, Maryanthe Malliaris, Matteo Viale y Ulrich Kohlenbach.
El Premio Alonzo Church
En 2015, la Sociedad Kurt Gödel, en colaboración con SIGLOG, EATCS y EACSL, estableció el "Alonzo Church Award for Outstanding Contributions to Logic and Computation" (Premio Alonzo Church por Contribuciones Destacadas a la Lógica y la Computación), consolidando su papel como referente global en el estudio de la lógica y la computación.