| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
|
|||
|
О неразрешимости трансцендентных уравнений и ветвлении А. С. Малистов, А. Я. Канель-Белов, Зайцев Родион |
|||
|
Аннотация: Доклад посвящен вопросам неразрешимости в связи с ветвлением. Предполагается в дальнейшем создать компьютерную систему доказательства неразрешимости. Доклад также затрагивает, казалось бы, несвязанный вопрос: о дискретной кривизне и о сборке обобщений кубика Рубика. |
|||