Добавить комментарий

Изображение пользователя ipanshin.

что и требовалось доказать

Вопрос, а кто требовал доказывать? Это необходимое, но вовсе не достаточное условие. Или может быть утверждений "что и требовалось доказать" было два? для необходимости и достаточности? Вспомним Льюиса Кэррола. Что было в нем первичным его математический склад ума или художественный талант как писателя? Утвеждаю, что второе. Так же и писать программы может любой, но жить программа будет тогда, когда в ней появится чувство, а не доказательная основа ее работы. Я в институте аналитического приборостроения работал со Стародубцевым, который болел идеей создания самопроверяющихся электронных схем. Если эту идею прикрутить к программе, то мы получим некую обратную цепь, доказывающую правильность работы, но избыточность кода возрастет вовсе не линейно.

Уж больно мне все это напоминает педагогику. Раз мы не умеем писать, то будем учить как надо писать.