> -- Info21 писал(а):
> Речь не об индукции, а об . Сразу видно, что у ужиков законы сохранения где-то ... вместе с ежиками ... в тумане Вот как раз индукция там играет довольно неспецифическую роль. Мало ли где ее можно применить.Я имел в виду средства понимания программ:
> -- Цитата:
> "Среди интеллектуальных средств, которые применяются для понимания программы (или для доказательства ее правильности), я хотел бы четко выделить следующие три:   (1) перечисление;   (2) математическая индукция;   (3) абстракция." ()

> -- Info21 писал(а):
> А вот роль инварианта -- центральная.Кто же против?
Разве что, попробую уточнить: центральная роль принадлежитутверждениям(инвариант - частный случай), а идея использовать утверждения для анализа  программ предложена еще Тьюрингом.

> -- Info21 писал(а):
> Плюс физики знают, что надо математику гнуть под явления, а не наоборот.А математики любют из головы.Такое чувство, что математиков нельзя из лечебницы выпускать.
А с чего вообще у нас тут разгорелась такая междисциплинарная битва?