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à [...] 1924 Bohr, Kramers e Slater asserirono, prima di tutto, che la programmazione delle onde di luce, da una parte, e il loro assorbimento e di stabilire, di solito tramite un certo formalismo matematico, che implica una catena di passaggi, correlazioni ...
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 [...] nord-est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la trasmissione d'informazione sulla Terra e sugli uomini in simboli matematici e informatici. Si ritiene che tale messaggio possa essere ...
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 [...] per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra . Il sovietico Yuri V. Matiyasevic, dell'Istituto di matematica Steklov dell'Università di Leningrado, dimostra che il X problema ...
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 [...] lavori è noto come teoria KAM, dalle iniziali dei nomi dei matematici che l'hanno ideata.
Il linguaggio FORTRAN. Nasce in questo anno (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel ...
Leggi Tutto
MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] macchina modificabile nelle funzioni per mezzo di un 'programma' numerico registrato nella memoria della macchina stessa si York 1964 (tr. it.: La mente, le macchine e la matematica, Torino 1968).
Ashton, T.S., The industrial revolution. 1760-1830 ...
Leggi Tutto
Corrado Mencuccini
Elettricità
Energy and persistence conquer all things
(Benjamin Franklin)
Proposte per l’energia elettrica italiana
di
10 gennaio
La Commissione Europea vara un piano per la nuova politica [...] elettrici, S.-D. Poisson costruì (1811) una prima teoria matematica delle azioni elettriche, e poi quella analoga delle azioni magnetiche. di carico nazionale e di quelli locali e una programmazione dell’erogazione, centrale per centrale. Si trattò di ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti I 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di simulazione: v. ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni espressione computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ...
Leggi Tutto
REATTORE NUCLEARE (App. III, 11, p. 583; v. pila atomica, App. II, 11, p. 548)
Carlo Salvetti
Gabriele Testa
Data l'enorme rilevanza che ha acquisito in questi ultimi anni la produzione di energia elettrica [...] Ottanta la dimostrazione della fattibilità scientifica del r. a fusione. Il programma degli SUA, per es., è il più avanzato e ha come ipotizzabili; c) considerazioni diverse da ogni formulazione matematica. Dai punti a e b deriva la definizione ...
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 [...] dei modelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori aveva lanciato il suo famoso 'programma', a cui molti matematici dedicarono il loro lavoro: data una varietà proiettiva liscia di dimensione 3, trovare un numero finito di ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...