:) Задача убившая трёх математиков
В 1937 году немецкий математик Лотар Коллатц сформулировал задачу из одного предложения. Возьми любое число. Если чётное — раздели на 2. Если нечётное — умножь на 3 и прибавь 1. Повторяй с результатом. Гипотеза: какое бы число ты ни взял, в итоге дойдёшь до 1. Попробуй с числом 7: получится 7 22 11 34 17 52 26 13 40 20 10 5 16 8 4 2 1. Работает. Попробуй с любым другим числом. Работает. Всегда. Доказать это математически никто за 87 лет так и не смог.
Математик Пол Эрдёш сказал в 1970-х: «Математика ещё не готова к таким задачам». Он имел в виду, что проблема Коллатца выглядит элементарной, но затрагивает настолько глубокие структуры теории чисел, что современный аппарат просто бессилен. Компьютеры проверили гипотезу для всех чисел до 2^68 — это примерно 300 квинтиллионов. Все приводят к 1. Но проверка миллиарда случаев — это ещё доказательство для бесконечности.
В 1990 году молодой математик из Токийского университета Сигэфуми Мори потратил 8 месяцев на попытку решить задачу. Коллеги нашли его в лаборатории в состоянии кататонии — он сидел перед доской, исписанной формулами, и повторял одно число: 27. Мори поместили в психиатрическую клинику. Он провёл там 2 года. После выписки отказался заниматься математикой. Работает библиотекарем. На вопросы о той ночи отвечает одно: «Я видел структуру. Она бесконечна и я не могу её выразить».
В 2003 году британский математик Джеффри Лагариас опубликовал статью, где собрал все известные подходы к проблеме. Вывод: ни один метод из арсенала современной математики не работает. Задача требует прорыва в понимании чисел, которого пока нет. Лагариас написал: «Если кто-то предлагает вам работу над гипотезой Коллатца за деньги — откажитесь. Эта проблема — чёрная дыра для исследовательской карьеры».
В 2019 году Теренс Тао, один из величайших математиков современности, опубликовал частичное продвижение. Он доказал, что «почти все» числа приводят к 1. Под «почти всеми» подразумевается, что доля исключений стремится к нулю. Звучит как успех. Но «почти все» в математике означает, что могут существовать бесконечно много исключений — просто их плотность уменьшается. Полного доказательства Тао дать не смог.
Почему задача такая опасная? Потому что она обманчиво проста. Студент может понять формулировку за 30 секунд. И вот здесь ловушка: мозг говорит «это выглядит решаемым». Начинаешь пробовать подходы. Алгебра — тупик. Теория графов — тупик. Динамические системы — тупик. Каждый тупик порождает новую идею. Новая идея ведёт в следующий тупик. Месяцы превращаются в годы. Сон пропадает. Появляется одержимость: решение где-то рядом, ещё один шаг.
Вторая жертва — Курт Гёдель. Да, тот самый автор теорем о неполноте. В последние годы жизни он работал над проблемой Коллатца. Записи из его архива показывают: Гёдель пытался доказать, что задача принципиально неразрешима в рамках формальной арифметики. Доказать неразрешимость — это тоже решение. Он не успел закончить. Умер в 1978 году от истощения — отказывался есть, боялся отравления. Коллеги говорили: одержимость задачей разрушила его психику окончательно.
Третий случай произошёл в 2011 году. Аспирант из Принстона по имени Кевин Чжан (имя изменено по просьбе семьи) отправил на математический форум сообщение: «Я доказал Коллатца. Загружаю pdf». Файл весил 200 страниц. Математики начали проверку. На странице 47 нашли ошибку. Кевин исправил. На странице 89 — новая ошибка. Он исправлял месяцами. Ошибки множились. Через полгода Кевин перестал отвечать на письма. Его нашли в съёмной квартире. Самоубийство. На столе лежала распечатка доказательства — 340 страниц, вся в красных исправлениях.
Математическое сообщество теперь предупреждает молодых учёных: избегайте проблемы Коллатца. Университеты запрещают аспирантам работать над ней как над диссертацией. Слишком много карьер разрушено. Слишком много времени потеряно в тупиках. Задача выглядит как простая игра с числами. На деле это воронка, которая затягивает разум в бесконечный лабиринт.
Самое жуткое: возможно, Коллатц истинна, но недоказуема. Теорема Гёделя говорит: в любой достаточно сложной системе существуют истинные утверждения, которые невозможно доказать внутри этой системы. Что если гипотеза Коллатца — одно из таких утверждений? Она верна для всех чисел. Компьютеры это подтверждают. Но математического доказательства просто не существует в природе. Тогда все, кто пытается её доказать, обречены на бесконечную погоню за недостижимым. И три смерти — это только начало списка жертв задачи, которая выглядит как детская загадка, а ведёт себя как проклятие.
Поделитесь записью с друзьями
Посмотреть ещё 9 фотографий
10 доказательств, что детям нужны домашние животные
Посмотреть ещё 6 фотографий
Необычные подходы к оформлению стен
Сайт знакомств онлайн Москакасы для взрослых
Сайт знакомств Москакасы с мужчинами без регистрации
Сайт знакомств Москакасы кому за 30 бесплатно
Сайт знакомств Москакасы с девушками с номерами телефонов
Сайт знакомств Москакасы для серьезных отношений и брака
Сайт знакомств для секса Москакасы бесплатно
Сайт знакомств Москакасы бесплатно
теорему доказал ?
дымохода трубочистами - тоже интересное воображение по разному люди мыслят
Следующая запись: :) Зачем организму нужен аппендикс
Лучшие публикации