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

November 29, 2022

La “relance continue” de la philosophie des mathématiques selon Jean-Jacques Szczeciniarz

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

Une conférence invitée au colloque en l’honneur de Jean-Jacques Szczeciniarz, Paris, 24-25 novembre 2022 (abstract)(slides)(programme)

October 24, 2022

Interview to France24

Filed under: Uncategorized — Andrei Rodin @ 6:01 pm

Here is my and my wife’s Marina Kravtsova short interview given to France24 TV channel in September 2022 soon after our arrival to France from Russia.

April 26, 2022

Проблема доверия к искусственному интеллекту и унивалентные основания математики

Filed under: Uncategorized — Andrei Rodin @ 12:05 pm

Приглашенный доклад на конференции Искусственный Интеллект: проблема доверия (Президиум РАН, 27-28 апреля 2022). (board)

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

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

Абстракт

Объявление

Слайды

Видео

Older Posts »

Powered by WordPress