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

         

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


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

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

Сейчас я хотел бы обратить внимание на то, что язык, программирования высшего уровня типа представленного предыдущим фрагментом - это, по существу, формальный язык. Значения написанных на нем выражений определяются, естественно, его правилами трансформации, которые, в свою очередь, реализованы в процедурах, переводящих их на язык ассемблера и в конечном счете на машинный язык. Следовательно, если необходимо указать значение определенной программы, написанной на языке высшего уровня, то придется в конечном счете обратиться к ее представлению на машинном языке и даже к соответствующей вычислительной машине. Ответ будет следующим: "Эта программа значит то, что данная вычислительная машина делает с данным кодом".




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