La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] di Arend Heyting (1898-1980) sulle regole formali della logica intuizionista permettono tuttavia ai logici delle diverse scuole di trovare un terreno di confronto e rappresentano il punto di partenza di una serie di ricerche che ben presto porta a ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] pionieristiche, consentirono la formulazione di varie equazioni, le cui soluzioni venivano ottenute soprattutto con manipolazioni formali di serie di potenze. Una classe di problemi fondamentali, riguardanti attrazioni e repulsioni di corpi soggetti ...
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, [...] negli ultimi cinquant'anni sono stati coautori di una serie di libri sulle strutture fondamentali della matematica, e i matematici attivi rivelò che il trenta per cento di loro era formalista nel senso di Bourbaki. Una spiegazione è che gran parte del ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La rivoluzione cartesiana e gli sviluppi della geometria
Emily Grosholz
La rivoluzione cartesiana e gli sviluppi della geometria
La rivoluzione [...] e riorganizzare l'aritmetica, la geometria e la meccanica, arrivando ad affrontare lo studio delle proprietà formali dei polinomi, delle serie infinite e delle equazioni differenziali.
La 'Géométrie'
Lo scopo principale della Géométrie è quello di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] piccolo insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', fondamenti della matematica, poi elaborato in una serie di pubblicazioni fino al 1931. Lo scopo ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] fin dall'Antichità. Da un lato, mediante manipolazioni formali, si 'elimina' un'incognita, in modo che risultato (giusto) A=2. Guido Grandi (1671-1742) concludeva, a partire dalla serie
e ponendo x=1, che 1−1+1−1+…=1/2 e inoltre notava che ...
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; [...] allora:
L'applicazione f → ô è un isomorfismo S′ → S′. Scriveremo ancora formalmente (indicando le distribuzioni come funzioni)
ô(ξ) = ∫ ei〈x,ξ>f non lineare
Si dimostra allora, mediante una serie di opportune valutazioni a priori e l'uso ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] un altro, il suo duale, che risulta dalla seguente manipolazione formale dei dati del primale. L'obiettivo del duale è:minimizzare È più conveniente dunque dividere il problema in una serie di sottoproblemi: ossia risolvere t problemi con 2n vincoli ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] : numero qualunque di dimensioni, tecniche complicate e formali, proprietà locali.
La geometria differenziale si occupa e non la torsione, è nulla.
Cartan discusse queste idee in due serie di conferenze a Toronto nel 1924 e a Berna nel 1927.
Molti ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] , esprimendole nel linguaggio precedente, le regole formali del calcolo differenziale.
La presentazione del calcolo integrali di prima specie per l'operatore [14]): se yn=Pn∙y, la serie ∑n(∥yn∥2/λn) dev'essere convergente, e ∑nyn/λn è una soluzione ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
coordinato
agg. e s. m. [part. pass. di coordinare]. – 1. agg. a. Ordinato insieme, e più spesso, in senso fig., collegato e diretto a un medesimo scopo: movimenti c.; gli sforzi c. degli alleati; tentativi mal c.; programmi di ricerca opportunamente...