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
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] caratteristica che lo mette sotto accusa diincompletezza per il teoremadi K. Gödel.
Con il m. analitico le ipotesi sono formulate in base a processi logici di analogia e induzione, con una continua formulazione di nuove ipotesi sempre più generali ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] a questo punto possibile, per es., la dimostrazione dei teoremidi indecidibilità e diincompletezzadiGödel. Va osservato comunque che sono stati trovati vari esempi di proposizioni vere (dette proposizioni combinatorie indecidibili) della teoria ...
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à...