|
|
Межкафедральный семинар МФТИ по дискретной математике
17 октября 2018 г. 18:30, г. Долгопрудный, МФТИ, Корпус Прикладной Математики, 115
|
 |
|
 |
|
|
|
Как теория доказательств пришла к своим ординалам
Л. Д. Беклемишев |
| Количество просмотров: |
| Эта страница: | 322 |
|
Аннотация:
В математической логике, при изучении вопросов доказуемости и недоказуемости, с логическими системами связываются некоторые замечательные счетные ординалы. В докладе будет рассказано об этих ординалах, и о том, какую роль они играют при изучении формальных теорий.
|
|
Обратная связь: