Sociedade Kurt Gödel
Pontos principais
- Fundada em 1987 em Viena, Áustria.
- Promove pesquisas em lógica, filosofia e história da matemática.
- Organiza a série de palestras Collegium Logicum.
- Concede bolsas de pesquisa com apoio da Fundação John Templeton.
A Sociedade Kurt Gödel (KGS, do inglês Kurt Gödel Society) é uma sociedade erudita fundada em 1987 em Viena, Áustria. A organização atua como uma entidade internacional cujo objetivo principal é promover a pesquisa nas áreas de lógica, filosofia e história da matemática.
Foco e Objetivos
A sociedade dedica especial atenção a temas relacionados ao trabalho do lógico e matemático austríaco Kurt Gödel, em cuja homenagem a instituição foi nomeada. A KGS busca fomentar o intercâmbio acadêmico e o avanço do conhecimento em campos fundamentais da matemática e da lógica formal.
Atividades e Iniciativas
Collegium Logicum
Uma das principais atividades da sociedade é a organização do Collegium Logicum, uma série contínua de palestras acadêmicas. Entre os palestrantes que já integraram este ciclo estão nomes proeminentes da lógica e filosofia, como Henk Barendregt, George Boolos, Jaakko Hintikka e Wilfrid Hodges.
Simpósio Horizons of Truth
Em abril de 2006, a Sociedade Kurt Gödel organizou o simpósio internacional Horizons of Truth. O evento foi realizado para celebrar o centenário do nascimento de Kurt Gödel, reunindo especialistas para discutir a verdade e a lógica.
Prêmios e Bolsas de Pesquisa
Com o apoio da Fundação John Templeton, a sociedade concede as Kurt Gödel Research Prize Fellowships (Bolsas de Prêmio de Pesquisa Kurt Gödel). Exemplos de concessões financeiras incluem:
- 2008: Um total de US$ 680.000 foi distribuído entre os pesquisadores David Fernández-Duque, Pavel Hrubeš, Andrey Bovykin, Peter Koellner e Thierry Coquand.
- 2011: Um total de 450.000 euros foi concedido a Danko Ilik, Sean Walsh, Maryanthe Malliaris, Matteo Viale e Ulrich Kohlenbach.
Prêmio Alonzo Church
Em 2015, a Sociedade Kurt Gödel, em parceria com a SIGLOG, a EATCS (European Association for Theoretical Computer Science) e a EACSL (European Association for Computer Science Logic), estabeleceu o Alonzo Church Award for Outstanding Contributions to Logic and Computation, destinado a premiar contribuições excepcionais nas áreas de lógica e computação.
Perguntas frequentes
O que é a Sociedade Kurt Gödel?
É uma sociedade erudita internacional fundada em Viena em 1987, focada na promoção de a pesquisa em lógica, filosofia e história da matemática.
Qual a relação da sociedade com Kurt Gödel?
A sociedade foi nomeada em honra ao matemático e lógico austríaco Kurt Gödel e prioriza pesquisas ligadas aos seus temas de estudo.
O que é o Collegium Logicum?
É uma série de palestras organizadas pela Sociedade Kurt Gödel que conta com a participação de renomados acadêmicos da área de lógica.
A Sociedade Kurt Gödel concede prêmios?
Sim, a sociedade concede as Kurt Gödel Research Prize Fellowships e co-fundou o Prêmio Alonzo Church para contribuições em lógica e computação.