|
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
15 ноября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН
|
|
|
|
|
|
Новое доказательство теоремы Соловея об арифметической полноте логики GL
Ф. Н. Пахомов Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
|
Количество просмотров: |
Эта страница: | 149 |
|
Аннотация:
Известная теорема Р.Соловея об арифметической полноте логики доказуемости Гёделя–Лёба GL утверждает, что для всякой недоказуемой в GL формулы существует опровергающая её оценка утверждениями арифметики Пеано PA. В доказательстве Соловея необходимая оценка строилась с помощью арифметических неподвижных точек. В предлагаемом доказательстве соответствующая оценка строится с использованием более явно задаваемых формул.
|
|