|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О некоторых медленно сходящихся системах преобразований термовстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 29 февраля 2016 г.
- Авторы: Беклемишев Л.Д., Оноприенко А.А.
- Журнал: Математический сборник
- Том: 206
- Номер: 9
- Год издания: 2015
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 3
- Последняя страница: 20
- DOI: 10.4213/sm8519
- Аннотация: Мы формулируем системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PA. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип Червя; их также можно рассматривать как вариант хорошо известной игры Геракла и Гидры, введённой Дж.Парисом и Л.Кирби.
- Добавил в систему: Беклемишев Лев Дмитриевич