Supongo que esto depende de lo que quieras decir con “automatizado”.
Si quiere decir verificar automáticamente la prueba, entonces sí, cualquier prueba se puede verificar automáticamente. Solo tiene que escribir la prueba en un idioma que una computadora pueda entender. (Aunque, aunque esto siempre es posible , puede ser engorroso hacerlo. Después de todo, en matemáticas a menudo confiamos en nuestra intuición para saltar mentalmente muchos pasos a la vez).
Si te refieres a generar automáticamente una prueba, entonces no. Quiero decir, hay casos especializados, como el uso de un sistema de álgebra computacional (CAS) para generar pruebas de integrales o identidades trigonométricas o cualquier otra cosa. (Y en teoría, para cualquier enunciado siempre se pueden enumerar las posibles pruebas, esto funcionará eventualmente si el teorema es realmente demostrable, excepto que llevaría un tiempo prácticamente largo que ni siquiera vale la pena considerarlo en la vida real). declaración matemática, no podemos generar automáticamente una prueba.
- ¿NJ Wildberger es una broma o un genio cuando afirma que las matemáticas, en su forma actual, son un engaño?
- Si se le da el trinomio x ^ 2 + 18x - 40, ¿puede decir qué dos binomios se multiplicaron para obtener esta respuesta? Si esto no es posible, dígalo.
- ¿Es posible distribuir el divisor?
- ¿Serían los humanos significativamente "mejores" en matemáticas avanzadas si pudiéramos visualizar cómodamente cuatro dimensiones espaciales?
- ¿Cómo convertir números normales en notación científica?