Журнал Компьютерра - 11 от 21 марта 2006 года   ::   Компьютерра

Грубо говоря, чиновнику на все нужен закон, иначе он не только графы будет заполнять по своему разумению, но и найдет много других способов проявлять свою крутизну и творческие способности. Ведь, по сути, статья писалась о том, что чиновнику на все нужны полномочия — он не графы должен заполнять, а решения принимать и ответственность нести за эти решения.

Неуклюжие попытки сгруппировать другие письма пришлось оставить, как только до меня дошло письмо Ивана Качинского. Он всю эту работу за меня сделал и все по полочкам разложил. Качинский так четко и емко отразил мнения многих других читателей, что будет справедливо назвать его соавтором настоящего разбора полетов и привести его письмо целиком (за исключением короткой преамбулы). Особенно если учесть, что единственное, в чем я с ним не согласен, — это в том, что его письмо каким-либо образом опровергает мои выводы. Вот что пишет Качинский.

К сожалению, в рассуждениях автора допущен целый ряд логических ошибок, на основании которых он делает совсем уж безрадостный прогноз. Кроме того, он не указывает на явные ошибки разработчиков системы, которые, скорее всего, будут раньше или позже исправлены. Я попробую разобрать некоторые спорные моменты и показать, что в целом ситуация не настолько мрачна.

Ошибка первая, фундаментальная. Существует нашумевшая в свое время теорема Гёделя, которую можно сформулировать так: любая[За несколькими тривиальными исключениями. — И.К.] формальная система неполна и/или противоречива.