История и методология науки. Большаков Б.Е. - 56 стр.

заметить, что имеется очень большое число работ, где такие словари для различных
конкретных наук уже составлены.
      Переход к следующей процедуре имеет интересную историю. Мы остановились
перед выбором: анализировать словарь на естественном языке или потребовать процедуру
измерения для каждого термина из словаря? Поскольку и первый, и второй путь
возможны, сначала разберём первый путь — путь анализа словаря на естественном языке.
      Нетрудно видеть, что следующая процедура должна дать конкретизацию словаря.
      Тупиковым направлением является признание результата процедуры № 3 за список
№ 2, т.е. за словарь формальной теории. «Терм» или «слово» в математической теории
определяется однозначно, а этому требованию не удовлетворяют слова естественного
языка. Сама математика возникла в ответ на потребность человечества в языке, который
допускает однозначный перевод.
      Итак, переходим к процедуре № 4, определению математического значения слов,
полученных в процедуре № 3.




                                                                                    56