Es claro que la matematica clasica de teoremas, proposiciones, lemas y colorarios es necesaria, y estoy convencido de que hay multitud de resultados que por si solos merecen la pena estudiarse por bonitos y no por utiles. Hay esta el caso de Fermat en teoria de numeros, que despues de tres siglos se aplico en criptografia.
Les voy a contar algo, en junio del año pasado hubo un congreso internacional entre la AMS y la RSME al que asisti. En el matematicos españoles y americanos exponian, por decirlo de alguna manera, la tecnologia punta.
Las conferrencias de matematicos españoles eran aridas disertaciones sobre espacos abstractos, que en principio no llegaban a nada, simplemente matematica pura y dura.
Las conferencias de matematicos americanos, empezaban planteando problemas de origen no matematico, tales como realizar un TAC o tomar una fotografia aerea por un satelite, lo siguiente que hacian era explicar que podia hacer la matematica con estos problemas, y despues hacer matematica con todos sus teoremas y demostraciones.
(El caso particular de la fotografia aerea era muy bonito, ya que los tios desde una fotografia en 2d hacian un mapa 3d, todo ello mediante triangulaciones y calculo de areas, usando intensamente el ordenador)
Creo que ahi es donde esta el termino medio entre matematica pura y aplicada. Ademas esto casa a la perfeccion en lo que es la filosofia matematica, combinar ideas que en principio no tienen nada que ver para hacer algo nuevo, vease el caso del analisis funcional.