gwern comments on Rationality Quotes April 2014

[gwern]

I think we can safely say there were non-Euclidean geometries involved.