JК
Диалектика и атеизм: две сути несовместны :: СССР Внутренний Предиктор
Страница: 618 из 645Гёделя ограничивается сообщением следующего:
«Важнейший результат, полученный Гёделем, состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в том числе аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, которые в их рамках недоказуемы и неопровергаемы. Этот результат Гёделя вызвал интенсивные исследования ограниченностей формальных систем (работы А.Черча, С.Клини, А.Тарского, А.Мостовского, П.Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания» (стр. 65).
Но вопрос об установлении лада между формализованным знанием и неформализованными навыками в жизнедеятельности “Философский словарь” обходит молчанием, хотя это — наиболее значимый в жизни людей вопрос.
[407] Однако сторонник оккультизма-эзотеризма не заметил сбоя в работе формальной рассудочности при возведении «материи» в ранг всеобщего понятия «объективной реальности».
[408] Богослов, философ, с 1093 г. архиепископ Кентерберийский. “Большая Советская энциклопедия” (изд. 3, т. 2, стр. 47) приводит его высказывание несколько в иной редакции: «Не ищу уразуметь, дабы уверовать, но верую, дабы уразуметь» (“Proslogion”, стр. 1).
«Важнейший результат, полученный Гёделем, состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в том числе аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, которые в их рамках недоказуемы и неопровергаемы. Этот результат Гёделя вызвал интенсивные исследования ограниченностей формальных систем (работы А.Черча, С.Клини, А.Тарского, А.Мостовского, П.Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания» (стр. 65).
Но вопрос об установлении лада между формализованным знанием и неформализованными навыками в жизнедеятельности “Философский словарь” обходит молчанием, хотя это — наиболее значимый в жизни людей вопрос.
[407] Однако сторонник оккультизма-эзотеризма не заметил сбоя в работе формальной рассудочности при возведении «материи» в ранг всеобщего понятия «объективной реальности».
[408] Богослов, философ, с 1093 г. архиепископ Кентерберийский. “Большая Советская энциклопедия” (изд. 3, т. 2, стр. 47) приводит его высказывание несколько в иной редакции: «Не ищу уразуметь, дабы уверовать, но верую, дабы уразуметь» (“Proslogion”, стр. 1).