Kurt Gödel Society
Mokgatlho wa Kurt Gödel (KGS) ke mokgatlho wa batho ba ba rutegileng o o neng wa tlhongwa kwa Vienna, kwa Austria ka 1987. Ke mokgatlho wa boditšhabatšhaba o o ikaeletseng go rotloetsa dipatlisiso tse di ikaeletseng go rotloetsa dipatlisiso tse di ikaeletsweng thata ka ga logic, filosofi le hisitori ya dipalo, ka tlhokomelo e e kgethegileng mo dirutweng tse di amanang le Kurt yo o bidiwang Kurt yo o neng a tlotla dipalo.
Setlhopha seno gape se rulaganya motseletsele wa dithuto tse di tswelelang pele tse di bidiwang Collegium Logicum. Dibui tsa pele di akaretsa Henk Barendregt, George Boolos, Jaakko Hintikka le Wilfrid Hodges.
Ka Moranang 2006, mokgatlho wa Gödel o ne wa rulaganya Horizons of Truth, e leng simposiamo sa boditšhabatšhaba se se neng se keteka letsatsi la matsalo la bo 100 la ga Kurt Gödel.[1]Mokgatlho wa Gödel, ka tshegetso ya Mokgatlho wa John Templeton, o aba "Dithuso tsa Mokgele wa Patlisiso wa Kurt Gödel".[2] Ka 2008, go ne ga abelwa baamogedi ba madi a a kana ka R1 000 000 000. Ka 2011, go ne ga abelwa baamogedi ba madi a a kana ka EUR 450 000.[3] Ka 2015, SIGLOG, EATCS, EACSL le Mokgatlho wa ga Kurt Gödel ba ne ba tlhoma "Kabo ya Kereke ya Alonzo ya Dikabelo tse di Tlhomologileng mo go tsa Logic le Dipalo".[4]
Metswedi
[fetola | Fetola Motswedi]- ↑ "Notices". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. doi:10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. S2CID 231797260.
- ↑ "Notices". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. doi:10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. S2CID 231797260.
- ↑ "Notices". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. doi:10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. S2CID 231797260.
- ↑ "Notices". The Bulletin of Symbolic Logic. 23 (4): 540–545. 2017. doi:10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. S2CID 231797260.