A giudicare dai repertori lessicografici italiani solo un ristrettissimo numero di termini della matematica deriva da nomi propri: tenendo conto unicamente delle monorematiche, ad esempio, il GRADIT registra [...] quella in forma ristretta di Rolle nel 1691, detta teoremadi Rolle, e prima di quella di Cauchy del 1823). E se il teoremadi Gödel riguarda soprattutto la logica, e in particolare il secondo teorema sull’incompletezza sintattica dell’aritmetica ...
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à...
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,...