Towarzystwo Kurta Gödla

Towarzystwo Kurta Gödla zostało założone w Wiedniu w Austrii w 1987 roku. Jest to międzynarodowa organizacja mająca na celu promowanie badań przede wszystkim nad logiką , filozofią i historią matematyki , ze szczególnym uwzględnieniem związków z Kurtem Gödelem , na cześć którego została nazwana.

Grupa organizuje również cykl wykładów pod nazwą Collegium Logicum . Byli mówcy to Henk Barendregt , George Boolos , Jaakko Hintikka i Wilfrid Hodges .

W kwietniu 2006 roku stowarzyszenie Gödel zorganizowało Horyzonty Prawdy , międzynarodowe sympozjum z okazji 100. urodzin Kurta Gödla. W 2011 r. Towarzystwo Gödel przy wsparciu Fundacji Templeton przyznało 5 stypendiów „Kurt Gödel Centenary Research Prize Fellowships” na łączną kwotę 680 000 USD. [1] W 2008 r. przyznano pierwszą turę tych stypendiów. [2] W 2015 roku SIGLOG, EATCS , EACSL i Towarzystwo Kurta Gödla ustanowiły „ Nagrodę Kościoła Alonzo ” za wybitny wkład w logikę i obliczenia”

Linki i referencje

• Towarzystwo Kurta Gödla