Блез Паска́ль — французский математик, механик, физик, литератор, философ и теолог. Классик французской литературы, один из основателей математического анализа, теории вероятностей и проективной геометрии, создатель первых образцов счётной техники, автор основного закона гидростатики.
Дави́д Ги́льберт — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Гёттингенской, Лондонского королевского общества, иностранный почётный член Академии наук СССР (1934). Лауреат премии имени Н. И. Лобачевского (1903). В 1910—1920-е годы был признанным мировым лидером математиков.
Теория чисел или высшая арифметика — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.
Великая теорема Ферма́ — одна из самых популярных теорем математики. Сформулирована французским математиком Пьером Ферма в 1637 году. Несмотря на простоту формулировки, буквально, на «школьном» арифметическом уровне, доказательство теоремы искали многие математики на протяжении более трёхсот лет. И только в 1994 году теорема была доказана английским математиком Эндрю Уайлсом с коллегами; публикация доказательства состоялась в 1995 году.
Пьер де Ферма́ — французский математик-самоучка, один из создателей аналитической геометрии, математического анализа, теории вероятностей и теории чисел. По профессии юрист, с 1631 года — советник парламента в Тулузе. Один из величайших математиков всех времён. Блестящий полиглот. Наиболее известен формулировкой Великой теоремы Ферма, «самой знаменитой математической загадки всех времён».
Барон Огюсте́н Луи́ Коши́ — французский математик и механик, член Парижской академии наук, Лондонского королевского общества, Петербургской академии наук и других академий.
Карл Те́одор Вильге́льм Ве́йерштрасс — немецкий математик, «отец современного анализа».
Сэр Э́ндрю Джон Уа́йлс — английский математик, профессор математики Принстонского университета, заведующий его кафедрой математики, член научного совета Института математики Клэя. Наиболее известен доказательством Великой теоремы Ферма, за что он был награждён Абелевской премией в 2016 году и медалью Копли в 2017 году.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Пьер-Симо́н, маркиз де Лапла́с — французский математик, механик, физик и астроном; известен работами в области небесной механики, дифференциальных уравнений, один из создателей теории вероятностей. Заслуги Лапласа в области чистой и прикладной математики и особенно в астрономии громадны: он усовершенствовал почти все разделы этих наук.
Теоре́ма о модуля́рности — математическая теорема, устанавливающая важное соотношение между эллиптическими кривыми над полем рациональных чисел и модулярными формами, являющимися определёнными аналитическими функциями комплексного переменного. В 1995 году Эндрю Уайлс, не без помощи Ричарда Тейлора, доказал данную теорему для всех полустабильных эллиптических кривых над полем рациональных чисел. Доказательство остальных (неполустабильных) случаев теоремы явилось результатом работ Кристо́фа Брёйля, Брайана Конрада, Фреда Даймонда и Ричарда Тейлора. До 2001 года теорема называлась гипотезой Таниямы — Шимуры — Вейля.
Аксио́ма паралле́льности Евкли́да, или пя́тый постула́т, — одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида:
И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то продолженные неограниченно эти прямые встретятся с той стороны, где углы меньше двух прямых.
Гипотеза Морделла — гипотеза о конечности множества рациональных точек на алгебраической кривой рода , выдвинутая Луисом Морделлом в 1922 году. Позже гипотеза была обобщена с поля рациональных чисел на произвольное числовое поле. Была доказана Гердом Фальтингсом в 1983 году и теперь также называется теоремой Фальтингса.
Го́ро Шиму́ра — японский математик, профессор-эмерит Принстонского университета.
Ама́лия Э́мми Нётер — немецкий математик, наиболее известна своим вкладом в абстрактную алгебру и теоретическую физику. Павел Александров, Альберт Эйнштейн, Жан Дьёдонне, Герман Вейль и Норберт Винер считали её величайшей женщиной в истории математики. В качестве одного из величайших математиков двадцатого века она коренным образом изменила теорию колец, полей и алгебр. В физике теорема Нётер впервые открыла связь между симметрией в природе и законами сохранения.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Роберт Филэн Ленглендс — американский математик канадского происхождения, наиболее известный как основатель программы Ленглендса — широкой сети гипотез и доказанных теорем, связывающих теорию представлений, теорию автоморфных форм и теорию групп Галуа. В настоящее время — профессор-эмерит Института высших исследований.
Многообразие Шимуры — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры.
Великая теорема Ферма — научно-популярная книга британского популяризатора науки и журналиста Саймона Сингха. Книга получила положительные отзывы как учёных, так и печатных изданий, и была переведена на множество языков.