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

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


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

Powered by WordPress