Слабое место математики можно ли доказать всё, что истинно (часть 2) #vertdider

Но есть те, что будут расти вечно, создавая всё новые живые клетки. Можно предположить, что расправила простые. Любое поведение можно предсказать: придут ли клетки в покой или же будут без конца расти.

Но как выяснилось, сделать этого в принципе невозможно. Чем закончится жизнь для той или иной конфигурации — вопрос неразрешимый. Это значит, что нельзя создать алгоритм, который гарантированно найдёт ответ за конечный промежуток времени.

Да, всегда можно запустить игру и посмотреть, что произойдёт, ведь она сама по сути всего лишь алгоритм. Но и здесь нет никаких гарантий: даже через миллион поколений нельзя будет утверждать, проживут ли клетки вечно, или только 2 миллиона поколений, или миллиарды, 10 в степени Google.

Является ли жизнь каким-то уникальным примером неразрешимости? Нет.