). Суть вопроса была такой: «Можно ли создать универсальный алгоритм, который берет любое утверждение и автоматически говорит: истина это или ложь?» Гильберт мечтал, что ответ будет "Да". Он хотел создать "математическую машину истины" Алан Тьюринг взялся решать эту задачу. Чтобы доказать, что такой алгоритм невозможен, Тьюрингу пришлось придумать теоретическую модель механизма, который выполняет алгоритмы. Эта модель получила название «Машина Тьюринга». Итог: Машина Тьюринга - это логическая схема любого современного компьютера,
В 1928 году Гильберт поставил перед математиками задачу с зубодробительным названием Entscheidungsproblem (Проблема разрешения
12 января12 янв
~1 мин