Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Тео́рия вероя́тностей — раздел математики, изучающий случайные события, случайные величины, их свойства и операции над ними.
Великая теорема Ферма́ — одна из самых популярных теорем математики. Сформулирована французским математиком Пьером Ферма в 1637 году. Несмотря на простоту формулировки, буквально, на «школьном» арифметическом уровне, доказательство теоремы искали многие математики на протяжении более трёхсот лет. И только в 1994 году теорема была доказана английским математиком Эндрю Уайлсом с коллегами; публикация доказательства состоялась в 1995 году.
Пьер де Ферма́ — французский математик-самоучка, один из создателей аналитической геометрии, математического анализа, теории вероятностей и теории чисел. По профессии юрист, с 1631 года — советник парламента в Тулузе. Один из величайших математиков всех времён. Блестящий полиглот. Наиболее известен формулировкой Великой теоремы Ферма, «самой знаменитой математической загадки всех времён».
Меха́нико-математи́ческий факульте́т (мехмат) — один из факультетов Московского государственного университета имени М. В. Ломоносова.
Но́рберт Ви́нер — американский математик, один из основоположников кибернетики и теории искусственного интеллекта.
Карл Те́одор Вильге́льм Ве́йерштрасс — немецкий математик, «отец современного анализа».
Сэр Э́ндрю Джон Уа́йлс — английский математик, профессор математики Принстонского университета, заведующий его кафедрой математики, член научного совета Института математики Клэя. Наиболее известен доказательством Великой теоремы Ферма, за что он был награждён Абелевской премией в 2016 году и медалью Копли в 2017 году.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Оле́г Бори́сович Лупа́нов — советский и российский математик, академик Российской академии наук, декан механико-математического факультета МГУ (1980—2006), главный научный сотрудник Института прикладной математики им. М. В. Келдыша (1993—2006), специалист по дискретной математике, математической кибернетике, математической логике. Лауреат Ленинской премии.
Никола́й Никола́евич Лу́зин — советский математик, член-корреспондент (1927), академик АН СССР (1929).
Пал Э́рдёш — венгерский математик, один из наиболее продуктивных математиков XX века. Работал в самых разных областях современной математики: комбинаторика, теория графов, теория чисел, математический анализ, теория приближений, теория множеств и теория вероятностей. Лауреат множества математических наград, включая премию Вольфа (1983/1984). Основатель премии Эрдёша.
Существует три официальных способа подразделения математики.
Виктор Иванович Шестаков (1907—1987) — советский логик и теоретик-электротехник, который в середине 1930-х гг. предложил интерпретацию логики булевой алгебры на релейно-контактных схемах.
Изгибаемый многогранник — многогранник, чью пространственную форму можно изменить непрерывной во времени деформацией, при которой каждая грань не изменяет своих размеров, а деформация осуществляется только за счёт непрерывного изменения двугранных углов. Такая деформация называется непрерывным изгибанием многогранника.
Вооружённые силы польского подполья — польская антикоммунистическая подпольная организация времён военного положения в ПНР. Действовала автономно, без связи с оппозиционным движением Солидарность. Единственная организация польской оппозиции после 1950-х, ориентированная на вооружённую борьбу с коммунистическим режимом ПОРП. Стала известна после убийства сержанта милиции Здзислава Кароса 18 февраля 1982 года.
Октай Мурадович Касим-Заде — советский и российский учёный в области математики. Заведующий кафедрой дискретной математики механико-математического факультета МГУ. Профессор, доктор физико-математических наук.
Теорема Шеннона — Лупанова определяет число элементов, необходимых для реализации автомата в заданном автоматном базисе[неизвестный термин].
Алекса́ндра Гео́ргиевна Бонч-Осмоло́вская — заслуженный учитель школы Карело-Финской ССР (1946), она стояла у истоков образования в Олонецкой губернии — Карельской республике. Автор учебников. Заместитель Председателя Президиума Верховного Совета КФССР 1-го созыва.
