Las matemáticas no se trata de cálculo, se trata de pruebas. La prueba no es completamente ajena a la computación. Hay pruebas asistidas por computadora, por ejemplo, la prueba del teorema de los cuatro colores, y muchas personas estudian sistemas de prueba automatizados. Pero en su mayor parte, la programación de computadoras produce solo funciones que computan valores. Esto puede ser útil para las matemáticas, pero no lo reemplaza.
Las computadoras a menudo son inútiles para responder preguntas sobre una colección de objetos que no se pueden enumerar. Por ejemplo, no hay una forma obvia de usar una computadora para ayudar a responder la conjetura de Vaught, porque esta es una pregunta sobre cardinalidades infinitas. Probablemente hay una prueba / refutación finita de la conjetura de Vaught que una computadora podría descubrir, pero una computadora no puede aplicarse directamente para contar un conjunto incontable de objetos.
Incluso cuando se trata de conjuntos finitos, las computadoras a menudo son inaplicables. Por ejemplo, supongamos que queremos saber el número de Ramsey [math] R (10,10) [/ math]. Este es un número finito que podría calcularse haciendo un cálculo suficientemente largo. Pero el cálculo no es factible llevar a cabo en la práctica, porque la cantidad de posibilidades que deben considerarse en un enfoque ingenuo es enormemente grande.
- ¿Debo dedicar tiempo a revisar una materia que no me gusta y que no es útil para mi universidad?
- Cómo aprender esperanto de la manera más rápida posible.
- ¿Cuál es el mejor sistema de gestión de aprendizaje?
- ¿Se susurran los secretos del universo en el lenguaje de la geometría?
- ¿Puede discutir las teorías sobre el aprendizaje autónomo de idiomas y reflexionar sobre por qué un énfasis en el aprendizaje autónomo de idiomas puede encontrar una fuerte resistencia por parte de los profesores de idiomas?