Борель, помимо того что дал определение нормальным числам, доказал: их количество бесконечно, то есть ряд нормальных чисел никогда не заканчивается. Однако в его доказательстве были использованы очень косвенные методы; можно сказать, он также доказал, что этого бесконечного количества чисел не может не существовать. Главное в этой истории то, что Борель, как и никто другой, не был способен в 1909 году привести ни одного примера нормального числа. Некоторые числа (включая приведенные выше) подходили под определение нормальных, но нельзя было утверждать это точно. То есть Борель доказал, что существует бесконечное количество чисел определенного типа, но не смог привести ни одного из них. Допустима ли такая ситуация? Можем ли мы вести разговор о числах, ни имея ни одного их примера? В начале XX века многие математики начали выказывать недоверие доказательствам, включавшим ряды, образованные бесконечным количеством чисел (такими как ряд нормальных чисел). Они сомневались, допустимо ли работать с ними, пользуясь теми же правилами, что и для конечных рядов (то есть не расширяющихся до неопределенности). Это недоверие было подкреплено тем, что в 1902 году британский философ и математик Бертран Рассел нашел логические противоречия, связанные с рассуждениями такого типа.
В начале XX века вопрос о том, как определить справедливость математического рассуждения, был совершенно неясен. Среди математиков бурлили споры и дискуссии. И только почти через четверть века, в 1930 году, ученые пришли к соглашению о четких и конкретных критериях, которым должно соответствовать доказательство, чтобы его приняли как верное. Эти критерии, установленные объективно, состояли в том, чтобы рассуждения были проверены компьютером — беспристрастным судьей, который ограничивается вычислениями, не оперируя лингвистическими конструкциями. Естественно, это современный вариант соглашения, раньше он формулировался по-другому, поскольку в 1930 году еще не было компьютеров.
Комментарии к книге «Гёдель. Теоремы о неполноте», Густаво Эрнесто Пинейро
Всего 0 комментариев