The Empirical Metamathematics of Euclid and Beyondwritings.stephenwolfram.com2 pointsbeefman6 years ago