Es es la última entrega sobre lenguaje formal, donde finaliza con el teorema de la incompletitud de Gödel.
lunes, marzo 18, 2013
El lenguaje formal V
Es es la última entrega sobre lenguaje formal, donde finaliza con el teorema de la incompletitud de Gödel.
viernes, marzo 15, 2013
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.
jueves, marzo 14, 2013
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.
miércoles, marzo 13, 2013
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.
jueves, marzo 07, 2013
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.
Suscribirse a:
Entradas (Atom)