Geologia
In petrografia, si chiama struttura di i. quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno [...] un fascio di individui dell’altro, anch’essi grossolanamente paralleli.
Matematica
I. logica È la relazione che intercorre tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda; si esprime dicendo che A implica B ovvero: se ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] affronta i primi problemi di geometria numerativa. Una delle 387 proposizioni del trattato stabilisce che per 5 punti generici del piano passa una e una sola conica. Un'altra asserisce che vi sono al più 8 circonferenze tangenti a tre circonferenze ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] n può essere grande a piacere, ne segue che ci sono infiniti irrazionali compresi fra m e m+1. Corollario di questa proposizione è che esiste un'infinità di grandezze irrazionali comprese fra due grandezze razionali. La domanda che ci si pone è: Ibn ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] Il primo, il Liber trium fratrum o Verba filiorum dei Banū Mūsā (850 ca.), conteneva, tra le altre cose, due proposizioni tratte dalla Misura del cerchio e alcune dal De sphaera et cylindro. Vi si trovava la dimostrazione della formula del triangolo ...
Leggi Tutto
PRIOR, Arthur Norman
Carlo Cellucci
Filosofo e logico inglese di origine neozelandese, nato a Masterton il 4 dicembre 1914, morto a Oxford il 7 ottobre 1969. Insegnò all'università di Manchester (1959-66) [...] della logica temporale: a lui si deve l'idea fondamentale che le proposizioni temporalizzate sono funzioni proposizionali aventi come argomenti i tempi e come valori le proposizioni. La sua logica temporale si basa su due operatori temporali simili ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] di Alfred N. Whitehead ed Edward V. Huntington nei primi anni del Novecento e, nella doppia veste di algebra delle proposizioni e di algebra delle classi, costituiranno – tra la fine dell’Ottocento e l’inizio del Novecento – l’oggetto dell’algebra ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] i punti a cui riduco queste parole" (ibidem). Stabilite le regole e le definizioni, occorre provare con il loro aiuto le proposizioni del testo sacro: "Premesse queste cose, paragono le parti dell'Apocalisse l'una con l'altra e le riassumo in ordine ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] e C sono allineati". ◆ [ALG] [FAF] Calcolo dei p.: la forma che assume il calcolo delle proposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la ...
Leggi Tutto
PROBABILITÀ, CALCOLO DELLE (XXVIII, p. 259)
Aldo GHIZZETTI
DELLE Come disciplina matematica, ha avuto, nell'ultimo trentennio, un ampio sviluppo. Si nota anzitutto una forte tendenza a studî di carattere [...] stesso, volti per lo più al tentativo di assiomatizzarlo. Si è cercato cioè di stabilire un gruppo di proposizioni fondamentali (assiomi), a partire dalle quali fosse possibile sviluppare la teoria matematica delle probabilità per mezzo di sole ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] di un angolo di 60°, è sempre possibile tracciare una retta che incontri entrambi i lati dell'angolo. Tale proposizione però, a sua volta, richiedeva il V postulato euclideo per essere dimostrata. Dunque, dopo oltre duemila anni dalla redazione ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...
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,...