La informática, en mi opinión, realmente puede considerarse una rama de las matemáticas. Como tal, creo que esta pregunta es similar a la pregunta “¿Han cambiado los fundamentos de las matemáticas en los últimos 50-60 años?”
Creo que se puede demostrar que varios conceptos no son correctos en la forma en que uno muestra que una prueba matemática no es correcta; de esa manera, varios teoremas pueden ser refutados. Sin embargo, que yo sepa, no hubo un gran cambio de paradigma en los últimos 50-60 años como si hubiera habido grandes cambios en la medicina o la física.
Creo que una pregunta más acertada es: “¿Qué áreas y problemas de la informática desarrollados en los últimos 50-60 años se han vuelto tan importantes que ahora se consideran fundamentales?” Para dar un ejemplo, el problema P versus NP se introdujo solo en 1971 [1].
- ¿Qué es el autómata pushdown?
- ¿Por qué la estructura de datos se considera un curso muy importante en CSE?
- ¿Cuáles son algunas estrategias para hacerlo bien en 6.01 en MIT?
- Si cambia el tamaño de una imagen ráster de 1000 × 1000 a 10 × 10 y luego la redimensiona a 1000 × 1000, ¿se considera que esto es un alias en informática?
- Cómo aprender independientemente la teoría de la complejidad computacional
[1] Cook, Stephen (1971). “La complejidad de los procedimientos de prueba del teorema”. Actas del Tercer Simposio Anual de ACM sobre Teoría de la Computación . pp. 151-158.