Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] del langravio e dei suoi assistenti, i quali erano esperti nel fare ripetute osservazioni. In ogni caso, l'eseguire procedure di verifica necessarie per stabilire la coerenza deve aver messo in risalto il fatto che misurare precisamente, rispetto a ...
Leggi Tutto
punto fisso
Luca Tomassini
Un punto x di un insieme X tale che F(x)=x per una determinata mappa F:X→X, ovvero di X in sé. Un tale punto si dirà anche punto fisso per F. La dimostrazione dell’esistenza [...] Come si può vedere, tale risultato non soltanto asserisce l’esistenza del punto fisso, ma indica anche una concreta procedura per individuarlo e consente persino di valutare la velocità della convergenza della successione xn al punto x−. Il principio ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] (quella degli scienziati) volta a interpretare settori sempre più ampi della realtà e a escogitare le stesse procedure sperimentali sulla base di presupposti scientifici, metodologici e metafisici propri di una particolare epoca storica (i cosiddetti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] finita, di fatto un algoritmo, in grado di generare x. Secondo Kronecker, tutta la matematica doveva essere costruita mediante tali procedure a partire dai numeri naturali: "Il buon Dio ci ha dato i numeri; tutto il resto è opera dell'uomo".
La ...
Leggi Tutto
L'Eta dei Lumi: matematica. La matematica della teoria delle perturbazioni da Euler a Laplace
Curtis Wilson
La matematica della teoria delle perturbazioni da Euler a Laplace
Accanto allo sviluppo dei [...] il lavoro di Lagrange al suo arrivo a Parigi, prima che fosse pubblicato, e subito si accorse che un'analoga procedura poteva essere applicata agli afeli e alle eccentricità orbitali. Ciò vuol dire che, introducendo nuove variabili h, k, del tipo ...
Leggi Tutto
spazio vettoriale topologico
Luca Tomassini
Lo sviluppo di settori dell’analisi funzionale, quali per esempio la teoria delle distribuzioni, ha mostrato che in molti casi è utile considerare spazi lineari [...] tutte le operazioni algebriche sono continue. Uno spazio vettoriale topologico la cui topologia non può essere assegnata con questa procedura è lo spazio C∞([a,b]) delle funzioni infinitamente derivabili sull’intervallo chiuso [a,b]. La topologia è ...
Leggi Tutto
Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] ordinario in età augustea, fu ufficialmente abolito solo alla metà del 4° sec. d.C., quando ormai l’unica procedura esperibile era quella cognitoria, cui presiedevano non magistrati, ma funzionari imperiali.
Le f. si distinguevano in varie specie a ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] un qualunque insieme di assiomi iniziali, manipolando i simboli in accordo con specifiche regole. Si pensava che questa procedura non avrebbe potuto generare o ammettere paradossi. La matematica è quindi quell'enorme trama di connessioni logiche che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] di lunghezza di una curva, di area di una superficie, e così via, Constantin Carathéodory (1873-1950) introdusse due procedure estremamente generali per la costruzione di misure. La prima, valida per uno spazio qualsiasi, consiste di due passi: (1 ...
Leggi Tutto
Fisica
In meccanica statistica, si definiscono sistemi e. (e sistemi quasi-e.), sistemi per i quali le traiettorie, descritte dal punto rappresentativo del sistema stesso nello spazio delle fasi, godono [...] da studiare, il problema della costruzione di modelli microscopici per la termodinamica si affronta usualmente tramite una procedura di solito attribuita a J.W. Gibbs: si dimostra che tutti gli insiemi statistici ortodici (➔ insieme) producono ...
Leggi Tutto
procedura
s. f. [dal fr. procédure, der. di procéder «procedere»; nel sign. 3 è un calco dell’ingl. procedure]. – 1. a. non com. Modo di procedere, cioè di operare o di comportarsi in determinate circostanze o per ottenere un certo risultato...
procedurista
s. m. e f. [der. di procedura] (pl. m. -i). – 1. Giurista esperto nella procedura processuale. 2. non com. In informatica, chi è incaricato di gestire e di controllare il buon funzionamento dei programmi dopo la loro messa a punto...