Непейвода Николай Николаевич
Доктор физико-математических наук, профессор Удмуртского государственного университета. Логик, математик, информатик, философ. Автор более 150 научных работ, в том числе книг «Логика и компьютер», «Прикладная логика», «Основания программирования», «Стили и методы программирования».
Чего не могут вычислительные машины?
Прежде чем попробовать что-то запрограммировать, полезно хотя бы оценить реалистичность и разумность задачи. Чтобы оценивать, нужно понимать. Понимание невозможно без знания. Знание же не всегда дает понимание. Понимания можно достичь лишь тогда, когда знаешь также и ограничения своего знания.
Поэтому первая статья в серии "Наука программирования" посвящается принципиальным ограничениям алгоритмического подхода.
