La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia d'informazione sulla Terra e sugli uomini in simboli matematici e informatici. Si ritiene che tale messaggio possa essere ...
Leggi Tutto
Biofisica
Mario Ageno
di Mario Ageno
Biofisica
sommario: 1. Oggetto e limiti della biofisica. 2. Fisica e biologia. 3. Strumenti teoretici disponibili. 4. Il problema centrale della biofisica. 5. Prospettive [...] nuovamente maneggevole, a livello macroscopico, una matematica di per sé estremamente complessa.
È in E. P., The probability of the existence of a self-reproducing unit, in The logic of personal knowledge, London 1961, pp. 231-238.
Zirkle, R. E., ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] : esiste una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è un formalismo in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista 150.000 anni circa.
1988
L'omologia di Floer. Il matematico tedesco Andreas Floer introduce una nuova teoria omologica per le 3 ...
Leggi Tutto
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 [...] del cervello umano. Il neurofisiologo Warren S. McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere ...
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...