aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] esprimibili nell’aritmetica (si parla di ogni proprietà P) e fa dunque intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di Peano, per formulare l’assioma di induzione al primo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi.
Pubblicato il libro di Siegel e Moser ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] cose tramite la successione dei passaggi, o operazioni, che dovrebbero essere eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ...
Leggi Tutto
Econometria
Luigi Pasinetti
Guido Gambetta
di Luigi Pasinetti, Guido Gambetta
Econometria
sommario: 1. Definizione. 2. I precedenti storici. 3. La nascita dell'econometria. 4. I maggiori centri econometrici. [...] 1-118.
Huber, P. J., Robust statistics, New York 1981.
Hurwicz, L., On the structural form of interdependent systems, in Logic methodology and philosophy of science (a cura di E. Nagel, P. Suppes, A. Tarski), Stanford 1962, pp. 232-239.
Intriligator ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] che per poter valutare la probabilità di eventi futuri sulla base di eventi passati (noti) occorrerà stabilire un legame logico di dipendenza tra tutti gli eventi (passati e futuri). Uno schema che negherebbe l'essenza del ragionamento induttivo è ...
Leggi Tutto
MISES, Richard von
Vito A. BELLEZZA
Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] Nelle questioni di tecnica metodologica e di filosofia della scienza, il M., che fece parte del "Circolo" o "Scuola logica di Berlino", d'indirizzo affine al "Circolo di Vienna", si muove nell'ambito del neopositivismo. Egli ha considerato l'analisi ...
Leggi Tutto
Astronomia
Posizione che un astro ha sulla sfera celeste e che è espressa mediante le sue coordinate. Si chiama: l. apparente, se la determinazione delle coordinate è fatta correggendole soltanto l’effetto [...] ), se le coordinate sono riferite alla posizione dell’osservatore sulla superficie della Terra.
Filosofia
Nella retorica e nella logica, già in Aristotele sono detti luoghi (gr. τόποι) gli schemi formali mediante i quali sia possibile ricercare le ...
Leggi Tutto
Matematica
Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] è il punto di contatto preso con molteplicità d’intersezione 2.
Nella teoria degli insiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e si designa con A∙B o con A ⋃ B, la classe di ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] e un linguaggio nel quale rappresentare tutti i ragionamenti di tipo assertorio. Leibniz ritiene in tal modo di potenziare la logica non solo per quel che riguarda la tradizionale arte del giudizio (ars judicandi), ma anche per ciò che concerne la ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...