TY  - SER
AU  - Нехаев,Андрей Викторович
TI  - Машина Поста, самореференция и парадоксы
KW  - самореференция
KW  - Рассела-Тарского иерархический подход
KW  - Ябло парадокс
KW  - Поста машина
KW  - вычислительная семантика
KW  - статьи в журналах
N1  - Библиогр.: 27 назв
N2  - Иерархический подход Рассела – Тарского рассматривает явление самореференции в качестве унифицированной причины возникновения обширного семейства различных семантических парадоксов. Появление в конце XX в. инфинитных форм парадоксов без признаков самореференции сделало иерархический подход Рассела – Тарского объектом многочисленных критических атак. На примере парадокса «Бесконечного лжеца» С. Ябло исследуются аналитические возможности оригинальной вычислительной семантики, исключающей любые виды рекурсии при определении истинностного значения и демонстрирующей эффективность базовых принципов иерархического подхода Рассела – Тарского в борьбе против новых форм семантических парадоксов
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648918
ER  -