La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] stato il primo calcolatore, l'esempio di una macchina logica elettronica in grado di seguire una serie di istruzioni 'sì' sia un 'no' alla domanda se un'istruzione matematica fosse deducibile dagli assiomi).
Nel risolvere il misterioso problema di ...
Leggi Tutto
Sviluppi recenti del pensiero archeologico
Alessandro Guidi
L'archeologia si è sempre misurata con la cultura del suo tempo, di cui ha diversamente interpretato esigenze e prospettive, ma questo non [...] 'archeologia, che in Une archéologie théorique (1979) propone l'impiego di un'analisi "logicista" (termine impiegato dalla logica filosofica e matematica), che "esprime sotto forma di catene di operazioni esplicitamente definite i ragionamenti che ...
Leggi Tutto
perturbazione
perturbazióne [Der. del lat. perturbatio -onis, da perturbare (→ perturbato)] [LSF] Variazione più o meno grande e più o meno durevole delle condizioni con cui si presenta un fenomeno rispetto [...] : v. magnetosfera: III 577 a. ◆ [GFS] P. meteoro-logica: lo stesso che p. atmosferica (v. sopra ). ◆ [FAT] ◆ [ANM] [MCC] Teoria delle p.: il capitolo dell'analisi matematica che s'occupa dei metodi (metodi perturbativi) per studiare le p. di ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] a.: detta pure algebra moderna o semplic. algebra: v. algebra: I 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno per oggetto la realtà empirica. ◆ [ALG] Spazio a.: denomin. generica per indicare un insieme di ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] tanto che B. Russel e A.N. Whitehead proposero addirittura un'a. della matematica, quale metodo più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere ...
Leggi Tutto
matematicomatemàtico [agg. (pl.m. -ci) Der. di matematica] [LSF] Che appartiene alla matematica (analisi m., ecc.) o che, pur appartenendo ad altri settori della scienza, si avvale dei metodi propri [...] della matematica: fisica m., logica m., ecc., per le quali si rinvia alle singole voci. ...
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,...
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...