Asistentes de demostración

Ponente(s): Airley Becerra Solis, José Manuel Gómez Soto

Resumen En esta plática se exploraran los asistentes de demostración. Estos son programas diseñados para verificar la exactitud de demostraciones matemáticas, asegurando su validez. Para una comprensión más profunda, abordaremos primero qué constituye una prueba matemática y sus distintas etapas. Esto nos permitirá identificar precisamente cómo y dónde los asistentes de demostración son de utilidad. En cuanto a los asistentes, discutiremos los criterios para evaluar su correcto funcionamiento, los lenguajes que utilizan, su historia y presentaremos ejemplos de algunas pruebas realizadas. También abordaremos las controversias que han surgido en torno a su uso. Finalmente, se presentarán algunos de los asistentes de demostración más relevantes disponibles actualmente.