8 citations · 10 across the 11 of their papers we have counts for
9 papers · 1 filter
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…
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…
Doing and Showing
Andrei Rodin
The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (in…