> -- AVC писал(а):
> Выходит, только физик мог додуматься применить  индукцию?Пошто ужиков (математиков) забижаете?!

Вот посмотрите, какhttp://khpi-iip.mipk.kharkiv.edu/librar ... 316_2.htmlон вводит основные понятия алгоритмики. Чисто физический подход - алгоритм как шаблон поведения. (Я вот где-то тут на форуме говорил, что после долгого бития ап стену мне привиделась такая же формулировка, недавно с приятным удивлением обнаружил это у Дейкстры.)

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

Дейкстра, между прочим, неск. раз в своих работах предупреждал о большом соблазне откатиться к чистым функциям: математикам так привычнее, земля под ноги возвращается. Да и плюс, по сравнению с бессистемным от-железячным программированием, порядок строгий появляется (а ведь "Дисциплину программирования" не читают, блин, слишком тонкая, видимо, книжка - несолидно). Однако, как предупреждает Дейкстра, это шаг назад: от динамически протекающих в системах процессов к попытке выражать чисто статические соотношения. Кастрируется смысл. А мейнстрим, как всегда, "динамическую математику" Дейкстры проморгал, а "разводной ключ" уже подводить стал - дёрнули в чистые функции. (Между прочим, анализ процессов в терминах пред- пост- условий, инвариантов и их преобразований ещё вообще неоценён как средство вообще анализа систем. Всё ещё впереди...)