Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020DELAYED
abstract (pdf)
March 29, 2020
Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
Comments Off on Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
March 5, 2020
TBA
upcoming invited talk at the PhilMath InterSem
Where: Paris, SPHERE
When: Friday, June 12 DELAYED UNTIL JUNE 2021
Comments Off on TBA
Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
extended abstract (pdf)
Where: Boston University
When: Friday, March 27 CANCELED
also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations