La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logicasimbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere riprodotti in un elaboratore elettronico.
Definito ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] proposizioni relative a stati e proprietà di un sistema fisico governato dalla meccanica quantistica, nonché, più in generale, l. formale di tipo non classico: v. logica quantistica. ◆ [ALG] [FAF] L. simbolica: lo stesso che l. matematica (v. sopra). ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] la piramide, la scala, la bilancia, l’orologio). A differenza di quello analogico, il s. formale è una costruzione logica e simbolica di una situazione reale, elaborata mentalmente, che non ricorre al paragone con realtà di altra natura né presume di ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] questo corpo di o., Mikusiński dà una fondazione rigorosa ai metodi del calcolo simbolico senza far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Complementarita e oggetto quantistico
Catherine Chevalley
Complementarità e oggetto quantistico
L'opera di Niels Bohr, come spesso è stato sottolineato, [...] possibile costruire, con l'aiuto dei metodi simbolici [vale a dire della meccanica quantistica], una fisica classica. Agli occhi di Bohr, non vi è più una logica quantistica utilizzabile dal fisico, così come non ci sono i concetti quantistici ...
Leggi Tutto
programmazione
programmazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] logiche (v. linguaggi di programmazione: III 428 e); (e) p. procedurale, o imperativa, in cui la p. consiste nella stesura della serie di istruzioni che il calcolatore deve eseguire (v. linguaggi di programmazione: III 427 d); (f) p. simbolica ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] convenzionale; in realtà, la scelta del simbolo e delle norme di trascrizione simbolica ha spesso un'importanza decisiva nello [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. L'ottica
A. Mark Smith
Graziella Federici Vescovini
Eyal Meiron
L'ottica
L'eredità dell'ottica araba nel mondo [...] Hayṯam e chiamato da Erwin Panofsky (La prospettiva come forma simbolica, 1984) 'l'assioma degli angoli', è l'interpretazione dei fenomeni meteorologici sia durante la trattazione della scienza della logica e di altri argomenti. Anche nel De῾ot ha- ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La musica
Paolo Gozza
La musica
La musica e il Cosmo
Secondo la tradizione, l'istituzione del termine Cosmo (kosmos, mundus) risale a Pitagora. [...] la misura. Per Kepler invece i numeri (e i simboli) non hanno alcuna forza dimostrativa autonoma. Kepler usa i , Clarendon, 1981 (trad. it.: La consolazione della musica, della logica, della teologia e della filosofia, Bologna, Il Mulino, 1986, pp ...
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,...
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...