La Teoría de Tipos
1910·filosofia
Desarrollada principalmente en 'Principia Mathematica' con Bertrand Russell, la Teoría de Tipos es un intento de evitar paradojas lógicas en la fundamentación de las matemáticas, clasificando los objetos lógicos en jerarquías.



















