logicismo
logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni logiche fondamentali; tale programma di riduzione della matematica alla logica venne abbandonato per l'insorgere di paradossi all'interno del sistema di ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] si può allora considerare come la realizzazione – in parte conseguita ma ancora in via di svolgimento – del programma implicitamente enunciato da Dirac.
In realtà, la rilevanza che sta acquistando la chimica computazionale trae vantaggio anche dallo ...
Leggi Tutto
Storico della scienza (Tortorici 1888 - Pisa 1949). Laureatosi a Bologna in fisica sperimentale con A. Righi, fu per breve tempo aiuto di fisica all'univ. di Parma, quindi prof. di liceo a Firenze (1929-42) [...] scienza della natura, e vide nella storia della scienza il terreno d'incontro fra cultura scientifica e filosofico-umanistica. Questo programma fu da lui perseguito con la fondazione della rivista L'Arduo (Bologna 1914, 1921-23) e, più tardi, con ...
Leggi Tutto
Vanguard
Vanguard 〈vèngaad〉 [FSP] Nome di una serie di satelliti artificiali terrestri statunitensi, il cui primo esemplare (il primo in assoluto per gli SUA) fu posto in orbita il 17 marzo 1958; era [...] . Nei successivi satelliti fu arricchita la strumentazione e conseguentemente aumentarono dimensioni e massa (fino a 4.5 kg). Il programma dei V. però, sia per difetti del vettore, sia per guasti agli organi di controllo, sia per mancata entrata ...
Leggi Tutto
Markov Andrej Andreevic junior
Markov 〈màrkëf〉 Andrej Andreevič junior [STF] (Pietroburgo 1903 - Mosca 1979) Figlio di Andrej Andreevič; prof. di matematica nell'univ. di Leningrado (1935). ◆ [INF] Algoritmo [...] (eventualmente coincidente con quella di partenza); tale sostituzione si effettua secondo regole che precisano l'algoritmo medesimo (si tratta di effettuare ben determinate sostituzioni ripetute di lettere in base a un programma di numeri d'ordine). ...
Leggi Tutto
L'Ottocento: matematica. Geometria superiore
David E. Rowe
Geometria superiore
Per gran parte del XIX sec., i matematici non ebbero un'idea ben definita del campo di ricerca che è possibile chiamare [...] ) nel suo famoso Habilitationsvortrag (lezione di abilitazione alla libera docenza) del 1854, nel quale veniva delineato un chiaro programma di ricerca per lo studio di varietà dotate di una struttura metrica locale. Dopo la pubblicazione postuma di ...
Leggi Tutto
partizione
partizióne [Der. del lat. partitio -onis "divisione in parti", dal part. pass. partitus di partire "dividere"] [LSF] È talora (per es., nella chimica fisica) sinon. di ripartizione. ◆ [ELT][INF] [...] di dati da o su nastro magnetico, stampa, ecc.), per cui risulta, in termini di tempi medi, l'elaborazione contemporanea di più programmi: v. sistemi operativi: V 307 e. ◆ [ALG] P. di un numero naturale: caso particolare di p. in classi di un insieme ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. Ristrutturazione
Zuoyue Wang
Ristrutturazione
Gli Stati Uniti divennero una grande potenza scientifica mondiale grazie al forte impegno delle istituzioni, [...] le ricerche riguardanti la fusione nucleare, la terza nel 1964 e la quarta nel 1971. Malgrado i suoi rapporti con i programmi di armamento nucleare dell'India, del Pakistan e di Israele siano ormai noti, l'Atoms for Peace Project contribuì in modo ...
Leggi Tutto
(App. II, i, p. 4; III, i, p. 4; IV, i, p. 12; V, i, p. 9)
Fisica
Gli a. di particelle, cioè i dispositivi o impianti per conferire a fasci di particelle elettricamente cariche energie di valore elevato, [...] di oltre 20.000 cavità risonanti SC da circa 1 m ciascuna ad alto campo e di costo contenuto; un intenso programma di ricerca e sviluppo ha già permesso, nell'arco di tre anni, di dimostrare la fattibilità della realizzazione industriale e l ...
Leggi Tutto
passo
passo [Der. del lat. passus -us "apertura delle gambe di chi cammina", dal part. pass. passus di pandere "aprire"] [LSF] La distanza corrispondente a un'apertura di gambe nel camminare e quindi [...] : la distanza, misurata pallelamente all'asse, tra due punti omologhi successivi del filetto. ◆ [ELT][INF] P. di programma: la singola istruzione di un programma di un calcolatore elettronico. ◆ [ANM] Metodo a un p. e a vari p.: metodi di risoluzione ...
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...