Comment by kevinbuzzard
2 days ago
Would you have been happier if we had called it "...all known mathematics"? This is what we are plainly talking about. The question we attempt to address is how best to digitise the corpus of known mathematics.
2 days ago
Would you have been happier if we had called it "...all known mathematics"? This is what we are plainly talking about. The question we attempt to address is how best to digitise the corpus of known mathematics.
Would still have been wrong.