8 citations · 10 across the 11 of their papers we have counts for
12 papers
Lobachevsky's Views of Geometry
Andrei Rodin
Lobachevsky's discovery of Non-Euclidean geometry was a byproduct of his more ambitious plan of reforming the traditional Euclid-style foundations of geometry. This project aligned…
Kolmogorov's Calculus of Problems and Its Legacy
Andrei Rodin
Kolmogorov's Calculus of Problems is an interpretation of Heyting's intuitionistic propositional calculus published by A.N. Kolmogorov in 1932. Unlike Heyting's intended interpreta…
Voevodsky's Unachieved Project
Andrei Rodin
In a series of lectures given in 2003 soon after receiving the Fields Medal for his results in the Algebraic Geometry Vladimir Voevodsky (1966-2017) identifies two strategic goals…
On Constructive Axiomatic Method
Andrei Rodin
In this last version of the paper one may find a critical overview of some recent philosophical literature on Axiomatic Method and Genetic Method.
Axiomatic Method and Category Theory
Andrei Rodin
Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of heigher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical…
Univalence and Constructive Identity
Andrei Rodin
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences j…