[html]<a href="retroshare://file?size=284731&hash=0c5259291762a2a2cc94136d76924930bda08725&name=Mietaalghoritmichieskii%20iazyk%20-%20Turchin%20V.F_.djvu">retroshare://file?size=284731&hash=0c5259291762a2a2cc94136d76924930bda08725&name=Mietaalghoritmichieskii%20iazyk%20-%20Turchin%20V.F_.djvu</a>[/html]

«.. принцип образования сложных и абстрактных понятий путём композиции и абстрагирования от более простых и конкретных, несомненно лежит в основе построения языков.»

Мне не вполне понятно, что это за операции такие "композиция понятий" и "абстрагирование понятий", да и что такое "понятие" в материальном смысле. Я бы хотел более конкретного описания.

«очевидно, что физический носитель слова не имеет никакого значения»

А Пенроузу, например, не очевидно.

«в конечном счёте с чувстенным опытом»

Тут тоже примеров не хватает. Сетевая карта принимает байты и сохраняет их в оперативной памяти - это чувственный опыт?

«Понимать слово - значит уметь пройти в обратном направлении путь его построения»

Т.е. отследить историю приёма байтов сетевой картой? Или ещё надо понимать (на какую-то глубину) устройство карты?
Но мы же не понимаем (на всю глубину), как работает мозг, да и сложный он.

«Понимать абстрактное понятие - значит уметь его конкретизировать в каждом конкретном случае»

что значит "уметь"? и как конкретизация устроена?

«Понимать сложное понятие - значит уметь свести его к ряду простых»
«Свести каждый языковой объект к некоторым несводимым элементарным объектам ("комплексам ощущений")»

что значит "свести"? Воплотить? Привязать? Припаять?

«Если x - некоторая (алгебраическая) переменная, то её значение будет обозначаться Ʞ x ("конкретизация x")»

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

«символ подстановки ~»

А почему не стрелочка? Ну ок, тоже вариант. Но самое главное, что ~ и Ʞ это разные символы, а значит конкретизация - это не то же самое, что подстановка.

«Семантика самого метаалгоритмического языка определяется метаалгоритмической машиной, которая выполняет конкретизацию выражения в соответствии с имеющимся набором предложений.»
Метаалгоритмическая машина выполняет конкретизацию выражения (а почему не конкретизацию понятий? Может быть только эта грань отделяет человечество от создания ИИ. Причём человечество в лице Грефа эту грань уже прошло́, а мы топчемся в старых догмах полувековой давности.).

Отредактировано Лис (2021-01-19 06:16:41)