| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс «Математическая логика, часть 2»
|
|||
|
|
|||
|
Лекция 5. Гёделева нумерация С. Л. Кузнецов |
|||
|
Аннотация: Гёделева нумерация термов и формул. Предикат доказательства. Предикат доказуемости. Функция подстановки, её примитивно-рекурсивность. 1-е и 2-е условия доказуемости Гильберта – Бернайса – Лёба. Параметрическая версия 2-го условия доказуемости. |
|||
