|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
The second incompleteness theorem revisitedдоклад на конференции
- Автор: Visser Albert
- Международная Конференция (Семинар (workshop)) : Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
- Даты проведения конференции: 17-20 октября 2017
- Дата доклада: 20 октября 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Steklov Mathematical Institute, Moscow, Russia, Russia
-
Аннотация доклада:
We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a Σ⁰₁-axiomatization of Elementary Arithmetic for which the Löb Conditions fail.
- Добавил в систему: Золин Евгений Евгеньевич