8 citations · 9 across the 3 of their papers we have counts for
Showing math.HOShow all
3 papers · 1 filter
math.HO2023★ 1 cited
One Mathematic(s) or Many? Foundations of Mathematics in Today's Mathematical Practice
Andrei Rodin
The received Hilbert-style axiomatic foundations of mathematics has been designed by Hilbert and his followers as a tool for meta-theoretical research. Foundations of mathematics o…
math.HO2014★ 8 cited
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.
math.HO2012
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…