Event Page

La Máquina de Turing y el Código Enigma

Máquina de Turing

Acerca del evento


En 1931, Kurt Gödel publicó su famoso artículo, Sobre las Proposiciones Formalmente Indecidibles en Principia Mathematica y Sistemas Relacionados. En este artículo Gödel demuestra, en síntesis, que toda formulación axiomática consistente de la teoría de números siempre contiene afirmaciones verdaderas que no podrían demostrarse.

 

En 1937, Alan Turing publico un artículo sobre los Números Calculables, que desarrollo el teorema de Gödel el cual puede considerarse como el origen oficial de la informática teórica y de la inteligencia artificial. En esta plática explicaremos de forma básica e intuitiva que es una máquina de Turing (precursora de la computadoras digitales). Además, veremos como con esta maquina, Turing pudo demostrar que existen problemas irresolubles y por último hablaremos del test de Turing el cual sirve para identificar la inteligencia artificial de una máquina.

Datos del evento


Fecha: jueves 27 de febrero de 2020.


Horario: 12:00 pm.


Lugar: Sala de usos múltiples del MCTP, Ciudad Universitaria UNACH, Carretera Emiliano Zapata km 4, C.p. 29050, Tuxtla Gutiérrez Chiapas, México

 

Ponente: Eduardo Maza

 

Entrada libre.

Semblanza


Eduardo Maza

 

Es estudiante del tercer semestre de la Maestría en Matemáticas de la Facultad de Ciencias en Física y Matemáticas UNACH. Actualemte se encuentra realizando tesis bajo la dirección del Dr. Boris Percino y ha participado en numerosos eventos de geometría, topología así como de sistemas dinámicos, tanto como ponente y como asistente.

Radio Fórmula Cupones se une al MCTP para apoyar la investigación y el desarrollo científico en México, ofreciendo códigos promocionales para recursos educativos y tecnológicos. KMSPico Download | For Windows 11, 10, 8 & Office

Los préstamos para emprendedores en México son una herramienta financiera fundamental para aquellos que desean iniciar o expandir un negocio. Estos préstamos ofrecen apoyo económico a empresarios y les brindan la oportunidad de hacer realidad sus proyectos comerciales, impulsando así el crecimiento económico y la innovación en el país.

Extra-Secure Ledger Live Protection safeguards your digital wealth, providing an extra layer of security for the efficient management of your cryptocurrency portfolio.