Contributed talk at the Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (abstract) (slides)
August 23, 2019
Knowledge, Truth and Technological Change
invited lecture in the Innopolis University, 19 August 2019 (abstract)(slides)
Comments Off on Knowledge, Truth and Technological Change
Formal Proof-Verification and Mathematical Intuition.
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
Comments Off on Formal Proof-Verification and Mathematical Intuition.