Discussione:Teoria dei tipi

incipit

Può darsi che io mi sbagli, ma ho sempre sentito parlare solo della teoria dei tipi di Russel. Leggere che il termine Teoria dei Tipi ha una storia importante in quanto addirittra "branca della logica e della matematica" mi ha stupito alquanto. Qualcuno ha delle fonti storiche in cui la nozione di Teoria dei tipi viene usato in quanto "branca della logica o della matematica"?-- Galvano blu^Scrivimi 11:35, 8 set 2008 (CEST)