L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] si era imposta nel corso della dimostrazione, e Dirichlet riteneva che fosse più che altro legata alla particolare procedura dimostrativa seguita. Così, quando Gauss gli scrisse nel 1853 ipotizzando la possibilità di estendere la dimostrazione al ...
Leggi Tutto
Solitoni
Francesco Calogero
SOMMARIO: 1. Introduzione: cenno storico. 2. Soluzione di equazioni lineari di evoluzione mediante la trasformata di Fourier. 3. L'equazione di Korteweg-de Vries. 4. La [...] tempo t, ritornare dalla trasformata spettrale alla funzione u(x, t) (problema spettrale inverso). L'analogia di questa procedura con quella, basata sulla trasformata di Fourier, applicabile a equazioni di evoluzione lineari (v. cap. 2) è del tutto ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] rapporto lunula/cerchio è trascendente e, per questo motivo, la dimostrazione di Ibn al-Hayṯam non consiste in una procedura effettiva. Egli scrive: "le verità delle nozioni intelligibili non hanno bisogno di essere trovate o determinate in atto dall ...
Leggi Tutto
Scienza egizia. Matematica
Walter Friedrich Reineke
Friedhelm Hoffmann
Matematica
Nel mondo ellenistico, l'antichissimo, venerando e nondimeno meraviglioso Egitto era considerato la culla della scienza. [...] 'incognita nel calcolo, ma in termini moderni questo problema consiste nel risolvere l'equazione (x/2)+3+(x/3)+3=10. La procedura utilizzata corrisponde a trasformare l'equazione in (5/6)×x=4, risolvere (5/6)×y=1, ossia ottenere il valore inverso di ...
Leggi Tutto
Previsioni economiche
Giovanni De Cindio
di Giovanni De Cindio
Previsioni economiche
Presupposti storici
La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] utilizzato per costruire modelli macroeconomici, anche di grandi dimensioni, per rappresentare il funzionamento dell'economia di un paese. La procedura in sintesi è la seguente: si parte dalla teoria economica, si specifica e si stima il modello, si ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] presentino ancora problemi aperti relativi al grado soddisfacente di attenuazione del concetto di equivalenza strutturale e al fatto che la procedura non è applicabile a qualsiasi tipo di grafo, ma solo all'interno di componenti (v. Scott, 1991), le ...
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 [...] che E equivale a λ in ogni campo finito, e λ può essere calcolato esplicitamente. Si ottiene una procedura di decisione diversa dalle procedure classiche, basate sull'eliminazione dei quantificatori. Si fa un uso cruciale del risultato di Weil sulla ...
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 [...] , in collaborazione con il gruppo di Alan J. Heeger, della University of California, a Santa Barbara, modificando la procedura sintetica introdotta da Hideki Shirakawa, della University of Tsukuba, a Tokio, Alan G. MacDiarmid, della University of ...
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 [...] lo stesso Sarett e altri gruppi di ricerca, tra i quali spicca quello di Percy L. Julian, perfezioneranno la procedura di sintesi, rendendo praticabile la produzione industriale del composto (isolato per la prima volta nel 1935 da Edward C. Kendall ...
Leggi Tutto
Scienza indiana: periodo vedico. Discipline ausiliarie dei Veda
Christopher Minkowski
Takao Hayashi
David Pingree
Discipline ausiliarie dei Veda
Testi per i rituali solenni (Śrautasūtra)
di Christopher [...] , risulta d≈δ=a+(a/3)+ +[(a/3)/4]+ −{[(a/3)/4]/34}. L'inventore dell'approssimazione, che sembra aver seguito questa procedura o una simile, doveva sapere che il suo δ era differente dal valore reale d.
I rapporti fra gli Śulbasūtra e la matematica ...
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...