[ildefonso]

Hola amigos. Video 9 primera parte del video de matemática discreta donde se tocará el tema de los algoritmos. Este concepto es una de las nociones más usadas en la vida real y sin embargo no fué hasta principios del siglo XX donde se empezaron a desarrollar estudios sobre su capacidad. Estos estudios se originaron a raiz de una idea unificadora que pretendia, a traves de un sistema axiomático, reducir las matemáticas a un sistema computacional del que se dedujera la verdad de un enunciado matemático. Es por ello que se desarrollaron investigaciones que llevaron a éste sistema al fracaso, como el conocidísimo teorema de la incompletitud de Godel que establecia que el sistema axiomático estaba condenado al fracaso. A partir de ese punto, los matemáticos investigaron los límites del poder de los algoritmos generandose varios modelos entre los que destacaron la denominada Maquina de Turing, que resultó ser el modelo de máxima computabilidad, de similar poder computacional que los dispositivos de Alonzo Church. Es por esto que la máquina de Turing es la referencia para medir el poder de los algoritmos. En este video trataremos este concepto de manera un tanto informal, ya que un estudio profundo de ésta máquina escaparia al nivel del curso y nos metería de lleno en la teoria de la computación. Simplemente daremos por sentado un nivel intuitivo. Tambien veremos ejemplos de algoritmos comunes en la informática práctica como la busqueda y ordenación de elementos en una lista finita de elementos. GRACIAS a todos y feliz navidad.



Video aquí