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 -- Катречко С. Л., Математика как работа с абстрактными объектами