Definiría esto como tener un buen conocimiento de las matemáticas abstractas, una base sólida en matemáticas aplicadas o ingeniería, y una comprensión de la informática teórica.
El término Matemática Pura se usa de muchas maneras diferentes que ya no tiene sentido. Lógicamente es una redundancia o un oxímoron.
Una cosa con la que me encuentro inquietante es encontrar departamentos de matemáticas que enseñan álgebra transfinita y establecen la teoría como la base de las matemáticas.
- ¿Por qué las matemáticas son mucho más difíciles que la programación?
- ¿Necesito ser bueno en matemáticas para aprender codificación?
- ¿Por qué es más fácil verificar una respuesta que producirla?
- ¿Cuáles son los problemas en informática para los cuales se conoce con certeza la mejor complejidad computacional absoluta?
- ¿Cuál es la diferencia entre un algoritmo O (1) y O (k), donde k es una constante?
Los fundamentos de las matemáticas pueden representarse como topología, teoría de grafos, gramáticas, lenguajes formales o autómatas, pero la teoría de conjuntos no es tan insuficiente como engañosa.
En su mayor parte, las limitaciones de las matemáticas se discuten en tres lugares.
- El Departamento de Filosofía bajo el título de lógica formal, involucrando el trabajo de personas como Kurt Godel y Alonzo Church.
- El Departamento de Lingüística bajo el título de lingüística matemática, que involucra el trabajo de personas como Noam Chomsky.
- El Departamento de Ciencias de la Computación bajo el título de Ciencias de la Computación Teórica o Teoría del Lenguaje Formal, involucrando el trabajo de personas como Alan Turing y Stephen Cole Kleene.