> -- AVC писал(а):
> 
Да зачем вообще, когда с самого начала речь конкретно о цикле.
Тьюринг -- Тьюрингом, а инвариант цикла -- вещь нетривиальная. И открыл ее не Тьюринг.
Цикл -- единственная реально нетривиальная императивная конструкция, для которой нужно было матем. осмысление.

С математиками действительно надо ухо востро держать
Но с чистыми. Вроде Чёрча.

С прикладными (какие выходят с ВМК, основанного великим А.Н.Тихоновым) -- всё в порядке. Это же практически физикиНекорректные задачи то да сё... красота! Не зря ВМК вырос из кафедры математики физфака