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 [...] considerarsi una sorta di 'materializzazione' della logica costruttiva, intuizionista, elaborata nei primi i matematici di fine Ottocento e primo Novecento, ma di un programma di riduzione al numero intero per via di un calcolo approssimato effettivo ...
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. [...] 8, 30); tracce dell'insegnamento del L., almeno quanto ai programmi, sono da ricercare nei documenti residui sul ginnasio mantovano (Arch che non respinse pregiudizialmente e dei quali comprese la logica; tuttavia la conoscenza non trapassò, come in ...
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 [...] fa dunque intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica passi). In altri termini, nell’aritmetica di Presburger ogni proposizione è decidibile.
→ Programmazione, algoritmi di ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione dei calcolatori elettronici, insieme di regole per la corretta costruzione delle istruzioni in un linguaggio di programmazione. ...
Leggi Tutto
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...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...