18/01/2020, 01:02:46 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: La teoría de tipos ramificada  (Leído 457 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.067


Ver Perfil
« : 03/10/2011, 11:08:00 am »

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?
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!