Эрнест Нагель, Джеймс Рой Ньюмен. Теорема Гёделя



Скачать 72.03 Kb.
страница7/7
Дата30.07.2018
Размер72.03 Kb.
ТипКнига
1   2   3   4   5   6   7
Теоремы Гёделя1

Заключительные замечания

Итак, Гёдель показал, что решение задачи отыскания для каждой дедуктивной системы абсолютного доказательства непротиворечивости, удовлетворяющего предложенным Гильбертом требованиям «финитности», в высшей степени маловероятно. Имеется бесконечно много истинных арифметических предложений, которые нельзя формально вывести из произвольной данной системы аксиом посредством некоторого точного перечня правил вывода. Отсюда следует, что аксиоматический подход к арифметике натуральных чисел, кроме всего прочего, не в состоянии охватить всю область истинных арифметических суждений. Отсюда также вытекает, что то, что мы понимаем под процессом математического доказательства, не сводится к использованию аксиоматического метода. Формализованные аксиоматические процедуры доказательств основаны на некотором множестве выделенных и фиксированных с самого начала аксиом и правил вывода. Как видно уже из самих рассуждений, использованных в гёделевских доказательствах, изобретательность математиков в деле отыскания новых правил доказательства не поддается никаким априорным ограничениям. Таким образом, совершенно безнадежно рассчитывать на то, что понятию убедительного математического доказательства можно придать раз навсегда четко очерченные логические формы.

Платонизм (реализм) — доктрина, согласно которой математика не творит и не придумывает рассматриваемые в ней «объекты», а открывает их, подобно тому как, например, Колумб открыл Америку. Таким образом, согласно этой точке зрения, объекты должны в некотором смысле «существовать» до их «открытия».

Заключения, к которым пришел Гёдель, порождают, естественно, и вопрос, можно ли построить вычислительную машину, сравнимую по своим «творческим» математическим возможностям с человеческим мозгом. Современные вычислительные машины обладают некоторым точно фиксированным запасом команд, которые умеют выполнять их элементы и блоки; команды соответствуют фиксированным правилам вывода некоторой формализованной аксиоматической процедуры. Таким образом, машина решает задачу, шаг за шагом выполняя одну из «встроенных» в нее заранее команд. Однако, как видно из гёделевской теоремы о неполноте, уже в элементарной арифметике натуральных чисел возникает бесчисленное множество проблем, выходящих за пределы возможностей любой конкретной аксиоматической системы, а значит, и недоступных для таких машин, сколь бы остроумными и сложными ни были их конструкции и с какой бы громадной скоростью ни проделывали они свои операции. Для каждой конкретной задачи в принципе можно построить машину, которой эта задача была бы под силу, но нельзя создать машину, пригодную для решения любой задачи. Правда, и возможности человеческого мозга могут оказаться ограниченными, так что и человек тогда сможет решить не любую задачу. Но даже если это так, структурные и функциональные возможности человеческого мозга пока еще намного больше по сравнению с возможностями самых изощренных из мыслимых пока машин, так что непосредственной опасности вытеснения людей роботами не видно.

Возможности нашего мышления не сводятся к полностью формализуемым процедурам и нам еще предстоит открывать и изобретать новые принципы доказательств. Констатированные выше ограничения возможностей вычислительных машин не свидетельствуют и о беспочвенности надежд на объяснение явлений жизни и человеческого мышления в физико-химических терминах. Сама по себе теорема Гёделя не отвергает и не подтверждает возможности такого рода объяснений. Единственный непреложный вывод, который мы можем сделать из гёделевской теоремы о неполноте, состоит в том, что природа и возможности человеческого разума неизмеримо тоньше и богаче любой из известных пока машин. И работа самого Гёделя является замечательным примером этой тонкости и богатства, дающим повод отнюдь не для уныния, а, наоборот, для самых смелых надежд на силу творческой мысли.

По этой теме я ранее читал:

Даглас Хофштадтер. Гедель, Эшер, Бах. Эта бесконечная гирлянда

Грегори Хайтин. Пределы доказуемости



Чарльз Петцольд. Читаем Тьюринга

1 На мой взгляд, этот раздел, с одной стороны, не представляется возможным ужать до конспекта (желающие могут найти полный текст в Инете), а с другой стороны, он всё же весьма специфичен, и вряд ли уместен в блоге по менеджменту.

Каталог: wp-content -> uploads -> 2015
2015 -> Социальная философия
2015 -> Курсовая работа на тему: Наши эмоции друзья или враги? Их роль в конфликтоной ситуации
2015 -> Медиалогия как интегрированная наука информационной эпохи и ее роль в модернизации России Ключевые слова
2015 -> -
2015 -> Вопросы для подготовки к вступительному экзамену в аспирантуру по «Философии»
2015 -> Никколо Макиавелли
2015 -> Астрономия и современная картина мира
2015 -> Методы социологического исследования


Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница