|
|
Узлы и теория представлений
21 октября 2019 г. 18:30, г. Москва, ГЗ МГУ, ауд. 12-05
|
|
|
|
|
|
О неразрешимости трансцендентных уравнений и ветвлении
А. С. Малистов, А. Я. Канель-Белов, Зайцев Родион |
Количество просмотров: |
Эта страница: | 233 |
|
Аннотация:
Доклад посвящен вопросам неразрешимости в связи с ветвлением. Предполагается в дальнейшем создать компьютерную систему доказательства неразрешимости. Доклад также затрагивает, казалось бы, несвязанный вопрос: о дискретной кривизне и о сборке обобщений кубика Рубика.
|
|