О неразрешимости трансцендентных уравнений и ветвлении

Доклад посвящен вопросам неразрешимости в связи с ветвлением. Предполагается в дальнейшем создать компьютерную систему доказательства неразрешимости. Доклад также затрагивает, казалось бы, несвязанный вопрос: о дискретной кривизне и о сборке обобщений кубика Рубика.