SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] della teoria degli insiemi ed espresso dubbi sulla completa assiomatizzazione dei concetti matematici, S. ha dimostrato (1934) che non esiste un sistema finito o infinito numerabile di enunciati del linguaggio predicativo delprimoordine nell ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoriadel giudizio [...] servire a porre ordine in un campo tradizionalmente teoriadel significato, una pura analitica dell’apofansi o teoria delle espressioni non-contraddittorie e la l. trascendentale o teoria della verità.
L’età contemporanea: la l. matematica
Le prime ...
Leggi Tutto
Sistemi dinamici
Franco Magri
Dmitrij Anosov
Il concetto di sistema è presente nel dibattito scientifico degli ultimi decenni nelle più diverse discipline: dall'idea di sistema fisico a quella di ecosistema, [...] primo luogo le equazioni differenziali ordinarie e alle derivate parziali - si affiancano altri strumenti, come quelli della teoria dei giochi, della statistica, della ricerca operativa, della teoriadel sono poli di primoordine), ma potrebbe in ...
Leggi Tutto
Geometria differenziale
SShoshichi Kobayashi
di Shoshichi Kobayashi
Geometria differenziale
sommario: 1. Cenno storico. 2. Varietà. 3. Geometria riemanniana. 4. Varietà complesse e varietà kähleriane. [...] questo segue dal fatto che la (38) è un'equazione differenziale ordinaria delprimoordine. In particolare, se x(t), a≤t≤b, è una curva con metodi topologici, e precisamente usando la teoriadel cobordismo di Thom. Grazie agli sforzi congiunti di ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] esistenza della soluzione di un’equazione differenziale delprimoordine, assumendo la sola ipotesi della continuità, fondamentale negli studi di analisi, di topologia, di teoria degli insiemi e di teoria della misura.
Prendendo le mosse da un lavoro ...
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 [...] pone in antitesi con la spiegazione neodarwiniana del cambiamento evolutivo.
1968
Decidibilità della teoria dei campi finiti. L'americano James Ax dimostra che esiste un algoritmo per decidere se una formula delprimoordine sia vera in tutti i campi ...
Leggi Tutto
L'Ottocento: matematica. Le origini della teoria dei gruppi
Jeremy Gray
Le origini della teoria dei gruppi
La teoria di Galois e la soluzione algebrica delle equazioni algebriche
La teoria di Galois [...] moderna definizione di gruppo.
Un altro argomento al quale Lie era interessato era la teoria ormai ben sviluppata delle equazioni differenziali ordinarie delprimoordine, per la quale si conoscevano non poche tecniche mediante le quali di solito si ...
Leggi Tutto
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 [...] ) fosse una soluzione singolare di un'equazione differenziale delprimoordine che, senza perdita di generalità, si poteva sempre progressi nel calcolo, non aveva speso una parola per la teoriadel suo illustre collega che, all'epoca, non era più ...
Leggi Tutto
L'Ottocento: astronomia. Il problema dei tre corpi e la stabilita del Sistema solare
June Barrow-Green
Il problema dei tre corpi e la stabilità del Sistema solare
Questo capitolo illustra, a grandi [...] , era la possibilità di trattare anche il caso in cui l'approssimazione delprimoordine fosse stata insufficiente.
Nel 1901 Levi Civita scrisse un articolo sulla teoria della stabilità, nel quale riportò le idee di Poincaré e di Ljapunov, prestando ...
Leggi Tutto
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 [...] , così come quella della logica da utilizzare (delprimoordine o del secondo ordine?) sarà oggetto di lunghe discussioni negli anni Venti, con la ripresa delle ricerche sull'assiomatizzazione della teoria degli insiemi da parte di Abraham Fraenkel ...
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à...