Фильм ужасов на ночь

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

Двое людей полюбили друг друга. И уверены, что любят друг друга. Собираются пожениться и жить вместе до конца жизни.

Если вы думаете, что эти события не имеют никакого отношения к математике, то вы глубоко заблуждаетесь.
Математик по фамилии Генри сформулировал задачу, которую пока не удаётся решить.
Это задача о задачах. Для математики – обычное дело.
Звучит так.
«Предположим есть задача. Любая. Мы не знаем, сколько времени необходимо на решение. Мы не знаем, сколько времени необходимо на проверку правильности полученного решения. Нужно найти способ универсальный для всех задач, который позволит заранее узнать, какое из двух времён (на решение или на проверку решения) больше».
Считается, что решив задачу Генри, человечество совершит огромный скачок.
Пока, даже путь решения задачи Генри не ясен. Но люди работают.

Вернёмся к нашим баранам. То есть влюблённым. Они решили задачу. То есть поняли, что любят друг друга. На проверку правильности решения необходима вся жизнь.
Каким способом они решили свою задачу Генри?
Почему они решили, что им нужна вся жизнь, а не три года или три дня, например, чтобы проверить свои чувства?

Понятия не имею.

В ближайшие дни вас ожидает теорема Гёделя о неполноте.
Боюсь, что тоже на ночь.