uAnalytiCon-2022, Круглый стол Математические объекты, структуры и доказательства

Круглый стол «Математические объекты, структуры и доказательства» в рамках международной научной конференции “uAnalytiCon-2022: Абстрактные объекты“, г. Екатеринбург, 13-14 мая 2022 г. 00:00:00 -- Start 00:00:02 -- Целищев В. В., Доказательство и понимание 00:30:01 -- Хлебалин А. В., Вывод, доказательство и основания 00:57:25 -- Шапошников В. А., Онтологическая амбивалентность математики 01:34:22 -- Родин А. В., Решения и доказательства 02:05:00 -- Катречко С. Л., Математика как работа с абстрактными объектами