Список проголосовавших за комментарий "Сергей Кужаев, <br/> <br/> <a href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259F%25D1%2580%25D0%25BE%25D0%25B1%25D0%25BB%25D0%25B5%25D0%25BC%25D0%25B0_%25D0%25BE%25D1%2581%25D1%2582%25D0%25B0%25D0%25BD%25D0%25BE%25D0%25B2%25D0%25BA%25D0%25B8&s=3911438246">ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D0%BE%D1%81%D1%82%D0%B0%D0%BD%D0%BE%D0%B2%D0%BA%D0%B8</a><br/> <br/> там не совсем понятно описано, собственно, можно более неформально. Она банальна до безобразия, по большому счету. Сводится к алгоритму перебора. К примеру, если у Вас есть некий алгоритм, который останавливается на каком то результате. Пусть у нас будет входная строка, такая, что мы не знаем, есть ли там цифра 1, и алгоритм, такой, который в случае, если он встречает цифру 1 останавливается. Очевидно, что мы не знаем, остановится ли наша машина когда-либо, или нет.<br/> <br/> Несмотря на эту самоочевидность, в свое время куча олигофренов-математиков ломали мозги над фейковой идеей автоматического доказательства теорем, которая упирается сюда же."