DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] vita volle conservare la residenza.
La formazione
Ottenuta la maturità classica al liceo Palmieri di Lecce, nel 1946 De Giorgi si una parte notevole delle sue ricerche fu dedicata alla logica e alla teoria dei fondamenti.
Seguendo la traccia ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] ) tra il 1582 e il 1585, o di nuove edizioni di classici greci, come quella di Pappo realizzata da Federico Commandino nel 1588 ( ha né basi metafisiche, come voleva Platone, né basi logiche, come avevano sostenuto Averroé e i traduttori latini. Essa ...
Leggi Tutto
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 di individuare neppure un solo valore di tali k. È invece classicamente noto come ζ(2k) sia trascendente per ogni k≥1.
Scoperti ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] pubblicato nel 1959, e il v. VII, Il linguaggio e la logica, redatto da Christoph Harbsmeier e pubblicato nel 1998, dopo la morte dal sanscrito e dal greco, vale a dire da lingue classiche diffuse anche oltre i confini delle loro aree d'origine, ...
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 [...] logn), anziché in tempo O(n2) come avviene per l'algoritmo classico.
La teoria delle basi di Gröbner. L'austriaco Bruno Buchberger introduce base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e ...
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 comunque unico nel suo genere.
Sempre alla cosiddetta 'tendenza classica' si può ricondurre un manuale anonimo sulla composizione e la ...
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. [...] , il comportamento degli uomini non si conforma a una logica semplice, come mostra il fatto che coloro che hanno così il conflitto tra presente e avvenire, ovvero il classico conflitto economico tra investimenti e consumi si ritrova trasposto ...
Leggi Tutto
Morbilità
Mirko D. Grmek
sommario: 1. Concetti e metodi. a) Orientamenti attuali dell'epidemiologia e definizione dei criteri di misura della morbilità. b) La malattia e le malattie: il problema della [...] dei protozoi e della maggior parte dei batteri patogeni ‛classici' è stato occupato dai virus. Certe condizioni di la mort, Paris 1979.
Taylor, F. K., Disease concept and the logic of classes, in ‟British journal of medical psychology", 1981, LIV, pp ...
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, [...] parabolico. Le ricerche su problemi che esulavano dal quadro classico legato alla convessità o alla regolarità sono state poi 1996
Dimostrata la congettura di Mordell-Lang. Il logico israeliano Ehud Hrushovski dimostra la congettura di Mordell- ...
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 [...] , è indicato dal suo auspicio che l'analisi logica degli assiomi del calcolo delle probabilità potesse andare di ogni caso, i risultati e i metodi del calcolo delle probabilità classico, qual era stato sviluppato da Laplace e da Poisson, furono pur ...
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,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...