Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые традицией слишком сложными (или маловажными) для включения в обязательное обучение: обычай относит их к занятиям факультативным, дополнительным, специальным и т. п. В перечне таких тем есть несколько, остающихся сейчас там исключительно в силу инерции. Одной из них является теорема Гёделя.
Несмотря на то, что очень многие математики (и нематематики) слышали о ней, мало кто из них может объяснить, в чем состоит утверждение теоремы Гёделя и тем более как она доказывается. Вместе с тем результат столь важен, а причины, вызывающие неустранимую неполноту (т. е. невозможность добиться того, чтобы каждое истинное утверждение было доказуемо), столь просты, что теорема Гёделя могла бы излагаться на самых младших курсах. Более того, для понимания доказательства необходимо лишь знакомство с простейшей терминологией теории множеств (словами “множество”, “функция”, “область определения” и тому подобными) и некоторая привычка к восприятию математических рассуждений, так что оно вполне доступно подготовленному школьнику.
Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов. Все необходимые сведения из этой теории сообщаются по ходу дела, так что читатель одновременно знакомится с основными фактами теории алгоритмов. Брошюра написана на основе статьи автора в журнале “Успехи математических наук”, 1974, том 29, выпуск 1 (175). Естественно, что изменение круга предполагаемых читателей сделало необходимой ее переработку. В частности, некоторые более специальные вопросы, а также библиографические ссылки на оригинальные публикации исключены, и любознательный читатель может найти их в упомянутой статье автора. Одновременно расширен раздел, посвященный связи между семантической и синтаксической формулировками теоремы о неполноте, а также добавлены приложения, посвященные теореме Тарского о невыразимости понятия истины и обоснован
В первой части монографии даны три классических доказательства последней теоремы Ферма: прямое доказательство, доказательство от противоположного и доказательство методом математической индукции совместно с методом от противоположного. Все доказательства едины для всех Введено понятие числовой последовательности Аль-Худжанди и доказано, что в предельном случае теорема Ферма перестаёт быть теоремой.
Во второй части монографии показаны четыре логических противоречия в формулировке гипотезы Била. Дана новая формулировка гипотезы Била и её классическое доказательство.
В третьей части монографии дано решение первой проблемы Гильберта.
Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые традицией слишком сложными (или маловажными) для включения в обязательное обучение: обычай относит их к занятиям факультативным, дополнительным, специальным и т. п. В перечне таких тем есть несколько, остающихся сейчас там исключительно в силу инерции. Одной из них является теорема Гёделя.
Несмотря на то, что очень многие математики (и нематематики) слышали о ней, мало кто из них может объяснить, в чем состоит утверждение теоремы Гёделя и тем более как она доказывается. Вместе с тем результат столь важен, а причины, вызывающие неустранимую неполноту (т. е. невозможность добиться того, чтобы каждое истинное утверждение было доказуемо), столь просты, что теорема Гёделя могла бы излагаться на самых младших курсах. Более того, для понимания доказательства необходимо лишь знакомство с простейшей терминологией теории множеств (словами “множество”, “функция”, “область определения” и тому подобными) и некоторая привычка к восприятию математических рассуждений, так что оно вполне доступно подготовленному школьнику.
Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов. Все необходимые сведения из этой теории сообщаются по ходу дела, так что читатель одновременно знакомится с основными фактами теории алгоритмов. Брошюра написана на основе статьи автора в журнале “Успехи математических наук”, 1974, том 29, выпуск 1 (175). Естественно, что изменение круга предполагаемых читателей сделало необходимой ее переработку. В частности, некоторые более специальные вопросы, а также библиографические ссылки на оригинальные публикации исключены, и любознательный читатель может найти их в упомянутой статье автора. Одновременно расширен раздел, посвященный связи между семантической и синтаксической формулировками теоремы о неполноте, а также добавлены приложения, посвященные теореме Тарского о невыразимости понятия истины и обоснован
Брошюра посвящена следующим вопросам: всегда ли можно произвольное целое число представить в виде произведения простых чисел и если да, то сколько существует методов разложения? Ответ на эти вопросы и дает основная теорема арифметики, доказательство которой приводится в книге. Кроме того, рассматривается вопрос о существовании других “арифметик”, где данная теорема неверна.
Читателю не потребуется знаний, отличных от тех, которые излагаются в школьном курсе математики (за исключением, возможно, метода мат. индукции).
