 | This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: MOS. (November 2012) |
Dmitry Mirimanoff | |
|---|---|
Дми́трий Семёнович Мирима́нов | |
 Dmitry Mirimanoff | |
| Born | Dmitry Semionovitch Mirimanoff 13 September 1861 |
| Died | 5 January 1945 (aged 83) |
| Citizenship | Swiss (since 1926) |
| Occupation | doctor of mathematical sciences |
| Years active | 1897–1945 |
| Notable work | mathematic publications |
| Spouse | Malvina Geneviève Valentine Adriansen (1897–?) |
| Children | 2 |
| Relatives | Sophia and Lydia Mirimanoff (sisters) |
Dmitry Semionovitch Mirimanoff (Russian: Дми́трий Семёнович Мирима́нов; 13 September 1861, Pereslavl-Zalessky, Russia – 5 January 1945, Geneva, Switzerland) was a member of the Moscow Mathematical Society in 1897.[1] And later 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[2]). 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.[3][4]
- ^ "Состав Математического Общества". Математический Сборник. 31 (1): 1–3. 1922.
- ^ Jean A. Mirimanoff. Private correspondence with Anton Lokhmotov. (2009)
- ^ Davide Sangiorgi (2011). "Origins of bisimulation and coinduction". In Davide Sangiorgi and Jan Rutten (ed.). Advanced Topics in Bisimulation and Coinduction. Cambridge University Press. pp. 18–19. ISBN 978-1-107-00497-9.
- ^ Lorenz J. Halbeisen (2011). Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer. pp. 62–63. ISBN 978-1-4471-2172-5.