Mirimanov, Dimitrij

Enciclopedia on line

Matematico e logico russo (Preslavl´-Zalesskij 1861 - Ginevra 1945), prof. (dal 1922) all'univ. di Losanna. Si è occupato di problemi connessi alla teoria dei numeri. È stato il primo a sottolineare il fatto che la teoria assiomatica degli insiemi di Zermelo non esclude l'esistenza di insiemi (cosiddetti "insiemi straordinarî") all'interno dei quali esiste una catena infinita di insiemi legati dalla relazione di appartenenza. Tra i suoi lavori: Les antinomies de Russell et Burali-Forti et le problème fondamental de la théorie des ensembles (1917); Remarques sur la théorie des ensembles et les antinomies cantoriennes (1920).

Vedi anche
Ernst Zermelo Zermelo ‹zèrmëlo›, Ernst. - Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, ma soprattutto alla teoria degli insiemi. Il postulato (1904) che da lui ... Russell, Bertrand Arthur William, conte Russell ‹rḁsl›, Bertrand Arthur William, conte. - Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo in parte dell'influsso di L. Wittgenstein ... lògica matemàtica 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 essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... relazione Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti. ● Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati di una perizia, ai lavori compiuti da una commissione, da un organo collegiale. botanica Si parla ...
Categorie
Tag