Borel
Borel Émil (Saint-Affrique, Aveyron, 1871 - Parigi 1956) matematico e uomo politico francese. Importanti i suoi contributi in diversi campi della matematica: serie divergenti, teoria della misura, [...] approfondì i suoi studi nel campo dell’analisi matematica e si occupò di teoriadegliinsiemi, teoria delle funzioni di variabile reale, teoria delle funzioni analitiche uniformi. Insieme a R.L. Baire e a H.L. Lebesgue, è ritenuto il fondatore ...
Leggi Tutto
Cavailles
Cavaillès Jean (Saint-Maixent, Deux-Sèvres, 1903 - Arras, Pas-de-Calais, 1944) matematico ed epistemologo francese. Allievo del filosofo neokantiano L. Brunschvicg all’École normale supérieure [...] Cantor e di F. Dedekind, Cavaillès svolse una riflessione originale sui fondamenti epistemologici della matematica. La teoriadegliinsiemi, infatti, aveva messo in crisi l’assolutezza dei principi e del metodo matematico, mostrandone la correlazione ...
Leggi Tutto
Choquet
Choquet Gustave (Solesmes, Nord, 1915 - Parigi 2006) matematico francese. Formatosi all’École normale supérieure, fu docente-ricercatore (1949-52) e poi professore (1952-84) alle università Paris [...] dell’Accademia delle scienze di Francia dal 1976, ha dato importanti contributi in analisi funzionale, in topologia e in teoriadegliinsiemi. La sua opera è contrassegnata da una visione diretta e geometrica dei problemi. Si dedicò, oltre che alla ...
Leggi Tutto
Baire
Baire René-Louis (Parigi 1874 - Chambéry, Savoia, 1932) matematico francese. Di umili origini, poté frequentare ottime scuole e infine la École normale supérieure di Parigi grazie a borse di studio [...] funzioni, precisandone il significato e operandone una classificazione (→ Baire, classi di), sempre con una particolare attenzione alla teoriadegliinsiemi infiniti che nel frattempo si veniva delineando con Cantor. A Baire si deve il concetto di ...
Leggi Tutto
frontiera
frontiera in analisi, insieme dei punti di aderenza di un sottoinsieme A di uno spazio topologico che non sono interni ad A. Per esempio, per un intervallo limitato di numeri reali la frontiera [...] (0,1) ∩ Q è [0, 1];
• in R2, una circonferenza è la frontiera del corrispondente cerchio, indipendentemente dal fatto che i suoi punti gli appartengano in tutto o in parte.
Nella teoriadegliinsiemi il termine frontiera è sinonimo di → contorno. ...
Leggi Tutto
uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numeri naturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] considerato un concetto primitivo definito implicitamente dagli assiomi. (b) Nella teoriadegliinsiemi, considerata la relazione di equipotenza definita nella famiglia di tutti gli insiemi finiti, 1 è la classe di equivalenza costituita da tutti gli ...
Leggi Tutto
Richard
Richard Jules Antoine (Blet, Centre, 1862 - Châteauroux, Centre, 1956) matematico francese. Autore di saggi di logica matematica e di fisica matematica. Il suo nome è legato all’antinomia della [...] contatti con matematici dell’epoca quali G. Peano e H. Poincaré; quest’ultimo utilizzò l’antinomia di Richard per confutare la teoriadegliinsiemi. Tra i suoi scritti va anche ricordato Sur la nature des axiomes de la géométrie (Sulla natura ...
Leggi Tutto
Hausdorff
Hausdorff Felix (Breslavia, Bassa Slesia, 1868 - Bonn 1942) matematico tedesco. È considerato uno dei fondatori della moderna topologia, che all’epoca si andava sviluppando su basi assiomatiche [...] il suo nome. Si trasferì quindi all’università di Bonn. Nel 1914 pubblicò Grundzüge der Mengenlehre (Fondamenti di teoriadegliinsiemi) in cui introdusse quello che oggi è chiamato spazio di Hausdorff. All’avvento dei nazisti al potere, Hausdorff ...
Leggi Tutto
indecidibilita
indecidibilità in logica, termine utilizzato per indicare la non → decidibilità di una data proprietà. In particolare, un insieme è indecidibile se non esiste un algoritmo in grado di [...] se a è o non è dimostrabile nel sistema formale dato. Esempi di teorie indecidibili sono l’aritmetica formalizzata dagli assiomi di → Peano e la teoriadegliinsiemi formalizzata secondo gli assiomi di → Zermelo-Fraenkel. È importante distinguere il ...
Leggi Tutto
permanenza
permanènza [Der. di permanente "atto ed effetto del permanere"] [ALG] In una successione di numeri relativi, in partic. in un'equazione algebrica ordinata, il susseguirsi di due termini aventi [...] lo stesso segno. ◆ [ALG] Principio della p.: nella teoriadegliinsiemi, principio in base al quale ogni volta che si amplia un insieme (per es., si passa dall'insieme dei numeri naturali a quello dei numeri razionali) si conservano le proprietà ...
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...