completezza, teorema di

Enciclopedia della Matematica (2013)

completezza, teorema di


completezza, teorema di → completezza logica.

Vedi anche
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... logica Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità il valore ...
Tag
Vocabolario
completézza
completezza completézza s. f. [der. di completo]. – 1. L’esser completo, o anche compiuto, finito in sé: c. di un elenco, di una raccolta, di una narrazione; la follia della c. persegue una totalità irreale per inibirci l’unico spazio aperto...
teorèma
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...