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

April 28, 2020

Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью (доклад на семинаре)

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

Где: ИФРАН, семинар сектора аналитической антропологии (удаленно)

Когда: четверг 30 апреля 2020, начало в 6 Р.М.

Семинар пройдет в режиме видеоконференции (на платформе Zoom).

(abstract) (slides) (video)

March 29, 2020

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

Filed under: Uncategorized — Andrei Rodin @ 7:19 pm

Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020DELAYED

abstract (pdf)

March 5, 2020

TBA

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

upcoming invited talk at the PhilMath InterSem

Where: Paris, SPHERE

When: Friday, June 12 DELAYED UNTIL JUNE 2021

Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations

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

extended abstract (pdf)

Where: Boston University

When: Friday, March 27 CANCELED

also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021

February 10, 2020

Scientific 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, 2020DELAYED

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

Older Posts »

Powered by WordPress