Historically already ancient Greeks knew pure mathematics (e.g. Euclid's Elements), and differentiated it from its applications as far as I'm concerned. That ma

Historically already ancient Greeks knew pure mathematics (e.g. Euclid's Elements), and differentiated it from its applications as far as I'm concerned. That made them pretty distinct from earlier Egyptian mathematicians who indeed were only concerned with solving practical problems without much attention to logical rigor.