Descripción del título
Hacia un autómata geómetra ...
Autómata, según Wikipedia, viene del griego automatos, que significa espontáneo o con movimiento propio. Según la Real Academia Española (RAE), en su segunda acepción, autómata es una máquina que imita la figura y los movimientos de un ser animado. Por otra parte, la RAE también nos señala que un geómetra es, simplemente, un especialista en geometría. Así, un autómata geómetra sería un máquina que desarrollara, con éxito, las tareas habituales de un geómetra humano: conjeturar, demostrar, refutar, descubrir. . . propiedades geométricas. Este artículo tiene como objetivo ilustrar al lector, muy particularmente a los colegas de la comunidad matemática española, de la RSME, de la evolución de nuestro grupo de investigación y de su trabajo a lo largo de los últimos 30 años, en pos de la creación de un autómata geómetra. Para ello, en las secciones siguientes se trazan unas pinceladas sobre la historia de las contribuciones del equipo de investigación creado en torno a los autores de este artículo, incluyendo, en particular, una descripción informal de los conceptos, problemas y métodos que fueron desarrollando. No pretende ser, no puede ser, una historia universal de la demostración automática de teoremas geométricos, pero creemos que el lector interesado encontrará datos relevantes a este respecto en las referencias que se incluyen a lo largo de este trabajo. Finalmente se presenta el resultado más visible de nuestro trabajo, el autómata geómetra AG, a través de diversos ejemplos, concluyendo con unas someras reflexiones acerca de su potencial impacto en el mundo educativo.
Analítica
analitica Rebiun37338002 https://catalogo.rebiun.org/rebiun/record/Rebiun37338002 ES-HmUAN 211125s2020uuuuxxx||0po 0 ||spa d RUNNE UAN0125032 UAN spa Hacia un autómata geómetra Recurso electrónico] Francisco Botana, Zoltán Kovács, Tomás Recio y M. Pilar Vélez. Dominio público. application/pdf Autómata, según Wikipedia, viene del griego automatos, que significa espontáneo o con movimiento propio. Según la Real Academia Española (RAE), en su segunda acepción, autómata es una máquina que imita la figura y los movimientos de un ser animado. Por otra parte, la RAE también nos señala que un geómetra es, simplemente, un especialista en geometría. Así, un autómata geómetra sería un máquina que desarrollara, con éxito, las tareas habituales de un geómetra humano: conjeturar, demostrar, refutar, descubrir. . . propiedades geométricas. Este artículo tiene como objetivo ilustrar al lector, muy particularmente a los colegas de la comunidad matemática española, de la RSME, de la evolución de nuestro grupo de investigación y de su trabajo a lo largo de los últimos 30 años, en pos de la creación de un autómata geómetra. Para ello, en las secciones siguientes se trazan unas pinceladas sobre la historia de las contribuciones del equipo de investigación creado en torno a los autores de este artículo, incluyendo, en particular, una descripción informal de los conceptos, problemas y métodos que fueron desarrollando. No pretende ser, no puede ser, una historia universal de la demostración automática de teoremas geométricos, pero creemos que el lector interesado encontrará datos relevantes a este respecto en las referencias que se incluyen a lo largo de este trabajo. Finalmente se presenta el resultado más visible de nuestro trabajo, el autómata geómetra AG, a través de diversos ejemplos, concluyendo con unas someras reflexiones acerca de su potencial impacto en el mundo educativo. info:eu-repo/semantics/openAccess. Botana Ferreiro, Francisco. Kovács, Zoltán. Recio, Tomás. Vélez Melón, M. Pilar. Universidad Antonio de Nebrija. Grupo Nebrija de Investigación en Matemáticas y sus Aplicaciones (MA) La Gaceta de la Real Sociedad Matemática Española [. -- 2020, v. 23, n. 2, p. 343-371. 1138-8927 La Gaceta de la Real Sociedad Matemática Española [. -- 2020, v. 23, n. 2, p. 343-371. 1138-8927