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


         

Однако практически на такие вопросы


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

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