ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Зависимость интерпретации от контекстов, которые могут быть потенциально бесконечными, порождает проблему необходимости контроля за бесконечным размножением интерпретаций, чтобы с ними можно было осмысленно работать. В докладе предполагается уточнить постановку проблемы, рассмотреть предлагавшиеся возможные пути ее решения и наметить способы преодоления трудностей, которые возникают при попытках практического воплощения этих решений.