Hola carl
Desde que has muerto, la escena matemática ha cambiado. Ha aparecido un nuevo jugador. Es capaz de realizar miles de millones de operaciones aritméticas por segundo, pero hay que contarlo todo como un idiota. Le voy a dar mi computadora y estos libros por un matemático moderno, Donald Knuth. Te enseñarán cómo programarlo, así es como decirle a una computadora que resuelva un problema específico.
Después de leer eso, deseo que se aplique a la siguiente pregunta: dado el modelo matemático de la computadora, por medio de abstracciones equivalentes, ¿es posible programar una computadora para que pueda aprender matemáticas como lo hacemos y probar? Es propio descubrir nuevos teoremas y demostrarlos? ¿Puedes convertir la computadora en un matemático automático? ¿Algo que pueda hacer tu trabajo? Creo que actualmente utilizan estas maravillosas máquinas principalmente para resolver problemas empresariales conceptualmente triviales. ¿Puedes hacer cosas más interesantes con ellos?
- ¿Qué es una explicación intuitiva de una zona de Brillouin?
- ¿Cuáles son las definiciones intrínsecas libres de coordenadas de tensor de energía de estrés y tensor de momento de inercia?
- ¿Por qué el producto cruzado de 2 vectores tiene que ser anti-conmutativo? Y por favor no responda usando la regla del pulgar derecho o la regla del pulgar izquierdo.
- ¿Es la razón de Poisson una cantidad escalar o vectorial?
- ¿Cuál es la relación entre el gravitón y el tensor métrico?
Apuesto a que redescubrirá Prolog (PROGRAMACIÓN en LÓGICA) pero esperaría que vaya más allá de eso, siempre que se pueda hacer.