|
|
Семинар отдела математической логики «Теория доказательств»
26 сентября 2016 г. 18:30–20:30, г. Москва, online на платформе Zoom
|
 |
|
 |
|
|
|
О новом доказательстве теоремы Соловея
Ф. Н. Пахомов |
| Количество просмотров: |
| Эта страница: | 64 |
|
Аннотация:
Хорошо известна теорема Соловея об арифметической полноте логики доказуемости Гёделя-Лёба $GL$. Техника разработанная Соловеем для доказательства этой теоремы в дальнейшем была использована для
доказательства арифметической полноты ряда других логик. В доказательстве Соловея арифметические предложения, в рамках необходимых контрпримеров, строятся в качестве определенных арифметических
неподвижных точек.
В этом докладе будет рассказано новое доказательство арифметической полноты $GL$. В рамках этого доказательства необходимые арифметические предложения строятся непосредственным образом.
|
|
Пользовательское соглашение