Теорема Сколема

Теорема Сколема

Теорема Сколема (Сколема — Малера — Леха) — утверждение о нулях рекуррентной последовательности a_t[1]:

Нули \{t: a_t=0\} рекуррентной последовательности a_t образуют лишь конечное число арифметических прогрессий на оси t.

См. также

Ссылки

  1. ↑ В. И Арнольд Динамика, статистика и проективная геометрия полей Галуа. — М.: МЦНМО, 2005. — С. 40. — 72 с.


Формула
Wiki letter w.svg
 Для улучшения этой статьи по математике желательно?:
  • Проставить интервики в рамках проекта Интервики.
  • Добавить иллюстрации.
Wiki letter w.svg
 На эту статью не ссылаются другие статьи Википедии.
Пожалуйста, воспользуйтесь подсказкой и установите ссылки в соответствии с принятыми рекомендациями.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Теорема Сколема" в других словарях:

  • Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма  Сколема  утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… …   Википедия

  • СКОЛЕМА ФУНКЦИЯ — функция Скулема, сколемовская функция, понятие логики предикатов. Если А( х 1 ,. . . , х n, у).предикатная формула от индивидных переменных х 1,... , xn, у, области изменения к рых суть множества Х 1, . . . , Х п, Y соответственно, то функция f …   Математическая энциклопедия

  • СКОЛЕМА ПАРАДОКС — следствие теоремы Лёвенхейма Сколема (см. Гёделя теорема о полноте), состоящее в том, что всякая непротиворечивая формальная аксиоматич. теория, заданная счетным семейством аксиом, выполнима в счетной области. В частности, если предположить… …   Математическая энциклопедия

  • Теорема Левенгейма-Сколема — …   Википедия

  • Теорема Левенгейма — Сколема — …   Википедия

  • Теорема Лёвенгейма-Сколема — …   Википедия

  • Парадокс Сколема — представляет собой рассуждение, связанное с использованием теоремы Лёвенгейма Сколема для аксиоматической теории множеств. В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали Форти, где при помощи логически верных выводов… …   Википедия

  • ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… …   Математическая энциклопедия

  • ЛЁВЕНХЕЙМА - СКОЛЕМА ТЕОРЕМА — см. Гёделя теорема о полноте …   Математическая энциклопедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»