«Важнейший результат, полученный Гёделем, состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в том числе аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, которые в их рамках недоказуемы и неопровергаемы. Этот результат Гёделя вызвал интенсивные исследования ограниченностей формальных систем (работы А.Черча, С.Клини, А.Тарского, А.Мостовского, П.Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания» (стр. 65).
Но вопрос об установлении лада между формализованным знанием и неформализованными навыками в жизнедеятельности “Философский словарь” обходит молчанием, хотя это — наиболее значимый в жизни людей вопрос.
[407] Однако сторонник оккультизма-эзотеризма не заметил сбоя в работе формальной рассудочности при возведении «материи» в ранг всеобщего понятия «объективной реальности».
[408] Богослов, философ, с 1093 г. архиепископ Кентерберийский. “Большая Советская энциклопедия” (изд. 3, т. 2, стр. 47) приводит его высказывание несколько в иной редакции: «Не ищу уразуметь, дабы уверовать, но верую, дабы уразуметь» (“Proslogion”, стр. 1).
Его высказывание было бы правильным, если бы он ещё и веровал не библейским Ветхому и Новому
[409] Возможно имеется в виду Дзэн-Буддизм (примечание при цитировании).
[410] Но вопрос о том: “Следует ли выявлять в Библии и в других доктринах человечества внутреннюю саморазрушительную конфликтность алгоритмики поведения людей и обществ на их основе?” — не ставится.
[411] Это утверждение автора цитируемой работы ошибочно: ответ на вопрос о бытии Бога — не предмет веры, а результат этики — достоверное знание, на основе нравственно обусловленной веры Богу. Вследствие этого воззрения автор цитируемой работы остаётся в границах ведической — знахарской демонической культуры, о чём свидетельствует и употребляемая им далее терминология: «Сансара» и т.п.
[412] Это утверждение тоже ошибочно: всё наоборот: Образ Божий, определённость понятия Бог являются началом, от которого всегда должно развертываться нормальное мировоззрение и миропонимание, нормальный алгоритм выявления и разрешения жизненных проблем людьми, но никак не завершением той или иной «логической системы».
[413] «ДЕДУКЦИЯ (лат. deductio — выведение) — один из основных способов рассуждения
[414] Этот фактор объективно существует вне зависимости от факта доказанности в настоящем либо недоказанности в прошлом теоремы К.Гёделя, а также и вне зависимости от того, доказана ли эта теорема «для очень примитивной схемы логических рассуждений» либо для более развитой схемы логических рассуждений объективно возможно доказать некую более общую теорему, на что
[415] В первой редакции эта фраза была в следующей редакции: «Субъективная диалектика» и сама теорема К.Гёделя требуют, чтобы ограничения этой теоремы преодолевались всякий раз жизненно-творчески, т.е., чтобы всякий раз сообразно жизненным обстоятельствам находилась такая форма (формальная система), чтобы в ней наилучшим образом выявился и выразился объективный смысл Правды-Истины.
Новая редакция точнее передаёт смысл.
[416] Неопределённости и неустойчивости взаимосвязей между компонентами мировоззрения.
[417] Как уже было сказано ранее: единственное различие в том, что для Бога они — Его субъективные нормы, избранные Им и заложенные Им в Предопределение бытия Мироздания как Праведность; а для всех остальных, Им сотворённых, они же — объективная необходимость, если они желают быть праведными.