В других случаях пессимистический взгляд вызывается простыми недоразумениями

В других случаях пессимистический взгляд вызывается простыми недоразумениями. Наглядным примером служит следствие знаменитой теоремы Курта Гёделя в теории логики, доказывающей неполноту элементарной арифметики. Предполагается, что эта теорема демонстрирует ограниченность логики в математике, а следовательно и человеческого разума вообще.

На самом деле ничего такого она не демонстрирует. Результат Гёделя позволяет нам воспринять все истины элементарной арифметики как логические следствия соответствующих аксиом. Он показывает только, что цифровой автомат не может механически перечислить все эти истины. Он выявляет ограниченность вычислительных машин, а не людей или их логики и математики, и уж конечно не человеческого разума. Он должен тревожить хакеров, а не философов.

Яакко Хинтикка

Источник: vk.com

Комментарии: