Matemática => Lógica => Mensaje iniciado por: Raúl Aparicio Bustillo en 03/10/2011, 11:08:00



Título: La teoría de tipos ramificada
Publicado por: Raúl Aparicio Bustillo en 03/10/2011, 11:08:00
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?