La Sociedad Kurt Gödel ( KGS ) es una sociedad científica fundada en Viena , Austria, en 1987. Es una organización internacional destinada a promover la investigación principalmente en lógica , filosofía e historia de las matemáticas , con especial atención a temas relacionados con el lógico y matemático austríaco Kurt Gödel , en cuyo honor recibió su nombre.
El grupo también organiza un ciclo de conferencias en curso llamado Collegium Logicum . Entre los oradores anteriores se encuentran Henk Barendregt , George Boolos , Jaakko Hintikka y Wilfrid Hodges .
En abril de 2006, la Sociedad Gödel organizó Horizontes de la Verdad , un simposio internacional que celebraba el centenario del nacimiento de Kurt Gödel. En 2011, la Sociedad Gödel, con el apoyo de la Fundación John Templeton , otorgó cinco "Becas del Premio de Investigación del Centenario de Kurt Gödel", con un monto total de 680.000 dólares estadounidenses. Los beneficiarios fueron David Fernández, Pavel Hrubes, Andrey Bovykin, Peter Koellner y Thierry Coquand. [1] En 2008, se otorgó la primera ronda de estas becas. [2] En 2015, SIGLOG , EATCS , EACSL y la Sociedad Kurt Gödel establecieron el " Premio Alonzo Church por contribuciones destacadas a la lógica y la computación". [3]