algoritmos

El problema de los algoritmos

Kurt Godel probo el 1931 que en el sistema de freg ampliqado por Alfred whitehead y el propio Russell que hay teoremas verdaderos que nunca podrán ser probados encualquier numero finito de pasos de razonamiento.
Godel descubrió que la nueva sentencia: “esta afirmación no puede probarse con el formalismo de el sistema” es verdadera , con el echo de que elrazonamient humano pueda reconocer la verdad de la afirmación sin que el sistema lógico pueda hacerlo.
Godel quiso responder al problema llamado problema de decisión que planteaba : ¿hay un algoritmo paradecidir la verdad de cualquier afirmación lógica relativa a los números laterales? Godel demostró el 1931 que si hay limites reales a la potencia de los procedimientos de prueba efectiva que es a loque se referia a la pregunta .
Su teorema de incompletitud dice que hay afirmaciones verdaderas que son indecidibles y cuya verdad no puede decirse por medio de un algoritmo.
Un algoritmo debecontemplar las distintas alternativa que pueden presentar los datos de forma que se alcanze la solución .

Las maquinas abstractas de turing.
La maquina de turig es una maquina negra capas de leerescribir un alfabeto de símbolos finito apartir de una cantidad finita pero muy grande de cinta de papel y modificar su propia configuración o estado mental entonces podemos decir que se a encontrado unalgoritmo efectivo un algoritmo es efectivo solo si es traducible a las accionesde una maquina con reglas y funcionamiento precisas turing acepto que todo algoritmo puede espicificarse por complento yejecutarse mediante algún dispositivo automatico

Numeros computables e intuición.

Turing supuso que la maquina debería tener estados internos que son una lista de instrucciones
La conclusiónde turing es que una maquina hipotética trato de realizar tareas con un numero finito de estados internos podía ser programada para efectuar cualquier computo realzable de ua persona.

Puede una...