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
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
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
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 [...] . È realizzata da un gruppo di meteorologi statunitensi guidati dal matematico Johann von Neumann, dell'Institute for Advanced Study di Princeton, utilizzando programmi di calcolo con elaboratori elettronici. Il risultato positivo determina il ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, insieme di regole per la corretta costruzione delle istruzioni in un linguaggio di programmazione. ...
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...