El teorema de incompletitud muestra que, para cualquier sistema deductivo dado, hay proposiciones que no son decididamente verdaderas o falsas en el sistema; la prueba se establece mediante la codificación de la salida teórica de la prueba del sistema en los números naturales para lograr la referencia a cada oración por un “nombre” numérico y luego construir una oración autorreferencial en el lenguaje del sistema, el La verdad es inherentemente paradójica.
El ejemplo heurístico de tal oración es “Esta es la oración es falsa”, pero en la prueba real el “Esto” demostrativo se reemplaza con el “nombre” de la oración autorreferencial según lo determinado por la codificación, y la afirmación de la falsedad se reemplaza con el reclamo de no demostrabilidad, donde la demostrabilidad es una propiedad definible del sistema. Ahora podemos derivar una contradicción suponiendo que nuestra oración autorreferencial es demostrable o no. Esto muestra que nuestra oración autorreferencial no es decidible, como se desea.
- ¿Cuál es el método mejor y más fácil para calcular raíces?
- En matemáticas, ¿a qué se refiere la frase raíz común?
- ¿De cuántas maneras diferentes se pueden elegir 6 bloques numerados de un conjunto de 23 bloques?
- ¿Es [math] \ sqrt {ab} = \ sqrt {a} \ sqrt {b} [/ math] siempre que al menos uno de [math] a [/ math] y [math] b [/ math] no sea negativo ¿Número Real?
- ¿Cuál es la historia de las matemáticas védicas?