Религиозно-философские аспекты мысли К.Геделя
26 февраля 2009 г.Статья доцента Тобольской духовной семинарии священника Димитрия Кирьянова посвящена малоизвестному направлению творчества выдающегося логика и математика XX века Курта Геделя — а именно религиозно-философским вопросам.
Выдающийся логик и математик XX века К.Гедель (1906-1978) известен в научном мире, главным образом, благодаря теоремам о неполноте, которые являются шедеврами математики, а также благодаря модели вращающейся вселенной, в которой совпадают удаленное прошлое и удаленное будущее. Будучи специалистом в области теории доказательств, он смог сделать модальную логику серьезным научным инструментом благодаря демонстрации полезности модальных операторов в исследовании оснований математики.