LITMIR.BIZ

Скачать книгу

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

      Интересный тому пример приводится в цитате: «Джим мой враг, оказывается, что он злейший враг самому себе, а враг моего врага – мой друг, значит Джим – мой друг, но, если он враг самому себе, а враг моего друга мой враг, значит Джим – мой враг, но…» и эта череда может продолжаться бесконечно. И к сожалению, ответ на первый вопрос оказался отрицательным.

      Если же вернуться ко второму вопросу, то непротиворечивость системы не может доказать сама же система, поэтому она остаётся под большим вопросом. И тогда разрешимость математики становится третьим вопросом, то есть существует ли алгоритм, который используя свои аксиомы точно покажет следующие из него утверждения? Решение вопроса было на стороне Алана Тьюринга в 1936-м году, для этого изобретя современный компьютер, хотя он хотел создать устройства с мощностью для решения задачи любой сложности с простым алгоритмов.

      Он пришёл к мысли об устройстве, закреплённый на бесконечной ленте, с квадратными ячейками, содержащими либо 0, либо 1. Аппарат оснащён головкой чтения записи, за раз её считывая, а дальше может выполнить либо записать новое значение, перейти влево или вправо, либо остановиться. При этом остановка – это завершение программы, с выдачей результата. А программа – некоторый определённый алгоритм, указывающий машине, что делать и принимать какое решение, в зависимости от поступающей информации. Эту программу можно передать и на вторую машину Тьюринга, и она исправно будет её исполнять также как и первая, и это позволяет машинам выполнять всё что угодно, от сложения и вычитания, над сложнейшими алгоритмами современности, разрешая третью проблему Гильберта. Когда она останавливается – программа прекращается, а цифры на ленте – ответы.

      Но порой можно вызвать случай, когда машина впадает в бесконечный цикл и тогда вопрос о том, можно ли зная исходные данные предсказать дальнейшее действие машины, становится весьма уместным. Тьюринг понял, что эта проблема не остановки похожа на проблему неразрешимости и, если понять, остановится ли машина, понять будет ли разрешима система не составит труда. Для примера можно взять гипотезу о числах близнецах, о которой говорилось ранее и тогда машина сформулировала бы при помощи аксиом все непосредственные вытекающие теоремы, построив все вытекающие теоремы, сравнивая каждую теорему из разных поколений, с гипотезой о числах-близнецах, это бы настоящая машина гениальности!

      Решая проблему остановки, можно было бы решать всё и предсказывать всё что угодно и тогда Тьюринг решил сделать небольшую хитрость введя вторую машину, которая определяла бы остановку первой машины. То есть вводились бы исходные данные, описывался бы алгоритм машины и новая машина «б», выдавала бы, остановится или не остановится ли первая машина, при этом остановка через какое время уже не волновало, как и устройство обоих машин.

      Но можно усовершенствовать эту машину «б», добавив к ней ещё два действия: если же

Скачать книгу