|
SEMINARS |
|
An incompleteness theorem via ordinal analysis J. Walsh Cornell University |
|||
Abstract: We present an analogue of Gödel’s second incompleteness theorem. Whereas Gödel showed that sufficiently strong theories that are Language: English Website: https://mi-ras-ru.zoom.us/j/98131048728?pwd=WnlSNGUvU3lTUTNqY0xNaWV0K0hyQT09 * Meeting identifier: 981 3104 8728 Password: 123189 |