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.