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 [...] "Tutti i cigni sono bianchi" dal semplice fatto di non averne mai visti di 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 ...
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 diincompletezzadi Gödel. Va osservato comunque che sono stati trovati vari esempi di proposizioni vere (dette proposizioni combinatorie indecidibili) della teoria ...
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., [...] ipotesi ottenute per mezzo dell'intuizione. Questo modo di vedere la scienza è stato criticato dai logici a causa della sua chiusura, caratteristica che lo mette sotto accusa diincompletezza per il teoremadi K. Gödel.
Con il m. analitico le ipotesi ...
Leggi Tutto
Economia pubblica
Ruggero Paladini
Premessa
Un'analisi dell'economia del settore pubblico presuppone lo sviluppo delle moderne nazioni europee e quindi di strutture statali in cui le spese e le entrate [...] settori economici, come il credito o l'agricoltura, o di alcuni rischi sociali come quelli di disoccupazione o di invalidità; si parla in questi casi di un intervento dovuto ad una incompletezza dei mercati (v. Stiglitz, 1988).
I beni meritori
Un ...
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à...