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

April 16, 2026

Kolmogorov’s Calculus of Problems and its legacy in the constructive mathematics

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

Contributed talk at the 7th Workshop on Formal Topology (Venice 13-17 April 2026)(program)(abstract)(slides)(related paper)

Powered by WordPress