|
Структура реальностиБлагодаря Геделю мы знаем, что никогда не будет непреложного метода определения истинности математического высказывания, как не существует и непреложного метода определения истинности научной теории. Как никогда не будет и непреложного метода создания нового математического знания. Следовательно, математический прогресс всегда будет зависеть от использования творчества. Изобретение новых видов доказательства всегда будет возможно и необходимо для математиков. Они будут обосновывать их с помощью новых аргументов и новых способов объяснения, зависящих от их непрерывно увеличивающегося понимания абстрактных категорий, связанных с этим доказательством. Примером служат теоремы самого Геделя: чтобы доказать их, ему пришлось изобрести новый метод доказательства. Я сказал, что этот метод был основан на «диагональном доказательстве», однако Гедель по-новому расширил это доказательство. До него так ничего не доказывали; никакие правила вывода, составленные кем-либо, кто никогда не видел метода Геделя, не могли бы определить его как обоснованный ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|