| 词条 | Dmitry Mirimanoff |
| 释义 |
Mirimanoff became a member of the Moscow Mathematical Society in 1897.[4] LifeDmitry 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| Мари́я Дми́триевна Рудакова}}). He was a great grandson of David A. (?) Mirimanian (later Mirimanoff) ({{lang-ru| Дави́д А. (?) Мириманян}}), a member of an old Armenian family settled in Georgia and an honorary citizen of Tiflis (now Tbilisi). 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. WorkSet theory{{expand section|date=November 2012}}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] Fermat's last theorem{{empty section|date=November 2012}}Reflection methodIn 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
References1. ^Jean A. Mirimanoff. Private correspondence with Anton Lokhmotov. (2009) 2. ^1 {{cite book|editor=Davide Sangiorgi and Jan Rutten|title=Advanced Topics in Bisimulation and Coinduction|url=https://books.google.com/books?id=8TScPLWJPnMC&pg=PA18|year=2011|publisher=Cambridge University Press|isbn=978-1-107-00497-9|pages=18–19|chapter=Origins of bisimulation and coinduction|author=Davide Sangiorgi}} 3. ^1 {{cite book|author=Lorenz J. Halbeisen|title=Combinatorial Set Theory: With a Gentle Introduction to Forcing|url=https://books.google.com/books?id=NZVb54INnywC&pg=PA62|year=2011|publisher=Springer|isbn=978-1-4471-2172-5|pages=62–63}} 4. ^{{cite journal|title = Состав Математического Общества|journal = Математический Сборник|volume = 31|issue = 1|year = 1922|pages = 1–3|url = http://mi.mathnet.ru/msb6920}} 5. ^cf. {{cite book|author=Azriel Levy|title=Basic Set Theory|year=2002|publisher=Dover Publications|isbn=978-0-486-42079-0|page=68}} and {{cite book|author=Michael Hallett|title=Cantorian Set Theory and Limitation of Size|year=1996|publisher=Oxford University Press|isbn=978-0-19-853283-5|pages=186, 188}} 6. ^{{cite journal|last = Renault|first = Marc| title = Lost (and Found) in Translation: André's Actual Method and Its Application to the Generalized Ballot Problem|journal = American Mathematical Monthly|volume = 115|number = 4|date = April 2008|pages = 358–362|url = http://webspace.ship.edu/msrenault/ballotproblem/monthly358-363-renault.pdf|jstor=27642480}} 7. ^Donald E. Knuth. Private correspondence with Anton Lokhmotov. (2009) External links{{wikisourceauthor}}
8 : Imperial Russian mathematicians|Ethnic Armenian mathematicians|Russian Armenians|1861 births|1945 deaths|Imperial Russian emigrants to Switzerland|University of Geneva faculty|People from Geneva |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。