LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] β−contraggono in zv, quindi entrambe le β−riduzioni conducono alla stessa β−forma normale. Vale questo in generale? Una risposta affermativa è data dal teorema di Church-Rosser (1936): Se P ▷β M e P ▷β N, allora esiste un Q tale che M ▷β Q ed N ▷β Q ...
Leggi Tutto
Equazioni funzionali
JJacques Louis Lions
di Jacques Louis Lions
Equazioni funzionali
sommario: 1. Motivazione ed esempi. 2. Definizione delle soluzioni. 3. Il metodo della trasformazione di Fourier; [...] dello spettro di A.
Nelle applicazioni sarà quindi sufficiente verificare che un dato operatore differenziale A soddisfi le proprietà del teorema di Hille-Yosida. Si è potuta estendere la teoria anche in alcuni dei casi in cui l'operatore A dipende ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] sia stato importato in Grecia (forse da Talete e Pitagora) e sia stato poi riformulato dallo spirito greco sotto forma di teoremi (di certo molto dopo Talete e Pitagora). D'altra parte, la tradizione riferita da Diogene Laerzio, secondo cui, com'è ...
Leggi Tutto
Econometria
Edmond Malinvaud
Introduzione
L'econometria è oggi una branca della scienza economica; ma per conoscerla a fondo bisogna tener presente che a suo tempo essa fu anche un movimento che propugnava [...] seconda legge; le regole da seguire a tale scopo sono definite dal calcolo delle probabilità, mediante l'applicazione del 'teorema di Bayes'. La scuola bayesiana si è dedicata ad approfondire sia la logica induttiva così concepita (v. Savage, 1954 ...
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 [...] di T. Bayes) è invece basata sul principio che la conoscenza di dati nuovi comporti la modifica dei parametri del modello. Il teorema di Bayes ha dato una soluzione sul piano teorico al problema dell'induzione, consentendo di passare da una legge di ...
Leggi Tutto
La civilta islamica: osservazioni, calcolo e modelli in astronomia. Geografia matematica e cartografia
Edward S. Kennedy
Geografia matematica e cartografia
Lo storico delle scienze esatte dell'Islam [...] quattro cerchi si intersecano in quattro punti che determinano un trapezio isoscele. Al-Bīrūnī applicò a quest'ultimo un teorema di Tolomeo sui lati e le diagonali dei trapezi inscrivibili, da ciò poteva ricavare questa notevole espressione:
,
in ...
Leggi Tutto
BORELLI, Giovanni Alfonso
Ugo Baldini
Nacque a Napoli il 28 genn. 1608 da Laura Borrello (Porrello, Vorriello), moglie di un soldato spagnolo della guarnigione del Castel Nuovo, Miguel Alonso "de Varoscio", [...] egli considera l'esistenza e l'unicità della parallela ad una retta per un punto esterno come il risultato di un teorema ricavabile da assiomi precedenti, e non una nozione primaria, come per Euclide. Nella teoria delle proporzioni il B. riformula ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] e contenuto può ritenersi contemporaneo alla lettera a Sarpi) che compare per la prima volta la dimostrazione del teorema fondamentale, quello sulla proporzionalità tra gli spazi e i quadrati dei tempi. Il frammento inizia enunciando l'ipotesi ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Dalla prospettiva dei pittori alla prospettiva dei matematici
Pietro Roccasecca
Il progressivo abbandono nei dipinti su tavola dei fondi oro in favore di paesaggi e vedute urbane, l’attenzione al naturale [...] 1492) finì di scrivere il De prospectiva pingendi negli anni Settanta del Quattrocento. Nel libro I, a metà del teorema XI, prima di entrare nel merito della procedura prospettica, Piero avvia una digressione, illuminante per comprendere il dibattito ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] delle probabilità composte, di cui parleremo fra breve. In un'altra formulazione questo principio è comunemente noto come teorema di Bayes che, per parte nostra, preferiamo chiamare regola di Bayes-Laplace dal momento che Laplace ne fece uso ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...