▽Mathematics and Computation ●02/02 01:50 Space-filling curves, constructively30 January 2024Andrej BauerConstructive math, Gems and stonesIn 1890 Giuseppe Peano discovered a square-filling curve, and a year later David Hilbert published his variation. In those days people did not waste readers' attention with dribble – Peano explained it all on 3 pages, and Hilbert on just 2 pages, with a picture!But are these constructive square-fi