Dmitrij Mirimanow

Zdjęcie Dmitrija Mirimanowa

Dmitry Semionovitch Mirimanoff ( rosyjski : Дми́трий Семёнович Мириманов ; 13 września 1861, Pereslavl-Zalessky , Rosja - 5 stycznia 1945, Genewa , Szwajcaria ) został doktorem nauk matematycznych w 1900 roku w Genewie i wykładał na uniwersytetach w Genewie i Lozannie . Mirimanoff wniósł znaczący wkład w aksjomatyczną teorię mnogości i teorię liczb (odnosząc się konkretnie do Wielkiego Twierdzenia Fermata , w sprawie którego przed pierwszą wojną światową korespondował z Albertem Einsteinem ). W 1917 roku wprowadził, choć nie tak wyraźnie jak później John von Neumann , skumulowaną hierarchię zbiorów i pojęcie liczb porządkowych von Neumanna ; chociaż wprowadził pojęcie zbioru regularnego (i dobrze ugruntowanego ), nie uważał regularności za aksjomat , ale także badał to, co obecnie nazywa się nieuzasadnioną teorią mnogości i miał wyłaniającą się ideę tego, co obecnie nazywa się bisymulacją .

Mirimanoff został członkiem Moskiewskiego Towarzystwa Matematycznego w 1897 roku.

Życie

Dmitry Semionovitch Mirimanoff ( rosyjski : Дмитрий Семёнович Мириманов ) urodził się w Peresławiu-Zaleski , Rosja , w dniu 13 września 1861. Jego rodzicami byli Semion Mirimanovitch Mirimanoff ( rosyjski : Семён Мириманович Мирима́нов ) i Maria Dmitrievna Rudakova ( ros . Мария Дмитриевна Рудакова ).

Około 1885 roku Dmitrij Mirimanoff spotkał w Nicei Francuzkę Malvinę Geneviève Valentine Adriansen . Geneviève Adriansen nauczyła się rosyjskiego i przyjęła rosyjskie prawosławie . Pobrali się w Genewie 25 października 1897 r. I mieli dwóch synów: Aleksandra (później Aleksandra) Dmitriewicza Mirimanowa ( ros . Александр Дми́триевич Мириманов ), urodzonego w Oranienbaum (obecnie Łomonosow ) w 1898 r. I Andreï (później André) Dmitrievitch Mirimanow ( rosyjski : Андрей Дми́триевич Мириманов ), urodzony w Genewie w 1902 roku.

Rodzina mieszkała w Rosji (najpierw w Moskwie , potem w Petersburgu ) do 1900 roku, kiedy to przeniosła się do Genewy (w poszukiwaniu lepszego klimatu dla złego zdrowia Dmitrija Mirimanowa). Po rewolucjach 1917 roku nigdy nie odwiedziły Rosji , chociaż pozostały tam siostry Dmitrija, Zofia i Lidia. Dmitrij Mirimanow przyjął obywatelstwo szwajcarskie 17 września 1926 r. Dmitrij Mirimanow zmarł 5 stycznia 1945 r. w Genewie .

Praca

Teoria mnogości

Mirimanoff w artykule z 1917 roku przedstawił koncepcję dobrze ugruntowanego zbioru i pojęcie rangi zbioru. Mirimanoff nazwał zbiór x „regularnym” (francuski: „ordinaire”), jeśli każdy malejący łańcuch x x 1 x 2 ∋… jest skończony. Mirimanoff jednak nie uważał swojego pojęcia regularności (dobrze ugruntowanej) za aksjomat, którego należy przestrzegać we wszystkich zbiorach; w późniejszych artykułach Mirimanoff badał również to, co obecnie nazywa się zbiorami nieuzasadnionymi („nadzwyczajnymi” w terminologii Mirimanoffa).

Ostatnie twierdzenie Fermata

Metoda refleksyjna

W 2008 roku Marc Renault opublikował artykuł, w którym wskazał, że to Dmitrijowi Mirimanoffowi należy przypisać stworzenie „ metody refleksji ” w celu rozwiązania problemu głosowania Bertranda , a nie Désiré André , któremu od dawna przypisywano. Dlatego Donald Knuth , który przeczytał artykuł Renault, w przyszłych wydaniach pierwszego tomu swojej monografii The Art of Computer Programming wymieni Mirimanoff zamiast André .

Zobacz też

Linki zewnętrzne