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)(slides)

Powered by WordPress