Мириманов

Мириманов

Мириманов, Дмитрий Семёнович

Дмитрий Семёнович Мириманов (13 сентября 1861(18610913), Переславль-Залесский — 5 января 1945, Женева) — швейцарский математик русского происхождения, известен трудами по теории множеств. Ввёл в обращение самопринадлежащие множества, в отличие от несамопринадлежащих множеств Кантора и последующих аксиоматических теорий. Парадокс фундированных классов назван его именем — парадокс Мириманова.

Последующее развитие теории множеств в западной математической школе в с 1920-х годов было направлено на то, чтобы исключить из рассмотрения кажущиеся им неудобными самопринадлежащие множества, посредством множества ограничений и дополнительных аксиом (аксиома фундирования), однако ограниченность такого подхода была показана в 1930-е годы в теоремах Гёделя (теорема о неполноте).

Основные труды

См. также

Упоминается

  • Френкель А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966, пер с англ. Ю. А. Гастева, под. ред. А. С. Есенина-Вольпина. — 366 с.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "Мириманов" в других словарях:

  • Мириманов, Дмитрий Семёнович — Дмитрий Семёнович Мириманов Дата рождения: 13 сентября 1861(1861 09 13) Место рождения: Переславль Залесский, Владимирская губерния Дата смерти: 5 января 1945 …   Википедия

  • Мириманов, Виль Борисович — Виль Борисович Мириманов Дата рождения: 22 октября 1929(1929 10 22) Место рождения: Тбилиси, СССР Дата смерти: 19 апреля 2004(20 …   Википедия

  • Мириманов, Гавр. Фом. — ред. справочн. кн. для военнослуж. (М., 1912), капит., офицер моск. Алексеевск. военн. училища. {Венгеров} …   Большая биографическая энциклопедия

  • нок — Культура Нок. Коленопреклоненная фигурка из Абуджи. Джосский музей. Терракота. нок, археологическая культура раннего железного века в междуречье Нигер—Бенуэ (Северная Нигерия). Древность — V в. до н. э.—III в. н. э. Название по… …   Энциклопедический справочник «Африка»

  • Нок —         археологическая культура, распространённая около 900 до н. э. 2 в. н. э. на значительной территории современного штата Бенуэ Плато в Нигерии. Названа по месту первых (1931) находок у сельских Нок (Nok, к юго западу от г. Джос). Особое… …   Большая советская энциклопедия

  • КУЛЬТУРОЛОГИЧЕСКИЕ НАУКИ —         в России (СССР) группа наук социально гуманитарного профиля, сложившаяся в течение 60 80 х гг., с 1995 введена в Номенклатуру специальностей научных работников Миннауки РФ в составе четырех специальностей: теория культуры; истор.… …   Энциклопедия культурологии

  • Кот-д'Ивуар — Республика Кот д Ивуар, гос во в Зап. Африке. В XVI XVII вв. португ. мореплаватели одному из участков берега Гвинейского залива дали название Берег Слоновой Кости за его богатство этим ценным товаром. В конце XIX в. берег стал франц. колонией… …   Географическая энциклопедия

  • Нок (цивилизация) — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. Координаты …   Википедия

  • Изобразительное и декоративно-прикладное искусство Тропической и Южной Африки — Древний буйвол. Петроглиф, горы Ксур. Северная Сахара. 8 е тысячелетие до н. э. Изобразительное искусство. Древнейшими памятниками изобразительного искусства на территории Тропической Африки являются наскальные изображения  петроглифы и росписи,… …   Энциклопедический справочник «Африка»

  • Ифе — Женская голова из святилища Олокуна семьи Волода. Терракота. Нигерийский музей. Лагос. Ифе, Иле Ифе (Ife, Ile Ife), город государство на юго западе современной Нигерии. В устной традиции И. считается колыбелью государственности йоруба и бини.… …   Энциклопедический справочник «Африка»


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»