algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere visto come il risultato di un "calcolo meccanico" ben determinato, vale a dire come risultato ...
Leggi Tutto
Meteorologo e climatologo italiano (n. Torino 1966). Ha studiato Scienze agrarie a Torino, con indirizzo agrometeorologia, conseguendo un master in Geografia alpina e scienze della montagna presso il Laboratorio [...] la rivista Nimbus e collabora con la Repubblica, La Stampa e Il Fatto quotidiano. Noto soprattutto per la partecipazione al programma di Raitre Che tempo che fa, ha condotto Scala Mercalli, in cui si è occupato di sostenibilità ambientale. Tra i ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. La scienza della materia e della vita secondo la tradizione
Stefano Caroti
Baudouin van den Abeele
Graziella Federici Vescovini
La [...] Libri II e IV). Fin dal primo capitolo del primo libro, in cui l’autore espone le linee del proprio programma di ricerca, è possibile cogliere una netta presa di posizione sulla specificità della scientia de mineralibus rispetto all’alchimia. Alberto ...
Leggi Tutto
Nuoto
«Water is our world» (logo della FINA)
La lunga storia del nuoto
17 luglio
Si apre a Roma la 13a edizione dei FINA World Championships, durante i quali 2500 atleti provenienti da 170 nazioni si sfideranno [...] solo sui 100 m stile libero. La prima competizione in piscina si svolse nel 1923 nel Centro di educazione fisica di Roma. Nel programma maschile furono inseriti i 100 m rana a partire dal 1920 e i 50 m stile libero sei anni più tardi. Questa gara fu ...
Leggi Tutto
L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. La pneumatica
John G. McEvoy
La pneumatica
Prima del XVII sec. non esisteva una conoscenza approfondita delle proprietà fisiche dell'aria, [...] rapporti con la filosofia della Natura sia l'utilità della scienza, la sua funzione sociale e il suo ruolo nel programma di miglioramento civile e di riforma tipico dell'Illuminismo. Considerata da questo punto di vista, la storia della pneumatica ...
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 [...] verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e output desiderate. La logica di Hoare è alla base dell ...
Leggi Tutto
L'Ottocento: fisica. La matematizzazione del colore
Steven R. Turner
La matematizzazione del colore
I colori e il loro mescolamento da Newton a Helmholtz
Il moderno approccio allo studio della visione [...] Questo insieme di tecniche e di problemi pose le basi dello studio del colore come scienza quantitativa e matematica, il cui programma era fondato sulla sintesi operata da Helmholtz e sul legame che quest'ultima aveva con la teoria di Young.
Dopo il ...
Leggi Tutto
allocazione
allocazióne [Der. dell'ingl. allocation, che riprende il fr. allocation nome d'azione di allouer "allogare", dal lat. locus "luogo"] [LSF] Il sistemare ordinatamente più cose in un certo [...] : nella tecnica dei calcolatori elettronici, la ripartizione delle risorse (memoria, unità periferiche) di un calcolatore tra i vari programmi che esso sta elaborando; si parla di a. dinamica, compiuta dal calcolatore stesso mediante uno speciale ...
Leggi Tutto
Fisico dei Paesi Bassi (n. Waalwijk 1931 - Bilthoven, Utrecht, 2021). Conseguito il PhD in fisica all'Università di Utrecht nel 1963, vi ha insegnato dal 1966. Dal 1981 al 1997 ha ricoperto la cattedra [...] computazionali, fondamentali nei complessi calcoli algebrici in teoria dei campi e nelle teorie di gauge, in particolare con il programma Schoonschip (1963). Nel 2003 ha pubblicato il volume Facts and mysteries in elementary particle physics. ...
Leggi Tutto
Meccanica e termomeccanica razionali
CClifford A. Truesdell
di Clifford A. Truesdell
SOMMARIO: 1. Concetti e metodi: a) la natura delle scienze razionali; b) la nascita, l'apogeo e il lento declino [...] esistono e sono uniche e stabili, sotto condizioni molto deboli. L'uso di grandi calcolatori ha dato maggior forza a un programma di questo tipo. Così è nata l'idea che lo scopo del filosofo naturale sia quello di porre e risolvere ‛problemi ...
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,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...