Дмитрий Мириманов - Dmitry Mirimanoff

Дмитрий Семенович Мириманов (русский: Дми́трий Семёнович Мирима́нов; 13 сентября 1861 г., Переславль-Залесский, Россия - 5 января 1945 г., Женева, Швейцария ) стал доктором математических наук в 1900 г., в г. Женева, и преподавал в университетах Женева и Лозанна. Мириманов внесла заметный вклад в аксиоматическая теория множеств и к теории чисел (относящейся конкретно к Последняя теорема Ферма, по которому он переписывался с Альберт Эйнштейн перед Первая мировая война[1]). В 1917 году он представил, хотя и не так явно, как Джон фон Нейман позже, совокупная иерархия множеств и понятие ординалы фон Неймана; хотя он ввел понятие регулярного (и обоснованный набор ) он не считал регулярность как аксиома, но также исследовал то, что сейчас называется необоснованная теория множеств и у него возникло новое представление о том, что сейчас называется бисимуляция.[2][3]

Мириманов стал членом Московского математического общества в 1897 году.[4]

Жизнь

Дмитрий Семенович Мириманов (русский: Дми́трий Семёнович Мирима́нов) родился в Переславль-Залесский, Россия 13 сентября 1861 г. Его родителями были Семен Мириманович Мириманов (русский: Семён Мирима́нович Мирима́нов) и Мария Дмитриевна Рудакова (русский: Мари́я Дми́триевна РудаковаОн был правнуком Давида А. (?) Мириманяна (позже Мириманова) (русский: Дави́д А. (?) Мириманян), член старого Армянский семья поселилась в Грузия и почетный гражданин Тифлис (сейчас же Тбилиси ).

Около 1885 года Дмитрий Мириманов встретил Французский леди Мальвина Женевьева Валентин Адриансен в Отлично. Женевьева Адриансен узнала русский и принял Русское православие. Они поженились в Женева 25 октября 1897 г. и родила двух сыновей: Александра (позже Александра) Дмитриевича Мириманова (русский: Алекса́ндр Дми́триевич Мирима́нов), уроженец Ораниенбаума (ныне Ломоносов ) в 1898 году и Андрей (впоследствии Андре) Дмитриевич Мириманов (русский: Андрей Дми́триевич Мирима́нов), рожден в Женева в 1902 г.

Семья жила в Россия (первый в Москва, затем в Санкт-Петербург ) до 1900 года, когда они переехали в Женева (в поисках лучшего климата для плохого здоровья Дмитрия Мириманова). После 1917 революции они никогда не посещали Россия, хотя сестры Дмитрия София и Лидия остались там. Дмитрий Мириманов стал гражданином Швейцарии 17 сентября 1926 года. Дмитрий Мириманов скончался 5 января 1945 года в г. Женева.

Работа

Теория множеств

Мириманов в статье 1917 года представил концепцию хорошо обоснованного множества и понятие ранга множества.[5] Мириманов назвал набор Икс "обычный" (французский: "обыкновенный"), если каждая нисходящая цепочка Икс ∋ Икс1 ∋ Икс2 ∋ ... конечно. Однако Мириманов не считал свое понятие регулярности (обоснованности) аксиомой, которую должны соблюдать все множества;[3] в более поздних статьях Мириманов также исследовал то, что сейчас называется необоснованные множества («экстраординарный» в терминологии Мириманова).[2]

Последняя теорема Ферма

Метод отражения

В 2008, Марк Рено опубликовал статью[6]в котором он указал, что это Дмитрий Мириманов кому следует отдать должное за создание "метод отражения "для решения Проблема бюллетеня Бертрана, нет Дезире Андре кому это было давно приписано. Дональд Кнут, прочитавший статью Renault, будет ссылаться на Мириманова вместо Андре в будущих изданиях первого тома его монографии Искусство программирования.[7]

Смотрите также

Рекомендации

  1. ^ Жан А. Мириманов. Частная переписка с Антоном Лохмотовым. (2009)
  2. ^ а б Давиде Санджорджи (2011). «Истоки бисимуляции и коиндукции». В Давиде Санджорджи и Яне Руттене (ред.). Продвинутые темы по бисимуляции и коиндукции. Издательство Кембриджского университета. С. 18–19. ISBN  978-1-107-00497-9.
  3. ^ а б Лоренц Дж. Хальбайзен (2011). Комбинаторная теория множеств: мягкое введение в принуждение. Springer. С. 62–63. ISBN  978-1-4471-2172-5.
  4. ^ "Состав Математического общества". Математический Сборник. 31 (1): 1–3. 1922.
  5. ^ ср. Азриэль Леви (2002). Основная теория множеств. Dover Publications. п. 68. ISBN  978-0-486-42079-0. и Майкл Халлетт (1996). Канторовская теория множеств и ограничение размера. Издательство Оксфордского университета. стр.186, 188. ISBN  978-0-19-853283-5.
  6. ^ Рено, Марк (апрель 2008 г.). "Потерянное (и найденное)" в переводе: André's Действительный Метод и его применение к обобщенной задаче голосования » (PDF). Американский математический ежемесячный журнал. 115 (4): 358–362. Дои:10.1080/00029890.2008.11920537. JSTOR  27642480.
  7. ^ Дональд Э. Кнут. Частная переписка с Антоном Лохмотовым. (2009)

внешняя ссылка