Научная литература
booksshare.net -> Добавить материал -> Математика -> Смаллиан Р.М. -> "Алиса в стране смекалки " -> 97

Алиса в стране смекалки - Смаллиан Р.М.

Смаллиан Р.М. Алиса в стране смекалки — Мир , 2004. — 342 c.
Скачать (прямая ссылка): alisavstranesmekalki2004.pdf
Предыдущая << 1 .. 91 92 93 94 95 96 < 97 > 98 99 100 101 102 103 .. 112 >> Следующая

Доказательство того, что система удовлетворяет условиям Е1 и Е2, в принципе несложно /Напомним условие Н: Для любого числа п существует высказывание, утверждающее, что п -экстраординарное число. Это высказывание (как и всякое другое предложение) имеет гёделев номер. Обозначим его п*. Оказывается, что для любого определимого множества А множество В всех чисел п, для которых п* принадлежит А, также определимо. Поскольку геделев номер п* сопряжен с числом п, то тем самым условие Н выполнено./, но довольно громоздко. Коль скоро доказано, что система удовлетворяет всем четырем условиям, они позволяют построить предложение, которое истинно, но недоказуемо (невыводимо) в данной системе.
Это предложение можно представлять себе как некоторое предложение X, содержащее утверждение о своей недоказуемости. Такое предложение действительно должно быть истинно, но недоказуемо (подобно тому как житель острова G, утверждавший, что он непризнанный рыцарь, действительно был рыцарем, но не был признанным рыцарем). Возможно, вы спросите: но если известно, что предложение X (содержащее утверждение о своей недоказуемости) истинно,
Ше:Шу4 _Ьиблиотека_КОЛХОЗ/ко1хо3^с05/М_МАТНЕМ/МРОР_РОР/16.511Ст1Мт (16о? 19)19.01.2004 16:56:35
"Какже называется эта книга?" -16
то почему бы не принять его за новую аксиому? Разумеется, мы можем пополнить список аксиом системы еще одной аксиомой, но расширенная система также будет удовлетворять условиям Е1, Е2, С и Н. Следовательно, в ней найдется другое предложение XI, которое будет истинным, но недоказуемым в расширенной системе. Таким образом, хотя расширенная система позволяет доказать больше истинных предложений, чем старая, тем не менее и в ней доказать все истинные предложения невозможно.
Должен сказать, что мое изложение метода Гёделя отличается от первоначального доказательства теоремы, предложенного самим Гёделем. Основное отличие состоит в том, что я использую понятие истинности, отсутствующее у Гёделя. Действительно, в первоначальном виде теорема Гёделя не содержит утверждения о существовании в системе истинного, но недоказуемого (невыводимого) предложения. В ней говорится нечто иное: при некотором правдоподобном допущении относительно системы в ней непременно существует предложение (и Гёдель демонстрирует такое предложение), которое в рамках системы невозможно ни доказать, ни опровергнуть.
Понятие истинности было строго формализовано логиком Альфредом Тарским. Он доказал, что для математических систем, удовлетворяющих условиям теоремы Гёделя, множество гёделевых номеров истинных предложений неопределимо в системе. Иногда этот результат формулируют так: "Во всякой достаточно мощной системе истинность предложений системы неопределима в рамках самой системы".
271. Последнее слово.
Рассмотрим следующий парадокс:
Это предложение недоказуемо.
Парадокс состоит в следующем. Если это предложение ложно, то не верно, что оно недоказуемо. Следовательно, оно доказуемо, а это означает, что оно истинно. Итак, предположив, что это предложение ложно, мы пришли к
Ше:Шу4 _Ьиблиотека_КОЛХОЗШхо3^5с05/М_МАТНЕМ/МРОР_РОР/16.511Ш1Мт (17о? 19)19.01.2004 16:56:35
"Как же называется эта книга?" - 16
противоречию. Значит, оно должно быть истинно. А теперь будьте внимательны! Я доказал, что предложение, набранное курсивом, истинно. Но в истинном предложении говорится о том, что есть на самом деле. Значит, оно недоказуемо. Как же мне удалось доказать его? Где ошибка в приведенных мною рассуждениях?
Ошибка в том, что понятие доказуемого предложения не вполне определенно. Одна из основных задач важного раздела современной математики, известного под названием "математической логики", состоит в придании точного значения понятию доказательства. Вполне строгого универсального определения доказательства, применимого к любым математическим системам, пока не существует. В современной математической логике принято говорить о доказуемости в рамках данной системы. Предположим, что у нас имеется система (назовем ее системой S), в которой строго определено, что такое доказуемость в рамках системы
S. Предположим также, что система S непротиворечива, то есть что всякое доказуемое в S предложение действительно истинно. Рассмотрим следующее предложение:
Это предложение недоказуемо в системе S.
Никакого парадокса теперь не возникает, хотя это предложение обладает одним довольно интересным свойством. Дело в том, что оно должно быть истинным, но недоказуемым в системе S. Оно представляет собой грубый аналог предложения X (содержащего утверждение о собственной недоказуемости не вообще, а в рамках системы S), построенного Гёделем в первоначальном варианте доказательства его знаменитой теоремы.
Несколько слов я хотел бы сказать о "дважды гёделевом" условии, которое мы анализировали в разделе Б. Дело в том, что полученный Гёделем результат справедлив не только для гёделевых систем (гёделевой я называю систему, в которой для любого определимого множества А найдется предложение, истинное в том и только в том случае, если его гёделев номер принадлежит А), но и для дважды гёделевых систем (дважды гёдёлевой я называю систему, в которой для любых
Предыдущая << 1 .. 91 92 93 94 95 96 < 97 > 98 99 100 101 102 103 .. 112 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed