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

August 23, 2019

Knowledge Representation with HoTT

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

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

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

Powered by WordPress