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 [...] di Nash-Moser, un importante strumento dell'analisi nonlineare che tratta il problema dell'invertibilità di mappe in assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] , considerato tuttora uno dei testi fondamentali sulla dinamica nonlineare e sui fenomeni caotici.
ℝ4 esotici. L' e di bassa potenza (27 MW); rappresenta il primo passo di un programma in base al quale la Cina si propone di raggiungere la potenza di ...
Leggi Tutto
Fisica
BBruno Ferretti
di Bruno Ferretti
Fisica
sommario: 1. Introduzione. a) Obiettività secondo Poincaré. b) Storia naturale e fisica. c) Il metodo sperimentale e il metodo teorico. d) Storicità [...] nel programma meccanicistico classico, a cui ho accennato nel paragrafo precedente, senza peraltro specificarla.
Non ψ rappresenta la funzione d'onda, H è un operatore lineare hermitiano che, nella nuova meccanica quantica, rappresenta l'hamiltoniana ...
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 [...] di Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in Lq1, è anche volta"; essa è quindi adatta per ragionare su programmi che non sono fatti per trasformare un input in un ...
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 [...] caratterizzato da una struttura più lineare, da una più alta di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema , da cui deducono il seguente risultato di algebra: non esistono algebre di divisione sui reali di rango diverso ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] affidabile, applicabile a ogni tipo di sistema lineare.
La spettroscopia di risonanza di spin elettronico programmazione di alto livello, dove il programmatorenon è tenuto a conoscere i dettagli di funzionamento della macchina che esegue i programmi ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure di lunghezza (contrapp. alle misure...
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...