Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Raúl Aparicio Bustillo en 03 Octubre, 2011, 04:08 pm

Título: La teoría de tipos ramificada
Publicado por: Raúl Aparicio Bustillo en 03 Octubre, 2011, 04:08 pm
Hola

La teoría de tipos (ramificada) supuso el primer intento de solución, por parte de Russell, de la paradoja del mentiroso y otras más o menos afines a ella. ¿Qué se sabe de la consistencia de esta teoría? ¿Alguien conoce alguna fuente en internet que hable sobre ella?