Вход на сайт
Вера в чудеса
1005 просмотров
Перейти к просмотру всей ветки
Ovid посетитель
в ответ TheUmka 01.07.03 19:35
В ответ на:Весь вопрос - в определение.
Или же в проблеме доказательства непротиворечивости формальных систем (здесь речь все время идет об аксиомах Пеано) финитными методами. Все сводится к тому, что утверждение непротиворечивости любой формализованной арифметики можно выразить на ее же языке, но доказать это утверждение средствами формализуемыми в ней самой невозможно. Я предлагал Шахматисту подумать над этой темой, которую Гильберт отнес в разряд самых важных математических вопросов нашего времени, но сильно ошибся в его восприятии задач выше уровня начальных классов. Трансцендентальное мышление - основу всей математики он как-то связал с верой и религией.
Zwei Seelen wohnen, ach! In meiner Brust.