La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] mole di operazioni. È questo l'aspetto più tipico, conseguenza della realizzazione del primo calcolatore della storia, di un principio considerarsi una sorta di 'materializzazione' della logica costruttiva, intuizionista, elaborata nei primi decenni ...
Leggi Tutto
Medioevo: la scienza siriaca. Matematica e astronomia
Henri Hugonnard-Roche
Matematica e astronomia
Le testimonianze dirette e indirette della produzione astronomico-matematica in lingua siriaca sono [...] :
Nessuno negherà che i Babilonesi fossero dei Siri. Di conseguenza, coloro che sostengono che non è possibile che i Siri araba. Secondo le nostre fonti, egli avrebbe tradotto un'opera logica redatta in pahlavī, alla corte di Cosroe I, da Paolo ...
Leggi Tutto
LUINO (Luini), Francesco
Ugo Baldini
Nacque a Luino il 22 marzo 1740 da Carlo (che una fonte dice "dottore") e Maria Caterina Iugali.
Alcuni lo dissero nato a Lugano, e questa indicazione ha prevalso. [...] Alessandro Volta, che quindi entrò nei ranghi accademici in conseguenza dell'infortunio dell'ex gesuita, inviato a sostituire , che non respinse pregiudizialmente e dei quali comprese la logica; tuttavia la conoscenza non trapassò, come in Frisi, ...
Leggi Tutto
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o (o risultante dei vettori) corrispondenti alle funzioni (o vettori) addendi. Di conseguenza, se in un nodo (fig. 2) convergono due correnti di intensità ...
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 [...] e fa dunque intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di teoria con gli stessi identici teoremi. Un’importante conseguenza di questo fatto è la completezza della teoria nel ...
Leggi Tutto
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di ...
Leggi Tutto
conseguenza
conseguènza (ant. consequènza) s. f. [dal lat. consequentia, der. di consĕqui «seguire»]. – 1. a. Conclusione che si deduce logicamente da una premessa: le tue affermazioni sono giuste, ma la c. è errata; io vi ho esposto i fatti,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...