scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] , ma è indipendente da quella che la segue. Spencer usò una tripartizione in s. astratte (logica, matematica), astratto-concrete (meccanica, fisica, chimica) e concrete (astronomia, geologia, biologia, psicologia, sociologia). Cournot definì, sotto ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] al minimo la verifica empirica diretta.
Teoria dei modelli
Generalità e cenni storici
La teoria dei m. è la parte della logicamatematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] delle f. di variabile reale è quello delle f. reali a un valore di una (o più) variabili reali.
Funzioni di verità
In logicamatematica, particolare tipo di f. che ha sia come argomenti sia come valore i valori di verità Vero (V) e Falso (F). F. 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 [...] o., Mikusiński dà una fondazione rigorosa ai metodi del calcolo simbolico senza far uso di trasformazioni integrali.
O. logico
In logicamatematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o in un attributo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] introdotta da Cohen, detta forcing, è il più importante strumento usato per costruire modelli di teorie insiemistiche nella moderna logicamatematica.
La scoperta della molecola OH. Alan H. Barret e i suoi collaboratori del MIT applicano per la prima ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] , applicandola ai gruppi di rango di Morley finito, e rivela l'esistenza di profonde connessioni tra la logicamatematica e la geometria algebrica.
Costruzione di sottovarietà simplettiche. S.K. Donaldson sviluppa una procedura generale per produrre ...
Leggi Tutto
tipo Insieme di oggetti, elementi, individui conformi a un determinato schema o modello, aventi caratteri simili che li accomunano tra loro e insieme li distinguono da altri.
Biologia
Specie tipica è [...] , o diagnosi di una specie (o di un taxon subordinato). La tipificazione è la designazione del tipo.
Matematica
In logicamatematica, teoria dei t., teoria introdotta da B. Russell e successivamente modificata e perfezionata da lui stesso e da ...
Leggi Tutto
Biologo (Great Yarmouth, Norfolk, 1894 - Cheam, Surrey, 1981). Insegnò all'univ. di Londra dal 1922 al 1959. Vicino a filosofi come C. D. Broad, B. Russell, A. W. Whitehead, R. Carnap e a logici come A. [...] , sviluppatosi notevolmente a livello empirico (osservazione ed esperimento). Si è occupato anche di applicare il "linguaggio" della logicamatematica (ricorrendo in ispecie ai Principia mathematica di Russell e Whitehead) per elaborare un calcolo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] da vaiolo e l'aspettativa di vita derivante dall'inoculazione per le varie fasce di età e concluse che l'analisi matematica era chiaramente a favore della scelta dell'inoculazione.
Il lavoro di Bernoulli suscitò la reazione di Jean Le Rond d'Alembert ...
Leggi Tutto
Scienza dell’uomo, considerato sia come soggetto o individuo, sia in aggregati, comunità, situazioni.
A. fisica
Ramo delle scienze biologiche che studia l’umanità dal punto di vista naturalistico, cioè [...] la teoria darwiniana fu riformulata in chiave statistico-matematica e nella seconda metà del secolo sistemi di verifica una parte di Y (dito è parte della mano). La prima forma logica è alla base delle tassonomie, mentre la seconda è alla base delle ...
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...