The Kurt Gödel Society was founded in Vienna

Vienna

Vienna is the capital and largest city of the Republic of Austria and one of the nine states of Austria. Vienna is Austria's primary city, with a population of about 1.723 million , and is by far the largest city in Austria, as well as its cultural, economic, and political centre...

, Austria in 1987. It is an international organization aimed at promoting research primarily on logic

Logic

In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...

, philosophy

Philosophy

Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...

 and the history of mathematics

History of mathematics

The area of study known as the history of mathematics is primarily an investigation into the origin of discoveries in mathematics and, to a lesser extent, an investigation into the mathematical methods and notation of the past....

, with special attention to connections with Kurt Gödel

Kurt Gödel

Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...

, in whose honour it was named.

The group also organizes an ongoing lecture series called Collegium Logicum. Former speakers include Henk Barendregt

Henk Barendregt

Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel...

, George Boolos

George Boolos

George Stephen Boolos was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.- Life :...

, Jaakko Hintikka

Jaakko Hintikka

Kaarlo Jaakko Juhani Hintikka is a Finnish philosopher and logician.Hintikka was born in Vantaa. After teaching for a number of years at Florida State University, Stanford, University of Helsinki, and the Academy of Finland, he is currently Professor of Philosophy at Boston University...

 and Wilfrid Hodges

Wilfrid Hodges

Wilfrid Augustine Hodges is a British mathematician, known for his work in model theory. He was Professor of Mathematics at Queen Mary, University of London from 1987 to 2006, and is the author of numerous books on logic....

.

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 Templeton Foundation will award 5 "Kurt Gödel Centenary Research Prize Fellowships", with a total amount of 680,000 USD. http://fellowship.logic.at/ In 2008, the first round of these fellowships was awarded. http://kgs.logic.at/goedel-fellowship/