From Plato's Rational Diameter to Proclus' Elegant Theorem
We debate, departing from 2-3 readings of a single sentence in Proclus' Commentary to Plato's Republic, the plausibility of a rigorous (inductive) arithmetical derivation of an infinite sequence of pairs of side and diameter numbers by Proclus.
math.HO↗