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 [...] neri. L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta.
Il teoremadiincompletezzadi K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non può trovare in se stesso la dimostrazione assoluta ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] sono catalogabili nella teoria dei modelli. Tra questi il teoremadi Löwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremidi completezza e diincompletezzadi K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933, del ...
Leggi Tutto
incompletezza
incompleté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,...
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...