Last updated on: 2021-08-04.

Under Development

A collection of classical geometry in computable formats along with code and diagrams.

Computable Euclid

Euclid Book 13

Book 13 concerns the tetrahedron, cube, octahedron, icosahedron and dodecahedron. These figures likely come from either Pythagorus or Theaetetus and were studied more by the school of Euclid, but Plato discussed them in a dialog with Timaeus. Even though Plato merely promoted these figures, they are now called the Platonic solids, an early example of Stigler’s law of eponymy that things are named after the wrong person.