Возможности вычислительных машин и человеческий разум

         

Глава 3. Как работают вычислительные машины - стр. 40


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

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


Содержание  Назад  Вперед