Английская Википедия:Dmitry Mirimanoff
Шаблон:Short description Шаблон:Cleanup
Dmitry Semionovitch Mirimanoff (Шаблон:Lang-ru; 13 September 1861, Pereslavl-Zalessky, Russia – 5 January 1945, Geneva, Switzerland) became a doctor of mathematical sciences in 1900, in Geneva, and taught at the universities of Geneva and Lausanne. Mirimanoff made notable contributions to axiomatic set theory and to number theory (relating specifically to Fermat's Last Theorem, on which he corresponded with Albert Einstein before the First World War[1]). In 1917, he introduced, though not as explicitly as John von Neumann later, the cumulative hierarchy of sets and the notion of von Neumann ordinals; although he introduced a notion of regular (and well-founded set) he did not consider regularity as an axiom, but also explored what is now called non-well-founded set theory and had an emergent idea of what is now called bisimulation.[2][3]
Mirimanoff became a member of the Moscow Mathematical Society in 1897.[4]
Life
Dmitry Semionovitch Mirimanoff (Шаблон:Lang-ru) was born in Pereslavl-Zalessky, Russia, on 13 September 1861. His parents were Semion Mirimanovitch Mirimanoff (Шаблон:Lang-ru) and Maria Dmitrievna Rudakova (Шаблон:Lang-ru).
Around 1885, Dmitry Mirimanoff met a French lady Malvina Geneviève Valentine Adriansen in Nice. Geneviève Adriansen learnt Russian and accepted Russian Orthodox Christianity. They married in Geneva on 25 October 1897 and had two sons: Alexander (later Alexandre) Dmitrievitch Mirimanoff (Шаблон:Lang-ru), born in Oranienbaum (now Lomonossov) in 1898, and Andreï (later André) Dmitrievitch Mirimanoff (Шаблон:Lang-ru), born in Geneva in 1902.
The family lived in Russia (first, in Moscow, then in St Petersburg) until 1900 when they moved to Geneva (in search of a better climate for Dmitry Mirimanoff's bad health). After the 1917 revolutions they never visited Russia, although Dmitry's sisters Sophia and Lydia remained there. Dmitry Mirimanoff became a Swiss citizen on 17 September 1926. Dmitry Mirimanoff died on 5 January 1945 in Geneva.
Work
Set theory
Шаблон:Expand section Mirimanoff in a 1917 paper introduced the concept of well-founded set and the notion of rank of a set.[5] Mirimanoff called a set x "regular" (French: "ordinaire") if every descending chain x ∋ x1 ∋ x2 ∋ ... is finite. Mirimanoff however did not consider his notion of regularity (well-foundedness) as an axiom to be observed by all sets;[3] in later papers Mirimanoff also explored what are now called non-well-founded sets ("extraordinaire" in Mirimanoff's terminology).[2]
Reflection method
In 2008, Marc Renault published an article[6] in which he pointed out that it is Dmitry Mirimanoff who should be credited for creating "the reflection method" for solving Bertrand's ballot problem, not Désiré André to whom it had been long credited. Therefore, Donald Knuth, who has read Renault's article, will credit Mirimanoff instead of André in future printings of Volume 1 of his monograph The Art of Computer Programming.[7]
See also
References
External links
- Brief biography
- Brief biography
- Шаблон:Cite journal Includes a list of 60 Mirimanoff's papers.
- Шаблон:Cite journal Describes the reflection method for solving Bertrand's ballot problem.
- Шаблон:Cite journal
- ↑ Jean A. Mirimanoff. Private correspondence with Anton Lokhmotov. (2009)
- ↑ 2,0 2,1 Шаблон:Cite book
- ↑ 3,0 3,1 Шаблон:Cite book
- ↑ Шаблон:Cite journal
- ↑ cf. Шаблон:Cite book and Шаблон:Cite book
- ↑ Шаблон:Cite journal
- ↑ Donald E. Knuth. Private correspondence with Anton Lokhmotov. (2009)
- Английская Википедия
- Страницы с неработающими файловыми ссылками
- Mathematicians from the Russian Empire
- People from the Russian Empire of Armenian descent
- 1861 births
- 1945 deaths
- Emigrants from the Russian Empire to Switzerland
- Academic staff of the University of Geneva
- Scientists from Geneva
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Английской Википедии
