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