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.
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.
With its user-friendly interface and robust security features, Uniswap exchange ensures a seamless and reliable trading experience.
