Рационалистический оптимизм и философия Курта Геделя.
Ключевые слова:
Гедель, неразрешимость, рационалистический оптимизм, машинный вывод, ментализм, механицизм, мистицизм, человеческий умАннотация
Статья посвящена философии Курта Геделя, в частности, малоизвестным концепциям, которые стали доступны после посмертной публикации его записных книжек и других материалов. Дана характеристика источников сведений о философии Геделя, ее связи с философскими системами Лейбница и Канта. Рассмотрена поставленная Геделем дилемма: либо существуют абсолютно неразрешимые математические утверждения, либо человеческий ум превосходит конечную машину. Показана философская важность дилеммы в противостоянии двух направлений – ментализма и механицизма – в понимании соотношения человеческого и машинного мышления. Объяснены позиция Геделя как менталиста и происхождение его рационалистического оптимизма.