Mediante este post podemos ver explicado claramente el problema de decidibilidad de Turing. En homenaje al centenario de su nacimiento, esta es la tercera entrega por el profesor Fernando Cuartero de la Universidad de Castilla-La Mancha. Se explica el “Entscheidungsproblem” de Leibniz y cómo Hilbert lo formaliza y, más tarde Turing intenta resolver la cuestión del punto tercero.
|
etiquetas: informática , turing , matemáticas 
