La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia
Thérèse-Anne Druart
Scienza e filosofia
Nella cultura islamica medievale manca una netta distinzione tanto tra filosofia [...] suoi interessi matematici e medici lo condussero a elaborare un sistema per valutare l'efficacia delle sostanze medicinali: l'uso dei non da una serie diassiomi, come quelli della maggior parte delle scienze matematiche. Di un tale problema era ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Johannes Kepler
Eberhard Knobloch
Johannes Kepler
Johannes Kepler nacque il 27 dicembre 1571 a Weil der Stadt, nei pressi di Stoccarda, nel Ducato protestante [...] quello antico. Kepler si prefisse il compito di dimostrare l'esattezza del sistema eliocentrico, e ben presto gli si sarebbe Copernico aveva dedotto a posteriori con l'ausilio diassiomi geometrici, e dimostrato mediante l'osservazione, potesse ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] definizione) ma non per la moltiplicazione. Il terzo articolo, infine, tratta dell'analisi. Il sistema appare molto debole per via della mancanza diassiomidi esistenza per insiemi e funzioni.
Nel 1929 Glivenko, in esito al suo rapporto epistolare ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] finita dal reticolo. ◆ [OTT] R. di uno strumento ottico: sistemadi tratti rettilinei, o di circonferenze o archi circolari, incisi su una lastrina di vetro a facce pianoparallele, oppure sistemadi fili sottilissimi complanari, paralleli o no (r ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o disistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomidi Euclide, l'unica sino a quasi tutto il sec. 19°: v. geometria Riferimento e., o riferimento ortogonale monometrico: sistemadi riferimento, piano o spaziale, costituito da assi ...
Leggi Tutto
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 [...] tutti gli assiomi con l’eccezione di quelli della moltiplicazione, rimossi dal sistema con il simbolo stesso dell’operazione (×) ed è per questa ragione meno potente. Restano quindi: (a) gli assiomi che definiscono il successore s(n) di un numero ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] di un sistema materiale in cui quest'ultimo è visto come una distribuzione continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. diassiomi: nella logica matematica, un insieme finito diassiomi ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] infine assiomi e regole di trasformazione. Assiomi e regole di trasformazione definiscono un calcolo che attraverso successive applicazioni fornisce i teoremi del sistema. Nella sua forma più netta quest’idea è codificata dalla nozione disistemadi ...
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 [...] ALG] Calcolo degli e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme diassiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa ...
Leggi Tutto
incoerente
incoerènte [agg. Comp. di in- neg. e coerente "non coerente"] [FAF] Di ente, affermazione, ipotesi, ecc. che presenta contraddittorietà o incompatibilità rispetto ad assiomi o a principi di [...] clastica o piroclastica (per es., sabbia, ghiaia, pozzolana) formata da granuli non cementati. ◆ [MTR] Di unità di misura non definita in base alle unità fondamentali del sistemadi appartenenza; per es., il km/ora per la velocità è i. tra le unità ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...