|
СЕМИНАРЫ |
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
Лекция 8. Лемма о диагонализации Л. Д. Беклемишев |
|||
Аннотация: Лемма о неподвижной точке (диагонализации). Варианты с параметрами. Условия Гильберта-Бернайса-Леба |