Машины Тьюринга: как простая машина разрушила мечту Гильберта

В 1928 году Гильберт считал, что математику можно механизировать. В 1936 году 23-летний Алан Тьюринг изобрел невероятно простую машину — и использовал её, чтобы доказать свою неправоту. Сопутствующая статья: https://computablesecrets.com/videos/.... Если вы хотите поддержать эту работу, пожалуйста, оформите членство на моём сайте: https://computablesecrets.com. Благодарности: «О вычислимых числах с применением к проблеме разрешимости» А.М. Тьюринга (1936) Manim (библиотека Python для визуализации) Клод Код (помощь в редактировании и производстве)