4 ms·
To quote a mathematician you might have heard of, "μή εἶναι βασιλικήν ἀτραπόν ἐπί γεωμετρίαν", that is, "there is no royal road to geometry", that is, there's n
by GFK_of_xmaspast 11y ago
To quote a mathematician you might have heard of, "μή εἶναι βασιλικήν ἀτραπόν ἐπί γεωμετρίαν", that is, "there is no royal road to geometry", that is, there's no easy way to get there without doing it.
- throweway 11y agoThere is certainty no royal road to type theory. Ugh!!