Включить или выключить — вот в чём вопрос. Почему лампа Томсона ставит математику в тупик
NewsMakerФилософ придумал задачу, у которой нет правильного ответа.
В математике есть задача, которая выглядит как детская шалость с выключателем, но быстро ломает привычную интуицию. Представьте лампу: сначала свет включают на минуту, затем выключают на 30 секунд, снова включают на 15 секунд и продолжают менять состояние всё быстрее, каждый раз сокращая интервал вдвое. Через две минуты переключений станет бесконечно много. Вопрос звучит почти издевательски просто: лампа будет гореть или погаснет?
Британский философ Джеймс Томсон описал мысленный эксперимент с лампой в 1954 году. Проблема возникает из-за бесконечной последовательности действий, которая укладывается в конечное время. Сумма 1 + 1/2 + 1/4 + 1/8 и дальше не превышает 2, поэтому бесконечно много переключений можно мысленно вместить ровно в две минуты. До любого момента перед концом эксперимента состояние лампы известно, но в самый финальный миг привычное рассуждение перестаёт работать.
Сумма 1 + 1/2 + 1/4 + 1/8 и дальше никогда не превышает 2. Tobias Vogel (Toby001) via Wikimedia Commons ( CC BY-SA 3.0 )
Корни задачи уходят ещё глубже. В 1703 году итальянский математик Гвидо Гранди изучал бесконечные ряды, в том числе странную последовательность 1 − 1 + 1 − 1 + 1 − 1 и дальше. Если сложить чётное число слагаемых, получится 0. Если нечётное, получится 1. Но бесконечность не бывает ни чётной, ни нечётной в обычном смысле, поэтому простой ответ сразу исчезает.
Гранди заметил, что результат зависит от способа группировки. Запись (1 − 1) + (1 − 1) + (1 − 1) даёт бесконечную сумму нулей, то есть 0. Если сдвинуть скобки на один шаг, получится 1 + (−1 + 1) + (−1 + 1), и сумма станет равна 1. Затем Гранди предложил ещё один ход: обозначил весь ряд как S и получил уравнение S = 1 − S. Из уравнения выходит S = 1/2.
На первый взгляд половина кажется абсурдной: лампа не может быть наполовину включена и наполовину выключена. В обычном смысле ряд Гранди не сходится, потому что частичные суммы всё время скачут между 1 и 0. Значение 1/2 появляется как компромисс при специальном способе усреднения, а не как обычная сумма.
Философы физики Джон Эрман и Джон Нортон предложили посмотреть на задачу через более реальный механизм. Вместо человека у выключателя можно представить металлический шарик, который падает на индукционную плиту. Сначала шарик летит минуту, потом 30 секунд, затем 15 секунд и продолжает отскакивать всё быстрее. Каждый контакт создаёт электрический импульс и влияет на лампу. Если касание замыкает цепь, после двух минут шарик остаётся на плите, а лампа горит. Если касание размыкает цепь, в финале лампа погаснет.
Эрман и Нортон сделали важный вывод: парадокс Томсона не столько доказывает противоречие, сколько показывает неполное описание задачи. Без точного физического механизма невозможно однозначно сказать, что происходит в финальный момент. Математика позволяет уложить бесконечное число действий в конечный промежуток, но сама формула не сообщает, какая именно система стоит за переключателем.
В математике есть задача, которая выглядит как детская шалость с выключателем, но быстро ломает привычную интуицию. Представьте лампу: сначала свет включают на минуту, затем выключают на 30 секунд, снова включают на 15 секунд и продолжают менять состояние всё быстрее, каждый раз сокращая интервал вдвое. Через две минуты переключений станет бесконечно много. Вопрос звучит почти издевательски просто: лампа будет гореть или погаснет?
Британский философ Джеймс Томсон описал мысленный эксперимент с лампой в 1954 году. Проблема возникает из-за бесконечной последовательности действий, которая укладывается в конечное время. Сумма 1 + 1/2 + 1/4 + 1/8 и дальше не превышает 2, поэтому бесконечно много переключений можно мысленно вместить ровно в две минуты. До любого момента перед концом эксперимента состояние лампы известно, но в самый финальный миг привычное рассуждение перестаёт работать.
Гранди заметил, что результат зависит от способа группировки. Запись (1 − 1) + (1 − 1) + (1 − 1) даёт бесконечную сумму нулей, то есть 0. Если сдвинуть скобки на один шаг, получится 1 + (−1 + 1) + (−1 + 1), и сумма станет равна 1. Затем Гранди предложил ещё один ход: обозначил весь ряд как S и получил уравнение S = 1 − S. Из уравнения выходит S = 1/2.
На первый взгляд половина кажется абсурдной: лампа не может быть наполовину включена и наполовину выключена. В обычном смысле ряд Гранди не сходится, потому что частичные суммы всё время скачут между 1 и 0. Значение 1/2 появляется как компромисс при специальном способе усреднения, а не как обычная сумма.
Философы физики Джон Эрман и Джон Нортон предложили посмотреть на задачу через более реальный механизм. Вместо человека у выключателя можно представить металлический шарик, который падает на индукционную плиту. Сначала шарик летит минуту, потом 30 секунд, затем 15 секунд и продолжает отскакивать всё быстрее. Каждый контакт создаёт электрический импульс и влияет на лампу. Если касание замыкает цепь, после двух минут шарик остаётся на плите, а лампа горит. Если касание размыкает цепь, в финале лампа погаснет.
Эрман и Нортон сделали важный вывод: парадокс Томсона не столько доказывает противоречие, сколько показывает неполное описание задачи. Без точного физического механизма невозможно однозначно сказать, что происходит в финальный момент. Математика позволяет уложить бесконечное число действий в конечный промежуток, но сама формула не сообщает, какая именно система стоит за переключателем.