Lesniewski
Leśniewski Stanisław (Serpuchov, Mosca, 1886 - Varsavia 1939) matematico, logico e filosofo polacco. Fu esponente di spicco della scuola polacca di matematica e logica, cui appartengono anche [...] soprattutto grazie agli scritti di alcuni suoi allievi che contribuirono a chiarirne il pensiero. Tra i suoi lavori: Studi logici (1913), Fondamenti della teoria generale degliinsiemi (1916), Sui fondamenti della matematica (1927-31). ...
Leggi Tutto
somma diretta
Luca Tomassini
Sia {Aα,α∈I} una famiglia di insiemi indicizzata dall’insieme I e sia πΑ∈I Aα il prodotto diretto (o cartesiano) dei suoi elementi Aα. Un elemento di πΑ∈I Aα è allora un’applicazione [...] di una base. Notiamo che l’elemento essenziale della definizione di somma diretta è l’esistenza di un elemento neutro negli insiemi Aα. Per questa ragione la somma diretta può essere introdotta anche nel caso di anelli.
→ Invarianti, teoriadegli ...
Leggi Tutto
Banach-Tarski, paradosso di
Banach-Tarski, paradosso di paradosso stabilito dai due matematici nel 1924; è una delle conseguenze singolari che deriva dall’includere l’assioma della → scelta nella teoria [...] assiomatica degliinsiemi di → Zermelo-Fraenkel. Esso consiste nel dimostrare, avvalendosi dell’assioma della scelta, che una sfera può essere scomposta in un numero finito di parti, con le quali, utilizzando solo rotazioni e traslazioni, si può poi ...
Leggi Tutto
classe
classe collezione di oggetti astratti, definiti da una specifica proprietà. Ogni insieme, in quanto collezione degli elementi che contiene, è in particolare una classe. Ma non vale il viceversa: [...] , così da evitare i paradossi che, come emerse all’inizio del xx secolo, erano contenuti nella teoria ingenua degliinsiemi, quale per esempio l’antinomia di → Russell, da cui segue che la classe totale è propria.
In alcuni ambiti il termine classe ...
Leggi Tutto
Kelley
Kelley John Leroy (Kansas City 1916 - Oakland, California, 1999) matematico statunitense. Si è occupato prevalentemente di analisi funzionale e topologia; il suo testo General topology (Topologia [...] giuramento anticostituzionale. Il suo nome è legato anche alla teoria assiomatica degliinsiemi, da lui costruita con un approccio innovativo a partire dalla teoria di → Neumann-Bernays-Gödel (teoria nbg), con una modifica all’assioma nbg0. Questa ...
Leggi Tutto
Novikov Sergej Petrovic
Novikov Sergej Petrovič (Gorkij, oggi Nižnij Novgorod, 1938) matematico russo. Figlio di due illustri matematici (il padre, Pëtr Sergeevič, è famoso per i suoi lavori sulla teoria [...] della misura, sulla logica matematica e sulla teoria descrittiva degliinsiemi; la madre, Ludmila Vsevolodovna Keldyš, era una nota esperta della teoria descrittiva degliinsiemi e della topologia geometrica), dal 1996 è professore emerito presso ...
Leggi Tutto
perimetro
perìmetro [Der. del lat. perimetros, dal gr. perímetros, comp. di peri- "intorno" e métron "misura"] [ALG] Il contorno (meglio, bordo) di una figura (piana o no) e, più spesso, la misura di [...] esso; per es., per un poligono è l'insieme dei suoi lati e, anche, la lunghezza complessiva di essi. ◆ [MTR] di diametro unitario. ◆ [ANM] Teoria dei p.: s'occupa della misura della frontiera degliinsiemi: v. variazioni, calcolo delle: VI ...
Leggi Tutto
Radon
Radon Johann (Tetschen, Boemia, oggi Děčìn, 1887 - Vienna 1956) matematico austriaco. Professore all’università di Greifswald (1922), Erlangen (1925), Breslau (1928-45) e Vienna, coltivò anche [...] anni dopo da Nikodým (→ Lebesgue, integrale di). In teoria della misura, il suo nome è legato al concetto di misura in uno spazio topologico: la misura di Radon è una misura sulla σ-algebra degliinsiemi di Borel di uno spazio di Hausdorff, che abbia ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teorema di: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi, teoriadegli: I 102 c. ...
Leggi Tutto
Smirnov Stanislav
Smirnov Stanislav (San Pietroburgo 1970) matematico russo. Dopo gli studi all’università di San Pietroburgo, ha conseguito il dottorato al California Institute of Technology con una [...] tesi dal titolo Analisi spettrale degliinsiemi di Julia. Ha successivamente lavorato in varie università statunitensi ed europee è stata assegnata la Medaglia Fields per i suoi studi in analisi complessa, sistemi dinamici e teoria della probabilità. ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...