andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

April 11, 2022

Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method

Filed under: Uncategorized — Andrei Rodin @ 8:23 am

UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)

January 23, 2022

Виталий Валентинович Целищев об эпистемологии математических доказательств

Filed under: Uncategorized — Andrei Rodin @ 7:31 am

Доклад на конференции «Аналитическая философия: траектории истории и векторы развития» к 80-летию со дня рождения научного руководителя ИФПР СО РАН, д.филос.н., профессора Виталия Валентиновича Целищева, Новосибирск 25-26 февраля 2022 г. (extended abstract)(slides)

December 8, 2021

Эпистемология топологического анализа данных

Filed under: Uncategorized — Andrei Rodin @ 2:17 pm

приглашенный доклад на Международном научном форуме по применению информационных технологий и компьютерного моделирования в научных исследованиях и инженерно-промышленном бизнесе FIT-M 2021, секция Вычислительная философия и Искусственный Интеллект, 16-18 декабря 2021. (abstract)(program)(invite)(slides)

November 29, 2021

Унивалентные основания и прикладная математика.

Filed under: Uncategorized — Andrei Rodin @ 8:45 am

приглашенный доклад на семинаре “Алгебраическая биология и теория систем” 15 декабря 2021 (abstract)(announcment)

Компьютерные доказательства и их понимание человеком: случай унивалентных оснований

Filed under: Uncategorized — Andrei Rodin @ 6:58 am

Доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (extended abstract)

September 20, 2021

Как на самом деле Эйлер решал задачу о Кёнигсбергских мостах, и почему это имеет значение

Filed under: Uncategorized — Andrei Rodin @ 9:52 am

приглашенный доклад на Ученом Совете Института Истории Естествознания и Техники РАН

Когда: четверг 7 октября 2021, начало в 13 часов

Где: Москва, ул.Балтийская, д.14

Формат: очный

аннотация:

slides:

video (youtube)


September 14, 2021

Оптика математических понятий и топологический анализ данных

Filed under: Uncategorized — Andrei Rodin @ 9:43 am

Доклад на семинаре Института когнитивных исследований СПбГУ.

Когда: 22 сентября, начало в 18 часов

Где: Факультет Свободных Искусств и Наук СПбГУ (дворец Бобринских), ауд. 152

Формат: смешанный

Абстракт

Объявление

Слайды

Видео

July 25, 2021

Did Lobachevsky have a Model of his “Imaginary Geometry”?

Filed under: Uncategorized — Andrei Rodin @ 11:20 am

Invited talk at the 26th International Congress of History of Science and Technology, Internet, July 25-31, 2021. (abstract)(slides)

July 13, 2021

Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis

Filed under: Uncategorized — Andrei Rodin @ 3:02 pm

Contributed talk at the conference Logic, Relativity and Beyond organised by Alfréd Rényi Institute of Mathematics (Internet, 14-17 July, 2021)(abstract)(slides)

June 16, 2021

Computer-assisted proofs and mathematical understanding: The case of univalent foundations

Filed under: Uncategorized — Andrei Rodin @ 8:56 pm

Contributed talk at the Logical Perspectives Workshop 2021, June 17, Steklov Mathematical Institute (slides)

« Newer PostsOlder Posts »

Powered by WordPress