Jump to content

Kurt Gödel Society

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Citation bot (talk | contribs) at 19:45, 1 October 2023 (Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Eastmain | Category:International organisations based in Austria | #UCB_Category 21/24). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The Kurt Gödel Society (KGS) is a learned society which was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to subjects that are connected with Austrian logician and mathematician Kurt Gödel, in whose honour it was named.

The group also organizes an ongoing lecture series called Collegium Logicum. Former speakers include Henk Barendregt, George Boolos, Jaakko Hintikka and Wilfrid Hodges.

In April 2006, the Gödel society organized Horizons of Truth, an international symposium celebrating the 100th birthday of Kurt Gödel. In 2011 the Gödel society, with support from the John Templeton Foundation, awarded five "Kurt Gödel Centenary Research Prize Fellowships", with a total amount of US$680,000. The recipients were David Fernández, Pavel Hrubes, Andrey Bovykin, Peter Koellner, and Thierry Coquand.[1] In 2008, the first round of these fellowships was awarded.[2] In 2015, SIGLOG, EATCS, EACSL and the Kurt Gödel Society established the "Alonzo Church Award for Outstanding Contributions to Logic and Computation".[3]

References

  1. ^ "The Logical Mind: Connecting Foundations and Technology Competition".
  2. ^ "Kurt Gödel Centenary Research Prize Fellowship".
  3. ^ "NOTICES". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. doi:10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. S2CID 231797260.