Истина и доказательство - [8]

Известно, что все существующие математические дисциплины могут быть представлены как формализованные теории. Формальные доказательства в них могут быть приведены для самых глубоких и самых сложных математических теорем, которые первоначально были установлены с помощью интуитивных аргументов.

* * *

Несомненно, что великим достижением современной логики была замена старого психологического понятия доказательства точным, простым понятием чисто формального характера, но именно простота нового понятия оказывается ахиллесовой пятой. Чтобы оценить понятие формального доказательства, мы должны выяснить его отношение к понятию истины. Прежде всего формальное доказательство является процедурой, стремящейся к получению новых истинных предложений. Такая процедура будет адекватной только в том случае, если все предложения, полученные с помошью доказательства, будут истннными, а все истинные высказывания могут быть доказанными. Таким образом, естественно возникает проблема: является ли на самом деле формальное доказательство адекватной процедурой для получения истины? Иными словами, совпадает ли множество всех (формально) доказуемых предложений с множеством всех истинных предложений? Мы рассмотрим эту проблему на материале частной, очень элементарной математической дисциплины, а именно арифметики натуральных чисел (элементарной теории чисел). Мы предполагаем, что эта дисциплина представляет собой формализованную теорию. Словарь теории состоит из переменных, таких, как m, n, p..., представляющих произвольные натуральные числа, из цифр 0, 1, 2..., обозначающих конкретные числа, символов, обозначаюших некоторые обычные отношения между числами и операции над числами, например, =, <, >, +, −, и, наконец, некоторых логических терминов ― пропорциональных связок («и»›, «или», «если», «не») и кванторов (выражений типа «для каждого числа», «для некоторого числа n»), синтаксических правил и правил вывода.

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

В нашей работе «Понятие истины в формализованных языках» было показано, что решение проблемы является негативным. Мы дадим здесь очень приближённое описание того метода, с помощью которого было получено это доказательство. Главная идея доказательства тесно связана с той идеей, на которую опирался Гёдель в своей знаменитой статье о неполноте формальных теорий.[8]

В разделе первом было отмечено, что метаязык, который позволяет нам определить и обсуждать понятие истины, должен быть достаточно богатым. Он содержит в целом весь язык-объект как свою часть, и поэтому мы можем говорить на нём о натуральных числах, множествах чисел, отношениях между числами и т.д. Но он также содержит и термины, необходимые для обсуждения свойств языка-объекта и его компонент. Следовательно, мы можем говорить на метаязыке о выражениях и, в частности, о предложениях, о множествах предложений, об отношениях между предложениями и т.д. Следовательно, в метатеории мы можем изучать свойства этих различных видов объектов и устанавливать связи между ними. Используя описание предложений, получаемых с помощью синтаксических правил языка-объекта, легко расположить все предложения (от простейших до всё более и более сложных) в бесконечный ряд и последовательно пронумеровать их. Мы соотносим с каждым предложением натуральное число таким образом, что два числа будут соотноситься с двумя различными предложениями. Другими словами, мы устанавливаем взаимнооднозначное соответствие между предложениями и числами. Это, в свою очередь, приводит к подобному же соответствию между множеством предложений и множеством чисел, а также отношений между предложениями и отношений между числами. В частности, мы можем рассматривать номера доказуемых предложений и номера истинных предложений. Для краткости мы назовем их доказуемыми номерами и истинными номерами. Наша главная проблема сведётся тогда к вопросу: являются ли тождественными множество доказуемых номеров и множество истинных номеров?