Vicino Oriente antico. La matematica
Jöran Friberg
La matematica
Gli esercizi metro-matematici nel III millennio
La ricerca sulla matematica mesopotamica conobbe il suo periodo pionieristico a partire [...] con un problema che si può quasi definire di teoria dei numeri e che è relativo a suddivisioni di numeri non quadrati perfetti i matematici paleobabilonesi ottenevano approssimazioni delprimoordine mediante l'uso di un secondo algoritmo, basato ...
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 [...] condotto alla prima sistematizzazione di un ramo della teoria delle equazioni alle derivate parziali: quello delle equazioni delprimoordine.
Equazioni delprimoordine
Come già osservato, le equazioni alle derivate parziali delprimoordine in due ...
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 [...] sottolineare che, a causa del fenomeno della dispersione, nessuna equazione ‛lineare' del tipo (1) (salvo la banale equazione delprimoordine, ut + cux = un meccanismo per cui, a partire da una teoria non lineare di campo, si generano entità ...
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 [...] la sua concezione complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica delprimoordine che ha un modello infinito deve avere un modello numerabile. In tal modo nessuna tale T ...
Leggi Tutto
L'Eta dei Lumi: matematica. Le equazioni differenziali
Silvia Mazzone
Clara Silvia Roero
Le equazioni differenziali
E con la nascita del calcolo infinitesimale di Newton e di Leibniz, nella seconda [...] parziali nel quale espone un proprio metodo per risolvere l'equazione:
Un contributo fondamentale alla teoria delle equazioni alle derivate parziali delprimoordine è offerto da Lagrange il quale, nella memoria Sur l'intégration des équations à ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] […] non vi può essere alcun nuovo principio fondamentale nella teoriadel moto e dell'equilibrio, che non sia già contenuto nei +1 equazioni differenziali ordinarie delprimoordine che determinano completamente il moto del sistema a partire dalla ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] -free è stata l'osservazione fatta da Robert McNaughton che essi corrispondono alla parte delprimoordine (cioè senza variabili di insiemi) della detta teoria. Più recentemente è stata introdotta una variante di questa logica, la 'logica temporale ...
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 [...] descrizione è corretta solamente fino a un'approssimazione delprimoordine: occorre tener conto di effetti minori dovuti a di Jacques-Salomon Hadamard (1865-1963) dove discussero della teoriadel parallelismo a distanza, e Cartan gli fece l'esempio ...
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 [...] satelliti di Giove, Lagrange dimostrò che la soluzione delprimoordine per la longitudine e il raggio vettore di potevano essere spiegate e, di fatto, lo sarebbero state; la teoria lunare era stata sviluppata fin quasi al punto in cui tutte le ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] (cioè la relazione R è transitiva).
La cosiddetta teoria della corrispondenza (sviluppata da Johan Van Benthem negli anni un certo interesse. Il primo consiste nell'estendere il linguaggio della logica delprimoordine con un operatore modale M ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...