недавно заметил этот вопрос в интернетах
сегодня упоровшись наглухо, стыдливо задал яндексу долго мучивший меня сабжевый вопрос и обнаружил, что не одинок в своих терзаниях. свыше двухсот тысяч страниц на одном только английском языке. многие статьи нашпигованы математикой и без пирацетама с циннаризином, кофе, энергетиками и травой с ними ни за что не разобраться.
насколько понял, доказательства для общего случая не существует. более того, для частных случаев существуют обратные решения. некоторые бесконечные циклы возможно выполнить за конечное время при наличии бесконечных ресурсов.
а что вы думаете?