Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, cioè T⊩A, se e solo se esiste una parte T′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni ...
compattezza
compattézza s. f. [der. di compatto]. – 1. L’esser compatto, coesione: c. del legno, di un terreno, di un tessuto; fig.: la c. dei reparti combattenti, di un partito politico; c. di un racconto, di una trama narrativa. 2. In...
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo...
