|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Вторая теорема Гёделя о неполноте без арифметизациитезисы доклада
- Автор: Пахомов Фёдор Николаевич
- Сборник: Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
- Редакторы: Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2017
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 34
- Последняя страница: 36
- Аннотация: In the talk we will present a new generalisation of G¨odel second incompleteness theorem. We introduce a theory Syn(Ω) that talks about first-order formulas of a given signature Ω. We prove the Diagonal Lemma and G¨odel second incompleteness theorem for all theories T that interpret theory Syn(Ω), where Ω is the signature of T. We note that unlike more standard approaches that are applicable only to some arithmetical theories (or theories that interpret certain arithmetical theory), our approach is applicable to a wider class of theories – all theories that interpret the theory of pairing function on an infinite domain.
- Добавил в систему: Золин Евгений Евгеньевич