|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
An incompleteness theorem via ordinal analysis J. Walsh Cornell University |
|||
Аннотация: We present an analogue of Gödel’s second incompleteness theorem. Whereas Gödel showed that sufficiently strong theories that are Язык доклада: английский Website: https://mi-ras-ru.zoom.us/j/98131048728?pwd=WnlSNGUvU3lTUTNqY0xNaWV0K0hyQT09 * Meeting identifier: 981 3104 8728 Password: 123189 |