Великая теорема Ферма́ — одна из самых популярных теорем математики. Сформулирована французским математиком Пьером Ферма в 1637 году. Несмотря на простоту формулировки, буквально, на «школьном» арифметическом уровне, доказательство теоремы искали многие математики на протяжении более трёхсот лет. И только в 1994 году теорема была доказана английским математиком Эндрю Уайлсом с коллегами; публикация доказательства состоялась в 1995 году.
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть что всякий отличный от константы многочлен с комплексными коэффициентами имеет по крайней мере один корень в поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Лемма Бёрнсайда — классический результат комбинаторной теории групп, даёт выражение на число орбит в действии группы. Лемма Бёрнсайда лежит в основе доказательства теоремы Редфилда — Пойи.
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным. Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика Эрнста Цермело. Теорема Цермело эквивалентна аксиоме выбора, а следовательно, и лемме Цорна.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Лемма Цорна — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело и принципом максимума Хаусдорфа.
Уильям Тимоти Гауэрс — британский математик. Доктор (1990), трудится в Кембриджском университете, член Лондонского королевского общества, иностранный член Американского философского общества (2010). В 1998 получил Филдсовскую премию за исследования, связавшие такие области математики, как функциональный анализ и комбинаторику.
Теорема Семереди — утверждение комбинаторной теории чисел о наличии длинных арифметических прогрессий в плотных множествах.
Христос Димитриу Папакирьяко́пулос — греческий и американский математик, специализировавшийся в геометрической топологии.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
Ле́мма Де́на — ключевое утверждение трёхмерной топологии.
Теорема де Брёйна — Эрдёша — теорема теории графов доказанная Палом Эрдёшем и Николаасом де Брёйном.
Кривая моментов — алгебраическая кривая в d-мерном евклидовом пространстве, заданная множеством точек с декартовыми координатами
Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения.
Лемма об удалении графа утверждает, что если граф содержит несколько копий данного подграфа, то все его копии могут быть исключены путём удаления малого числа рёбер. Лемму иногда называют леммой об удалении треугольников в случае, когда подграф является треугольником.
Локальная лемма Ловаса — лемма теории вероятностей. Если некоторое количество событий не зависит друг от друга и вероятность каждого меньше 1, то вероятность того, что ни одно из событий не произойдет, положительна. Локальная лемма Ловаса позволяет ослабить условие независимости: пока события «не сильно зависимы» друг от друга и не слишком вероятны по отдельности, вероятность того, что ни одно из них не произойдет, положительна. Этот результат чаще всего используется в вероятностном методе, в частности для доказательства существования.
Лемма Такера — это комбинаторный аналог теоремы Борсука — Улама, названный именем Альберта У. Такера.
Лемма Ка́льмана — По́пова — Якубо́вича — один из основополагающих результатов в области теории управления, связанный с устойчивостью нелинейных систем управления и линейно-квадратичной оптимизацией.
