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 [...] L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta.
Il teorema di incompletezza di K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non può trovare in se stesso la dimostrazione assoluta della ...
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 [...] E. Schröder nel 1895 e ripreso da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale possibile, per es., la dimostrazione dei teoremi di indecidibilità e di incompletezza di Gödel. Va osservato comunque che ...
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., [...] della sua chiusura, caratteristica che lo mette sotto accusa di incompletezza per il teorema di K. Gödel.
Con il m. analitico le York 1999 (trad. it. Torino 2002).
R.H. Shumway, D.S. Stoffer, Time series analysis and its applications, New York 2000 ...
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 [...] di un intervento dovuto ad una incompletezza dei mercati (v. Stiglitz, 1988 minoranza. Si tratta dell'utilizzazione del teorema dell'elettore mediano formulato da Howard in un periodo in cui i tassi d'interesse reali sono stati portati da una serie ...
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,...