| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Межкафедральный семинар МФТИ по дискретной математике
|
|||
|
|
|||
|
Как теория доказательств пришла к своим ординалам Л. Д. Беклемишев |
|||
|
Аннотация: В математической логике, при изучении вопросов доказуемости и недоказуемости, с логическими системами связываются некоторые замечательные счетные ординалы. В докладе будет рассказано об этих ординалах, и о том, какую роль они играют при изучении формальных теорий. |
|||