Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] e non a teorie come l'aritmetica o la teoria degli insiemi, per le quali ci darebbe una prova della non dimostrabilità di questo caso non si aumenta la complessità e il numero di regole della dimostrazione diminuisce. Iterando le due operazioni ...
Leggi Tutto
Chimica quantistica
Frank Jensen
La materia è costituita da nuclei atomici e da elettroni che interagendo formano gli atomi e le molecole, i quali a loro volta danno origine alla materia inorganica, [...] di Slater, attraverso lo sviluppo seguente:
[11] formula
Se si parte da un insieme di M orbitali, si può generare un totale di KMN determinanti di Slater (dove KMN è il numero di combinazioni di M oggetti a N a N), ottenuti scegliendo in tutti i ...
Leggi Tutto
La grande scienza. Oceanologia
Paola Malanotte-Rizzoli
Oceanologia
Questa breve rassegna sull'evoluzione dell'oceanologia si incentra sulla fisica e sulla dinamica dell'oceano fin dalla nascita dell'esplorazione [...] è ora entrato nella fase di 'sintesi', in cui le sue osservazioni sono utilizzate in modelli numerici che le combinano insieme, ottimizzandole attraverso metodi di 'assimilazione' dei dati; questa sintesi fornisce una descrizione a quattro dimensioni ...
Leggi Tutto
Sistemi dispersi
Sergio Carrà
I sistemi dispersi sono costituiti da una moltitudine di particelle condensate presenti all'interno di un fluido. La conoscenza delle loro caratteristiche ha un ruolo importante [...] che
formula.
I sistemi che verranno presi in considerazione sono costituiti da insiemi di particelle per le quali il rapporto (A/V) è dell' di distribuzione tale che f (m,t)dm esprima il numero di particelle presenti al tempo t, con massa compresa ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] può essere stabilita nel modo seguente.
Diciamo che una formula φ(a) contenente un unico parametro individuale rappresenta numericamente un insieme di numeri naturali A in T se, per ogni numero naturale n, si ha: (1) se n∈A allora T⊦φ(n); (2) se n∉A ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] tale lettura l’Aritmetica si presenterà ‘provvisoriamente’ come lo studio dei punti razionali degli insiemi algebrici irriducibili definiti sul corpo dei numeri razionali, delle superfici e delle ipersuperfici. Tuttavia, se ci si limita al solo caso ...
Leggi Tutto
Oceanologia
Paola Malanotte-Rizzoli
Durante gli ultimi trent'anni una serie di rivoluzioni scientifiche ha cambiato significativamente la comprensione della circolazione negli oceani, nonché il tipo [...] (Mid ocean dynamics experiment, 1971-1974), nonché l'insieme di ormeggi russi POLYGON (1970), consentirono di scoprire tale of the ocean), iniziata nel 1999 e che oggi include numerose università americane e tedesche. La fig. 6 sintetizza il sistema ...
Leggi Tutto
Stelle: vita e morte
Virginia Trimble
Uno sguardo fugace al cielo è sufficiente a mostrare come le stelle non appaiano tutte ugualmente luminose. Questa loro caratteristica, che era già nota agli antichi [...] tratta di un sistema binario è costituita dalla presenza di due insiemi di righe di assorbimento negli spettri, le cui lunghezze d'onda delle stelle contengono una quantità di gas pari a un numero di masse solari che va dalle centinaia ai milioni, e ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] diventerà nota come misura di Lebesgue, contraddistinta dall’additività numerabile: la misura dell’unione di un’infinità numerabile di insiemi disgiunti è la somma delle misure degli insiemi. Rispetto a quello di Gottinga Bernhard Riemann, il metodo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
L'astronomia mesopotamica
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In età babilonese si delineano i due scopi dell’indagine astronomica [...] un certo punto dello zodiaco. Purtroppo i due cicli non sono formati da numeri interi di giorni, né sono l’uno il multiplo dell’altro. L Arahsamnu, Kislimu, Tebetu, Shabatu, Addaru) che, nell’insieme, dura 360 giorni. Per evitare lo slittare delle ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...