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 [...] della buona ordinabilità del continuo, che era basata sulla nozione di definibilità: l'insieme, necessariamente numerabile, dei reali definibili possiede un complemento non vuoto e, qualora il continuo fosse bene ordinabile, allora il primo elemento ...
Leggi Tutto
LEVI, Eugenio Elia
Luca Dell'Aglio
Nacque a Torino il 18 ott. 1883, da Giulio Giacomo e da Diamantina Pugliese, e fu fratello del matematico Beppo. Allievo della Scuola normale superiore di Pisa, si [...] teoria delle funzioni. Egli, in particolare, rappresenta, insieme con F. Hartogs, uno dei fondatori della teoria , il L. partecipò alla prima guerra mondiale. Era capitano di complemento del genio allorché morì il 28 ott. 1917 presso Cormons, colpito ...
Leggi Tutto
navigazione
navigazióne [Der. del lat. navigatio -onis, dal part. pass. navigatus di navigare, che è da navis "nave"] [LSF] Il procedere galleggiando sull'acqua del mare, di un lago, un fiume e simili [...] cerchio di altezza) avente per centro l'astro e per raggio sferico il complemento χ di h (H nella fig. 1.1); così, se si sistemi di. ◆ [FTC] [FSP] N. spaziale: l'insieme delle scienze e delle tecniche riguardanti spostamenti nell'ambito del Sistema ...
Leggi Tutto
FLAUTI, Vincenzo
Marta Menghini
Nacque a Napoli il 4 apr. 1782, ove compì gli studi di matematica e fu allievo, insieme con G. Scorza, di N. Fergola e M. Cecere. Nel 1801 il F. assunse, insieme con [...] spazio, ibid.), che raccoglieva - rielaborate - le sue lezioni.
Il F. sosteneva l'idea che la geometria descrittiva fosse un complemento della geometria antica. E in effetti molti problemi vennero da lui risolti con tale metodo.
Già il Fergola aveva ...
Leggi Tutto
polare 1
polare1 [agg. Der. del lat. polaris, da polus "polo"] [LSF] Relativo a un polo, nei vari signif. di questo termine. ◆ [GFS] Aurora p.: imponente fenomeno di luminescenza atmosferica che si manifesta [...] orario dall'astro al polo celeste più vicino, pari al complemento della declinazione del-l'astro. ◆ [ALG] Equazione p.: . ◆ [MCC] Traiettorie p.: in un moto rigido piano, l'insieme della base e della rulletta. ◆ [ALG] Triedri p., o supplementari ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] v che assegna a ogni formula A un insieme v(A) nel reticolo O(T) degli aperti di uno spazio topologico, dove ∧ corrisponde all’intersezione, ∨ all’unione, ← all’interno del complemento. Le algebre di aperti sono reticoli relativamente pseudo ...
Leggi Tutto
distanza
distanza [Der. del lat. distantia, dal part. pres. distans -antis di distare "stare lontano", comp. di dis- e stare] [ALG] La lunghezza del tratto di linea retta che congiunge due punti, o, [...] la d. angolare di un astro dal polo nord celeste, pari al complemento della declinazione. ◆ [RGR] D. propria: v. tetrade: VI 250 D. tra due figure o insiemi di punti: l'estremo inferiore (tratteggiato nella fig.) dell'insieme delle d. tra il generico ...
Leggi Tutto
posizione
posizióne [Der. del lat. positio -onis, dal part. pass. positus di ponere "porre"] [LSF] (a) Il luogo dove una cosa è posta, in relazione a punti di riferimento. (b) Il porre qualcosa, sia [...] relazione ai gradi di liberta del sistema è l'insieme dei valori assunti, per ogni configurazione, dai per lati l'arco di cerchio meridiano PZ, (π/2)-φ, pari al complemento della latitudine geografica φ del luogo, l'arco di cerchio orario dell'astro ...
Leggi Tutto
Borel Felix-Edouard-Emile
Borel ⟨borèl⟩ Félix-Edouard-Émile [STF] (Saint-Affrique, Aveyron, 1871 - Parigi 1956) Prof. di matematica nell'univ. di Parigi (1909); socio straniero dei Lincei (1918). ◆ [ANM] [...] di B.: dato uno spazio topologico e una famiglia M di insiemi in questo spazio, il più piccolo insieme di insiemi contenente M e chiuso rispetto alle operazioni di unione numerabile e di complemento. ◆ [ANM] Funzione e somma di B.: v. funzioni di ...
Leggi Tutto
complementarecomplementare [agg. e s.m. Der. di complemento "che serve a completare"] [ALG] Algebra c.: di una sottoalgebra invariante S in un'algebra A, è l'algebra quoziente A/S di A rispetto a S, [...] di un gruppo G, è il gruppo quoziente G/S di G rispetto a S. ◆ [ALG] Insieme c. (o c. s.m., simb. C o la sopralineatura) di un sottoinsieme S di un insieme I, è l'insieme degli elementi di I non appartenenti a S. ◆ [ELT] MOS c., o CMOS: adattam. dell ...
Leggi Tutto
complementare
agg. [der. di complemento, sull’esempio del fr. complémentaire]. – 1. a. Che serve di complemento, cioè di completamento, di integrazione: disposizioni c. di una legge; corsi c. di lingue straniere; giorni c., i 5 giorni (6 negli...
complemento
compleménto s. m. [dal lat. complementum, der. di complere «compiere»]. – 1. Ciò che completa una cosa: l’educazione familiare è c. necessario di quella impartita a scuola; esercizî pratici a c. delle nozioni teoriche. 2. In grammatica,...