Discussione:Teoria dei tipi
Ultimo commento: 15 anni fa, lasciato da Galvanoblu in merito all'argomento incipit
incipit modifica
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 bluScrivimi 11:35, 8 set 2008 (CEST)