incompletezzaincompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o [...] per i. d’informazione). In logica matematica, teorema d’i. sintattica, quello con il quale K. Gödel (1909-1978) dimostrò che qualsiasi sistema formale coerente in grado di rappresentare l’aritmetica è sintatticamente incompleto (v. incompleto). ...
Leggi Tutto
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...
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa di un algoritmo di calcolo,...