En este post pongo la demostración, en lenguaje formal, de la condición necesaria de la existencia de Dios dada por Goedel.
Condición necesaria para la existencia de Dios
Archivo de la etiqueta: lenguaje_formal
El lenguaje formal V
Es es la última entrega sobre lenguaje formal, donde finaliza con el teorema de la incompletitud de Gödel.
El lenguaje formal IV
En esta entrega hago una introducción a la aritmética de Peano y la clásica demostración que 1+1=2, es decir que dicha afirmación es verdadera.
El lenguaje formal III
En esta entrega presento los axiomas y reglas de inferencias del lenguaje formal, aunque las reglas de inferencia también se usan en física.
El lenguaje formal II
En esta segunda entrega doy la definición de enunciado en la lógica matemática, para luego aplicarlo en la axiomatización de la aritmética.
El lenguaje formal I
En esta primera entrega, luego de un largo impas sin publicar, encaré una serie de post sobre el lenguaje formal, en esta primera entrega se da una introducción a los cuantificadores.