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

February 10, 2020

Progress and Its Vulnerability

Filed under: Uncategorized — Andrei Rodin @ 9:48 pm

upcoming talk.

Were: the University of Turku, Philosophers’ Club (Spring 2020 Program)

When: Friday, April 24, 2020

August 23, 2019

Knowledge Representation with HoTT

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

Contributed talk at the Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (abstract) (slides)

Knowledge, Truth and Technological Change

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

invited lecture in the Innopolis University, 19 August 2019 (abstract)(slides)

Formal Proof-Verification and Mathematical Intuition.

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

Contributed talk at the INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY (CLMPST2019) PRAGUE,  5–10 August 2019 (program) (abstract) (full slides)(light slides)I

June 5, 2019

Knowledge Representation with HoTT

Filed under: Uncategorized — Andrei Rodin @ 10:39 am

Contributed talk at the 25th International Conference on Types for Proofs and Programs, June 11-14, 2019, Oslo, Norway

Abstract

Slides

Related paper

Book of Abstracts indexed by Program

June 3, 2019

Truth and Justification in Knowledge Representation

Filed under: Uncategorized — Andrei Rodin @ 1:41 pm

Invited talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” (jww Serge Kovalyov)

When: Friday June 7, 2019

Where: Department of Computer Science, Higher School of Economics (Moscow, 3 Kochnovsky Proezd)

Abstract

Paper

Slides

May 17, 2019

А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни”

Filed under: Uncategorized — Andrei Rodin @ 5:30 pm
Александр Сергеевич Есенин-Вольпин (1924-2016)

14 мая 2019 года в Институте философии РАН в рамках проекта «Философская мастерская» состоялся круглый стол
“А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни” .

ВИДЕО:

Страница события на сайте РАН

Участники: Р.Г. Апресян, д.ф.н., главный научный сотрудник, руководитель сектора этики Института философии РАН; В.А. Лекторский, академик РАН, д.ф.н., главный научный сотрудник сектора теории познания Института философии РАН; Г.Б. Шабат, д.физ.-мат.н., профессор кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.

Модератор к.ф.н. А.В. Родин, со-модератор проф. РАН, д.ф.н. Ю.В. Синеокая.

April 24, 2019

Directed Homotopy Type Theory and the (In)vertibility of Mathematics

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

Speaker: Andrei Rodin, Russian Academy of Sciences

When: Wednesday April 24, 2019, 7:00 – 8:30 PM.

Where: Graduate Centre CUNY, (365 5th Ave, New York, NY 10016), room 6417

Abstract:

Directed Homotopy Type theory (DHTT) is a generalization of Homotopy Type theory (HoTT) where fundamental groupoids of spaces are replaced by more general (higher) categories. Along with type formers for identity types which admit the standard HoTT interpretation in terms of invertible paths and their homotopies, DHTT comprises type formers for non-invertable homomorphisms of all levels which admit an interpreation in terms of non-invertable paths in appropriate spaces. The choice between DHTT and HoTT as foundational formal frameworks for building mathematical theories has an epistemological dimension, which concerns the epistemic significance of the invertibility condition. While HoTT and the related notion of Univalent Foundations support Mathematical Structuralism DHTT supports a more dynamic conception of Mathematics, which I shall outline in my talk. 

slides

March 13, 2019

Reflections on the Foundations of Mathematics

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

Coming out soon in Springer with my piece on Univalent Foundations.  More details here.

ProductFlyer

October 18, 2018

Forthcoming talks

Filed under: Uncategorized — Andrei Rodin @ 10:06 am

 

Extra-logical proof-theoretic semantics in HoTT (abstract)

Conference Proof Theoretic Semantics: Assessments and Future Perspectives : Tübingen,  March 27-30, 2019

 

Логическая и экстра-логическая теоретико-доказательная семантика в гомотопической теории типов (slides)

Теоретический семинар Кафедры Логики СПбГУ , 7 марта 2019, начало 17:20, ауд. 167

 

 

E pluribus unum в логике и математике (abstract)

 Когда: 24 ноября 2018,начало в 11 утра

Конференция «Горизонты логического плюрализма» к юбилею Владимира Леонидовича Васюкова

Где: ВШЭ (Москва) Мясницкая 11, ауд. 508

 

 

Конструктивный аксиоматический метод и унивалентные основания математики (abstract)

Когда: 26 ноября 2018, 14:00

Где: ПОМИ (Петербургское отделение математического института им. В.А. Стеклова РАН), городской логический семинар (объявление).

Older Posts »

Powered by WordPress