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 [...] la teoriadell'interpolazione. Questa teoria, di grande importanza nello studio delle equazioni alle derivate parziali e nell'analisi armonica, si sviluppa a partire da teoremi come quello di Riesz-Thorin, degli anni Trenta, in cui si dimostra che ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] così un impiego a Praga. Giunto lì, usò le osservazioni di Tycho per fornire la più stringente dimostrazionedella correttezza dellateoria copernicana disponibile all'epoca, mentre le sue prime due leggi del moto planetario (pubblicate nel 1609 ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] al centro intercettando questi poligoni. A questo punto l'analogia con la teoriadell'angolo piano cessa di sussistere.
L'esame delledimostrazionidelle proprietà precedenti mostra che Ibn al-Hayṯam combina proiezioni coniche e procedimenti di ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] algebriche
Le costruzioni geometriche delle equazioni algebriche sono effettuate per 'dimostrare' in termini geometrici le uguaglianze con le quali si scrivono le varie equazioni. è possibile dunque individuare una teoria geometrico-sintetica per le ...
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 [...] evolutivo.
1968
Decidibilità dellateoria dei campi finiti. L'americano James Ax dimostra che esiste un algoritmo per decidere se una formula del primo ordine sia vera in tutti i campi finiti. Il principale strumento delladimostrazione sono i campi ...
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 [...] ai suoi predecessori: prima di lui, infatti, Teodoro Metochite aveva già tentato di dimostrare la validità delle moltiplicazioni attraverso la geometria e la teoriadelle proporzioni e, allo stesso modo, l'obiezione di Metochite sulla radice quadrata ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] Sole, che è di 224,7 giorni.
Le coppie di Cooper. Leon Cooper, della Brown University di Providence, dimostra una circostanza importante per le teoriedella superconduzione, ossia la formazione di coppie di elettroni di conduzione (dette 'coppie di ...
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, [...] l'ultimo di 4 articoli (il primo del 1996), in cui dimostra che su una 4-varietà simplettica compatta gli invarianti di Seiberg- of Technology, Pasadena, per i contributi alla teoriadelle reazioni con trasferimento di elettroni in sistemi chimici. ...
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 [...] . Quest'analisi è il punto di partenza della soluzione completa che ne dà Ibn al-Hayṯam nel trattato Fī 'l-taḥlīl wa-'l-tarkīb per esemplificare le sue teorie sull'analisi: egli non si accontenta più di dimostrare che il problema si riporta a uno già ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] veri problemi, che sono di ordine matematico.
La teoriadella musica, infine (un sapere che, in un circolarità di tutti i movimenti menzionati si spiega con la volontà di dimostrarne la permanenza (v. sopra). Platone passa poi al sistema nutritivo ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
pull factor (pull-factor) loc. s.le m. Secondo alcune interpretazioni politiche, l’insieme dei fattori economici, politici e sociali che attrarrebbero la migrazione verso Paesi in condizioni sociali, economiche, politiche, ambientali più favorevoli...