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.
4-583: 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
8-519: A postdoctoral position at Stanford University , he taught at Utrecht University . Since 1986, Barendregt has taught at Radboud University Nijmegen , where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also adjunct professor at Carnegie Mellon University , Pittsburgh, US. He has been a visiting scholar at Darmstadt , ETH Zürich , Siena, and Kyoto. Barendregt
12-482: A total amount of US$ 680,000. The recipients were David Fernández, Pavel Hrubes, Andrey Bovykin, Peter Koellner, and Thierry Coquand. In 2008, the first round of these fellowships was awarded. In 2015, SIGLOG , EATCS , EACSL and the Kurt Gödel Society established the " Alonzo Church Award for Outstanding Contributions to Logic and Computation". This article about a philosophy -related organization
16-538: Is a stub . You can help Misplaced Pages by expanding it . This article about a mathematics organization is a stub . You can help Misplaced Pages by expanding it . Henk Barendregt Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam ) is a Dutch logician , known for his work in lambda calculus and type theory . Barendregt studied mathematical logic at Utrecht University , obtaining his master's degree in 1968 and his PhD in 1971, both cum laude , under Dirk van Dalen and Georg Kreisel . After
#476523