Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] consideriamo la topologia di una parte limitata del piano euclideo, per esempio un quadrato chiuso. Un ‛dominio elementare' V è definito da un insieme finito di rettangoli con vertici razionali e lati paralleli agli assi delle coordinate. Un ...
Leggi Tutto
Geometria differenziale
Simon M. Salamon
SOMMARIO: 1. Introduzione: le origini. 2. Proprietà delle superfici. 3. Studio della curvatura gaussiana. 4. Dimensioni superiori. 5. Varietà e topologia. [...] eccezionali: G2, F4, E6, E7, E8P, che hanno rispettivamente dimensione 14, 52, 78, 133, 248. Dato un sottogruppo chiuso H di un gruppo di Lie G, l'insieme dei laterali G/H risulta essere la base di un fibrato principale con fibra H e spazio totale G ...
Leggi Tutto
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] La natura dell’opera è ormai chiara: si tratta di un esercizio chiuso in sé, che prende le mosse da un’analogia con il dell’analisi’ riferendosi a un ambito di conoscenze o a un insieme di testi; in quest’ultimo caso il Libro VII sarebbe, ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] quindi l'equazione che definisce R si può riscrivere simbolicamente nella forma:
Questa equazione, presa insieme al valore - A2 - A-2 dell'anello chiuso, può essere vista come un algoritmo ricorrente per il calcolo dell'ampiezza, e in questa forma ...
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 [...] di alcun numero naturale, (IV) sc è un'operazione iniettiva da ℕ a ℕ, e (V) ℕ è il più piccolo insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] elementi di H*(V) sono classi di equivalenza di forme differenziali 'chiuse' modulo forme differenziali 'esatte' su V. Se x1, x2,…, tali che f(pi)=xi, per i=1,…,n. Si ha una biezione di insiemi
dove un isomorfismo tra (f(p1,…,pn)) e (f(p′1,…,p′n)) ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] o di un sistema di equazioni algebriche come coordinate dell'insieme di punti che queste descrivono, e le equazioni come piane qualunque, coni aventi per base una qualsiasi curva chiusa) Clairaut passa alla descrizione analitica di una curva sghemba ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] a x.
Lo strumento principale per arrivare ai teoremi di differenziabilità è un teorema di ricoprimento. Una classe Δ di rettangoli chiusi ricopre un insieme E del piano, nel senso di Vitali, se, per ogni x∈E, esiste una successione regolare {Ik} di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] anni Sessanta, con la dimostrazione che l'insieme singolare di una soluzione è piccolo rispetto a , F90(0)=L con uno spazio nullo di dimensione 1 e un codominio chiuso di codimensione 1. Sotto semplici ipotesi si stabilisce l'esistenza per λ vicino ...
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; [...] con il calcolo delle variazioni.
4. I metodi del calcolo delle variazioni
L'osservazione fondamentale è la seguente: se K è un insieme convesso chiuso di uno spazio di Banach riflessivo V e se J è un funzionale convesso continuo su K tale che
J(v ...
Leggi Tutto
chiuso1
chiuso1 agg. [part. pass. di chiudere]. – 1. Ha tutti gli usi e le varie accezioni di chiudere: tenere la porta ch.; starsene ch. in casa; lo stabilimento rimarrà ch. tutto il mese; ch. per lutto di famiglia; le iscrizioni sono già...
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...