you are viewing a single comment's thread
view the rest of the comments
[–] 22 points 10 months ago*

There's kind of a proof built of of work Euclid and Archimedes. There's a paper that goes over it (I know skimmed) https://arxiv.org/pdf/1303.0904

  • source