Размышления о суб-Тьюринговой интерактивной вычислимости (2026)
В статье содержится описание возможного нового направления для логики вычислимости, сосредоточенного на вычислимости без бесконечной памяти или других невозможных для обладания вычислительных ресурсов. Новый подход рассматривает такие ресурсы как внешние, а не внутренние для вычислительных устройств. Они могут и должны быть учтены явно в антецедентах логических формул, выражающих вычислительные задачи.
Издание:
ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ
Выпуск:
№ 1, Том 31 (2026)