tipo
tipo [Stesso etimo di tipo-] [LSF] Modello, sia concreto che ideale, al quale rifarsi. ◆ [ANM] T. di un semigruppo: v. semigruppo: V 168 b. ◆ [ASF] T. spettrali di stelle (anche classi spettrali di stelle): v. stella: V 622 Tab. 4.2. ◆ [STF] [ALG] [FAF] Teoria dei t. logici: teoria introdotta da B. Russel nel 1903 e successiv. modificata e perfezionata da lui stesso e da altri allo scopo di evitare il presentarsi di paradossi logici (1903), alla base della quale sta il principio che la relazione di appartenenza tra un elemento e un insieme è regolata da un rigido ordinamento delle variabili (o costanti) che si adoperano; così sono di t. 0 le variabili che servono a rappresentare gli elementi di questo universo, di t. 1 quelle che servono a designare insiemi di elementi dell'universo base, di t. 2 quelle che denotano insiemi di insiemi di elementi del-l'universo base, e così di seguito. Tale teoria fu ulteriormente trasformata dando luogo per opera di L. Chwistek e di F.P. Ramsey, oltre che dello stesso Russel, alla cosiddetta teoria semplificata dei t. o teoria dei t. semplici.