La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] tutto Skolem corregge il difetto zermeliano della vaghezza della nozione di 'definitezza' proponendo le formule di un linguaggiodelprimoordine per gli assiomi che la coinvolgono. Ne deduce il noto paradosso di Skolem, che esiste cioè un dominio ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] in considerazione. Ai livelli più elementari stanno due tipi di linguaggi, quelli enunciativi e quelli equazionali, oltre i quali stanno i linguaggidelprimoordine e di ordine superiore.
Abstract di approfondimento da Modelli, Teoria dei di Silvio ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] valori dei numeri naturali e soddisfacente le condizioni della definizione stessa. Si badi però che in una teoria dei numeri delprimoordine, in cui, come si è detto, il principio di i. sia esprimibile solo in modo attenuato, la dimostrazione di cui ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] analitici formulabili in modo generale con il linguaggio dell'analisi funzionale e nella cui risoluzione contesto cui si applicano le soluzioni di viscosità, si consideri un'e. delprimoordine, la cui forma generale è
[1]
dove Ω è un aperto di ...
Leggi Tutto
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 [...] matematici, S. ha dimostrato (1934) che non esiste un sistema finito o infinito numerabile di enunciati dellinguaggio predicativo delprimoordine nell'aritmetica di Peano che permetta di caratterizzare i numeri naturali.
Sono da ricordare tra le ...
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 differenziale ha acquisito una maggiore importanza come metodo, linguaggio e modo di pensare in altri campi della ...
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 [...] un’equazione differenziale delprimoordine, assumendo la linguaggio e simboli comuni. I risultati di Peano furono allora accolti e sviluppati da William Fogg Osgood, Charles-Jean de la Vallée-Poussin e Cesare Arzelà.
Negli articoli del 1887 e del ...
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 [...] è simile a un modello per la logica delprimoordine: c'è un insieme di individui e un certo numero di tabelle che danno le relazioni tra gli individui. Nel 1979 fu introdotto un linguaggio standard per formulare richieste di informazioni in una ...
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 [...] l'operatore [Pi,Pj]==PiPj−PjPi, che è ancora delprimoordine, perché i termini della forma
si elidono. Lie si del fatto che la curva h=0 passa per l'origine, ove ha una tangente in comune con le curve f e g. Per esprimersi con il linguaggiodel ...
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 [...] x) fosse una soluzione singolare di un'equazione differenziale delprimoordine che, senza perdita di generalità, si poteva sempre l'esattezza dellinguaggio", come egli scriveva nel 1810 nella prefazione alla seconda edizione del suo monumentale ...
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,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...