Дмитрий Мириманофф
 | Эту статью может потребовать очистки Википедии , чтобы она соответствовала стандартам качества . Конкретная проблема: MOS. ( Ноябрь 2012 г. ) |
Дмитрий Мириманофф | |
|---|---|
Дми́трий Семёнович Мирима́нов | |
 Дмитрий Мириманофф | |
| Рожденный | Дмитрий Семенович Мириманов 13 сентября 1861 г. |
| Умер | 5 января 1945 г. (83 года) |
| Гражданство | Швейцарский (с 1926 г.) |
| Занятие | доктор математических наук |
| Годы активности | 1897–1945 |
| Заметная работа | математические публикации |
| Супруг | Мальвина Женевьева Валентин Адриансен (1897–?) |
| Дети | 2 |
| Родственники | Софья и Лидия Миримановы (сестры) |
Дмитрий Семёнович Мириманов сентября ( 1861 13 , Переславль-Залесский , Россия — 5 января 1945, Женева , Швейцария ) был членом Московского математического общества в 1897 году. [1] А позже стал доктором математических наук в 1900 году в Женеве и преподавал в университетах Женевы и Лозанны .
Мириманов внес заметный вклад в аксиоматическую теорию множеств и теорию чисел (особенно это касается Великой теоремы Ферма , по поводу которой он переписывался с Альбертом Эйнштейном перед Первой мировой войной). [2] ). В 1917 году он представил, хотя и не так явно, как позже Джон фон Нейман , кумулятивную иерархию множеств и понятие ординалов фон Неймана ; хотя он ввел понятие регулярного (и хорошо обоснованного множества ), он не считал регулярность аксиомой , но также исследовал то, что сейчас называется необоснованной теорией множеств , и у него возникла идея того, что сейчас называется бисимуляцией . [3] [4]
Жизнь
[ редактировать ]Dmitry Semionovitch was born in Pereslavl-Zalessky , Russia , on 13 September 1861. His parents were Semion Mirimanovitch Mirimanoff ( Russian : Семён Мирима́нович Мирима́нов ) and Maria Dmitrievna Rudakova ( Russian : Мари́я Дми́триевна Рудакова ).
Около 1885 года Дмитрий Мириманов познакомился с француженкой Мальвиной Женевьевой Валентин Адриансен в Ницце . Женевьева Адриансен выучила русский язык и приняла русское православие . Они поженились в Женеве , Швейцария , 25 октября 1897 года, и у них родилось двое сыновей: Александр (позже Александр) Дмитриевич Мириманов ( русский : Алекса́ндр Дмитриевич Мириманов ), родившийся в Ораниенбауме (ныне Ломоносов ) в 1898 году, и Андрей (позже Андре) Дмитриевич Мириманов ( русский) . : Андрей Дми́триевич Мирима́нов ), родился в Женеве в 1902 году.
Семья жила в России (сначала в Москве , затем в Санкт-Петербурге ) до 1900 года, когда они переехали в Женеву (в поисках лучшего климата из-за плохого здоровья Дмитрия Мириманова). После революций 1917 года они так и не посетили Россию, хотя там остались сестры Дмитрия Софья и Лидия. Дмитрий Мириманов стал гражданином Швейцарии 17 сентября 1926 года. Позже он умер 5 января 1945 года в Женеве.
Работа
[ редактировать ]Теория множеств
[ редактировать ]![[икона]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( ноябрь 2012 г. ) |
Мириманов в статье 1917 года ввел концепцию обоснованного множества и понятие ранга множества. [5] Мириманов назвал множество x «регулярным» (по-французски «ordinaire»), если каждая нисходящая цепь x ∋ x 1 ∋ x 2 ∋ ... конечна. Однако Мириманов не считал свое понятие регулярности (обоснованности) аксиомой, которую должны соблюдать все множества; [4] в более поздних статьях Мириманов также исследовал то, что сейчас называется необоснованными множествами («экстраординарными» в терминологии Мириманова). [3]
Метод отражения
[ редактировать ]В 2008 году Марк Рено опубликовал статью [6] в котором он указал, что именно Дмитрию Мириманову следует отдать должное за создание « метода отражения » для решения проблемы голосования Бертрана , а не Дезире Андре, которому это долгое время приписывали. Поэтому Дональд Кнут , прочитавший статью Рено, будет упоминать Мириманова вместо Андре в будущих изданиях первого тома своей монографии «Искусство компьютерного программирования» . [7]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ "Состав Математического Общества" . Математический Сборник . 31 (1): 1–3. 1922.
- ^ Жан А. Мириманофф. Частная переписка с Антоном Лохмотовым. (2009)
- ^ Jump up to: Перейти обратно: а б Давиде Санджорджи (2011). «Истоки бисимуляции и коиндукции» . В Давиде Санджорджи и Яне Руттене (ред.). Продвинутые темы по бисимуляции и коиндукции . Издательство Кембриджского университета. стр. 18–19. ISBN 978-1-107-00497-9 .
- ^ Jump up to: Перейти обратно: а б Лоренц Дж. Халбайзен (2011). Комбинаторная теория множеств: с мягким введением в принуждение . Спрингер. стр. 62–63. ISBN 978-1-4471-2172-5 .
- ^ см . Азриэль Леви (2002). Базовая теория множеств . Дуврские публикации. п. 68. ИСБН 978-0-486-42079-0 . и Майкл Халлетт (1996). Канторианская теория множеств и ограничение размера . Издательство Оксфордского университета. стр. 186 , 188. ISBN. 978-0-19-853283-5 .
- ^ Рено, Марк (апрель 2008 г.). метод Андре «Потерянные (и найденные) в переводе: реальный и его применение к обобщенной проблеме голосования» (PDF) . Американский математический ежемесячник . 115 (4): 358–362. дои : 10.1080/00029890.2008.11920537 . JSTOR 27642480 . S2CID 8126326 .
- ^ Дональд Э. Кнут. Частная переписка с Антоном Лохмотовым. (2009)
Внешние ссылки
[ редактировать ]
- Краткая биография
- Краткая биография
- Вандивер, Х.С. (1942–1950). «Математические труды Дмитрия Мириманова» . Математическое образование . 39 : 169–179. Включает список из 60 статей Мириманова.
- Мириманов, Д. (1923). «О геометрической интерпретации задачи голосования» (PDF) . Математическое образование . 23 : 187–189. Описывает метод отражения для решения проблемы голосования Бертрана .
- Цермиас, Павлос (2007). «О полиномах Коши – Лиувилля – Мириманова» . Канадский математический бюллетень . 50 (2): 313–320. дои : 10.4153/cmb-2007-030-7 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
