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 'egida dell'ESA; si tratta di un missile a tre stadi per portare a quota operativa veicoli spaziali. Alto 47,4 m e con massa ...
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 [...] cm, per un diametro utile totale di ben 6,5 m, sono portati da un supporto che si muove su un binario circolare del diametro di Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] regola di accettazione delle ipotesi nel senso dell'induttivismo probabilistico. Ciò ha portato a una critica dell'ideale scientifico che è alla base dell'empirismo logico. Il nocciolo della soluzione di Popper - nella quale egli trae le conseguenze ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] nel procedimento dimostrativo, cercando di conferirgli una logica stringente. Questa attenzione per le ipotesi di provata la convergenza di altre serie, persino di quelle che avrebbero portato al logaritmo, e in qualche caso la divergenza di esse. ...
Leggi Tutto
Popolazione
Alfred Sauvy
di Alfred Sauvy
Popolazione
sommario: 1. Concetti generali. 2. Misurazione dei fenomeni demografici. a) Censimenti e statistiche correnti. b) Migrazioni internazionali e interne. [...] statistiche sono migliori quando il posto di frontiera è un porto marittimo. In linea generale, l'immigrazione è conosciuta meglio dell , il comportamento degli uomini non si conforma a una logica semplice, come mostra il fatto che coloro che hanno ...
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, [...] e le sue dimensioni sono enormi, ricoprendo ampie superfici di foresta; ciò porta a considerarlo come l'organismo noto più antico e più grande.
Retrodatata la congettura di Mordell-Lang. Il logico israeliano Ehud Hrushovski dimostra la congettura di ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria delle coniche, luoghi, contatti e costruzioni
Philippe Abgrall
Hélène Bellosta
Geometria delle coniche, luoghi, contatti e costruzioni
L'opera [...] soltanto le ultime due, la cui continuità logica presenta una lacuna, riguardano la costruzione di al-Qūhī. Al-Ṣāġānī comincia con l'analisi della costruzione dell'ettagono regolare che porta a un triangolo (1,2,4) e poi a una divisione di tipo I. ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle probabilita e statistica
Ivo Schneider
Calcolo delle probabilità e statistica
Il ruolo di Laplace nella stocastica del XIX secolo
Numerosi autori hanno contribuito [...] Laplace, è indicato dal suo auspicio che l'analisi logica degli assiomi del calcolo delle probabilità potesse andare di reciprocamente dipendenti dimodoché, per esempio, un valore minore di β porta a un valore maggiore di α e viceversa.
Poiché tale ...
Leggi Tutto
DEMOGRAFIA
Eugenio Sonnino e Antonio Golini
Demografia storica
di Eugenio Sonnino
Lo studio delle popolazioni storiche e le fonti
Era l'anno 1662 quando John Graunt, mercante londinese di drapperie [...] Dal momento che, per carenza di adeguati strumenti logici e metodologici, non si riesce ad analizzare in VII).
L'evoluzione demografica, tuttora in atto, che ha portato, o va portando, le popolazioni da alti livelli di natalità (che comportano ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] può venir meno. Lo studio della mancanza di una fattorizzazione unica porta alla ‛teoria algebrica dei numeri'.
4. Congruenze. - Siano di Hilbert si appoggia sostanzialmente su metodi di logica matematica. Tuttavia i risultati di Baker danno ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...