Los científicos me han dicho que las Matemáticas no son una ciencia, y en ese momento discutí con ellos, pero hoy omitiré las Matemáticas de la consideración, y dejaré esa discusión a otros.
Tenga en cuenta que la informática fue una vez parte de las matemáticas, y se llama ciencia. Presumiblemente, los científicos no se opondrán, entonces, cuando doy Ciencias de la Computación como respuesta a la pregunta actual. El principal problema que veo al dar esta respuesta es que, aunque los informáticos teóricos (y los matemáticos) están familiarizados con el método científico y utilizan el método científico en una variedad de contextos, según corresponda, muchos programas universitarios que etiquetan sus títulos como “Computadora Ciencia “no cubre la informática teórica o las aplicaciones concomitantes del método científico, porque el mercado para las personas con títulos en informática presiona que dichos programas se centren principalmente en la programación, los sistemas operativos y la arquitectura de sistemas, que son principalmente los menos científicos, y partes más orientadas a la ingeniería del tema. Es decir, el problema que veo al dar mi respuesta hoy es que muchas personas que se oponen a llamar a las Matemáticas una “ciencia” también pueden oponerse a llamar a la Ciencia de la Computación una “ciencia”, porque el uso de este método científico por los estudiantes promedio de Ciencias de la Computación, profesores y graduados que conocen pueden ser mínimos y tenues en el mejor de los casos.
Sin embargo, los informáticos teóricos, como Moshe Vardi (trabaja en la teoría de modelos finitos, entre otras cosas), Leslie Lamport (trabaja en la lógica temporal de los programas), Manindra Agrawal (trabaja en pruebas de primalidad de tiempo polinomial), Lenore Blum (trabaja en teoría de la complejidad), George Boole (profesor de matemáticas de la escuela secundaria después de quien se nombran los términos “lógica booleana”, “álgebra booleana”, “espacio booleano” y “circuito booleano”), Gregory Chaitin (trabaja en teoría de información algorítmica), Andrei Kolmogorov (trabajó en la teoría de la complejidad), Kurt Gödel (trabajó en la teoría de la función recursiva y la noción de computabilidad), Alan Cobham (formuló la noción de “computación factible”) y Stephen Cook (trabaja en la computación factible), usan muchos matemáticas. Sus (y nuestras) herramientas principales son la lógica y el razonamiento analítico cuidadoso, y ninguna otra disciplina que se denomine “ciencia” está tan inundada de lógica y razonamiento, ni ninguna otra disciplina que se llame “ciencia” parece ser consciente de la Necesidad de una base sólida basada en la lógica y el razonamiento analítico cuidadoso.
- ¿Existe alguna notación conveniente, como la notación factorial (n!) Para expresar la suma de todos los números contados del 1 al n?
- Puedo tomar la teoría de grafos o la combinatoria el próximo semestre. Me interesa la informática teórica. ¿Cuál sería mejor?
- ¿Qué es mejor, una licenciatura con honores conjuntos en matemáticas / CS o matemáticas / física?
- Ejecuto un modelo de regresión de Cox con dos variables y luego agrego otra variable a este modelo. Cuando agrego la tercera variable, la dirección de los coeficientes cambia. ¿Cómo puedo interpretar esto?
- ¿Ya se resolvió P versus NP? ¿Si es así, cómo?