Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «О некоторых медленно сходящихся системах преобразований термов, "Математический сборник"»

Авторы:
  • Беклемишев Лев Дмитриевич1
  • Оноприенко Анастасия Александровна2
стр. 3-20
Платно
1 Математический институт им. В.А. Стеклова Российской академии наук, 2 Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Ключевые слова:
  • системы преобразований термов
  • арифметика Пеано
  • принцип червя.
Аннотация:
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано . Тем самым, утверждение о сходимости таких систем не доказуемо в . Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, введенной Дж. Парисом и Л. Кирби.Библиография: 16 названий.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.  

 

* - цена актуальна только для физических лиц
В т.ч. НДС 20%