Lagrange Riddle
In the program to get rid of any notion of infinity, one necessarily has to demonstrate that very classical and entrenched notions like topics appearing in a contemporary multi-variable calculus course can be replaced and used. Artificial discretisations do not help much in that; they serve as numerical schemes but …