Economia
P. economica Il complesso degli interventi dello Stato nell’economia, realizzati spesso sulla base di un piano pluriennale (in questo senso il termine si alterna, nell’uso, con pianificazione). [...] corrente, e anche da parte di alcuni studiosi, si è però soliti distinguere tra pianificazione (➔) e p., tra piano e programma, riferendosi con il primo termine ai paesi socialisti e con il secondo ai paesi a economia di mercato. La storia della p ...
Leggi Tutto
DERIVE
DERIVE 〈diràivë〉 [ANM] [INF] Denomin. ingl. di un programma di manipolazione algebrica su calcolatore personale: v. manipolazione algebrica: III 618 f. ...
Leggi Tutto
programmatoreprogrammatóre [agg. e s. (f. -trice) Der. di programmare "preparare un programma"] [LSF] Chi elabora un programma. ◆ [FTC] Nei sistemi e nelle macchine a funzionamento automatico, dispositivo [...] che determina il funzionamento in base a un prefissato programma di operazioni sequenziali nel tempo. ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] Sia R(N,M) l'M-sima cifra dopo la virgola dell'N-simo numero reale computabile, cioè il numero reale R(N) calcolato dall'N-simo programma. Definiamo ora un nuovo numero reale R* la cui M-sima cifra dopo la virgola, R*(M) con M=1,2,…, sia 3 se R(M,M ...
Leggi Tutto
Erlangen
Erlangen 〈èrlang✄ën〉 [STF] [ALG] Città della Germania, nella Baviera settentrionale, da cui prende nome un programma di studi geometrici (programma di E.), formulato nel 1872 da F. Klein, prof. [...] di matematica nella locale univ.: v. gruppo: III 127 c ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] tali principî che si ha un assioma di comprensione per classi, nella forma
Frege portò a termine il suo programma di fondazione logica dell'aritmetica nelle opere Die Grundlagen der Arithmetik (I fondamenti dell'aritmetica, 1884) e Grundgesetze der ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] taglio.
Possiamo quindi restringere l'uso della regola del taglio alle formule atomiche.
Il teorema precedente è alla base della programmazione logica e il problema che si pone è trovare tutte le sostituzioni tali che D1 … Dt sia conseguenza di Γ ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] le asserzioni e i metodi dimostrativi transfiniti, per cui S⊆T. Supponiamo che S contenga un'espressione per ogni numero naturale n.
Programma della conservazione: dimostrare in S che, per ogni asserzione φ di S, se T⊦φ allora S⊦φ (dove T⊦φ significa ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] ordine. L'uso delle logiche modali è motivato dal fatto che un'asserzione valida in un certo momento dell'esecuzione di un programma (per es., x è pari) può diventare falsa in un momento successivo, per effetto di un'istruzione di assegnazione (x≡x+1 ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] è Ii+1 se rn≠rm, mentre è Ik se rn=rm (dove si suppone che 1≤k≤h). La macchina continua a eseguire istruzioni del programma I1,...,Ih fino a che in R0 viene posto il numero h. Poiché Ih è un'istruzione di fermata, allora la macchina si ferma. La ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...