Prueba de Gödel
Nombre que reciben dos pruebas matemáticas obtenidas por el matemático checoslovaco K. Gödel en 1930 y 1931.
La primera prueba asegura la completitud de la lógica de primer orden, es decir, aquella en que sólo aparecen cuantificadas variables individuales y no predicados; esto significa que cualquier fórmula del cálculo de primer orden que sea válida en cualquier modelo de interpretación de este cálculo (es decir, que sea una consecuencia) será deducible en el cálculo.
El segundo teorema de Gödel, o prueba de incompletitud de la lógica de segundo orden y de la matemática en general, afirma que en cualquier sistema formal de la aritmética elemental existe una fórmula válida que no es demostrable dentro de este sistema. Para ello inventó el procedimiento llamado gödelización, que consiste en asignar un número natural a cada uno de los símbolos del sistema y utilizarlos como exponentes de números primos que luego se multiplican, obteniéndose para cada fórmula un...
Está viendo el 46% del contenido de este artículo.
Solicitud de acceso
Solicite el acceso a su biblioteca para poder consultar nuestros recursos electrónicos.
Ventajas de ser usuario registrado.
ACCESO COMPLETO
Acceso sin restricciones a todo el contenido de la obra.
SIN PUBLICIDAD
Sólo información contrastada de prestigiosos sellos editoriales.
ACTUALIZACIÓN
Contenidos de renombrados autores y actualizaciones diarias.
La nueva plataforma del Consorcio ofrece una experiencia de búsqueda de fácil manejo y de gran usabilidad. Contiene funciones únicas que permiten navegar y realizar consultas de manera ágil y dinámica.
Convenios especiales:
Enseñanza
Bibliotecas públicas