Вчера мы продолжили серию приглашённых докладов с обсуждением текущих исследований. Свой черновик статьи про исчисление задач Колмогорова, философские основания и дальнейшие разработки этого направления представил Андрей Родин, д. филос. н., исследователь, Архив Анри Пуанкаре, Университет Лотарингии. Мы обсудили различия задач и высказываний, вопросы существования математических объектов, отличия позиции Колмогорова от интуиционизма и многое другое. Получилось очень насыщенно и интересно. Запись доклада доступна на нашем YouTube-канале, а скоро появится и в других наших социальных медиа.