INSTITUTO TECNOLOGICO SUPERIOR DE SAN ANDRES TUXTLA
CARRERA
ING SISTEMAS COMPUTACIONALES
UNIDAD VI
SEMESTRE 404
GRUPO B
PROFRA:
LILY ALEJANDRA MENDOZA MEDRANO
ALUMNA:
BRISIA CHACHA ARIAS

SANTIAGO TUXTLA VER

INTRODUCCION
Como parte de la Carrera de Ingeniería en Sistemas Computacionales, estudiamos lo que es Decibilidad ya que se utiliza en la Teoría de Autómatas y Lenguajes Formales, todo esto dentro de lo que llamamos Teoría de la Computación. Por ello desarrollare este ensayo, para tener más claro este tema., para empezar definire que es la Decibilidad, sus áreas y formas de aplicación, para poder darnos una mejor idea de su utilidad. Aunque para poder entender este tipo de textos se deben de tener ciertos …ver más…

Por todo esto el problema de Halting es un diagnostico que indica que un problema de decisión no es decidible.

TEOREMA DE GODEL los teoremas de incompletitud de Gödel son dos célebres teoremas demostrados por Kurt Gödel en 1930. Simplificando, el primer teorema afirma: los teoremas de incompletitud de Gödel son dos célebres teoremas demostrados por Kurt Gödel en 1930. Simplificando, el primer teorema afirma: ste teorema es uno de los más famosos fuera de las matemáticas, y uno de los peor comprendidos. Es un teorema en lógica formal, y como tal es fácil malinterpretarlo. Hay multitud de afirmaciones que parecen similares a este primer teorema de incompletitud de Gödel, pero que en realidad no son ciertas. Éstas se comentan en Malos entendidos en torno a los teoremas de Gödel.
El segundo teorema de la incompletitud de Gödel, que se demuestra formalizando parte de la prueba del primer teorema dentro del propio sistema, afirma:
Ningún sistema consistente se puede usar para demostrarse a sí mismo.
Los teoremas de Gödel son teoremas en lógica de primer orden, y deben entenderse en ese contexto. En lógica formal,