Изменчивая природа математического доказательства. Доказать нельзя поверить

Морган, Огастес де (1806–1871). Видный логик XIX в. Знаменит законами де Моргана.

Морс, Марстон (1892–1977). Выдающийся специалист в геометрическом анализе XX в. Его имя носит теория Морса или исчисление вариаций в широком смысле. Почетный член Института перспективных исследований.

Неванлинна, Рольф (1895–1980). Выдающийся специалист в комплексном анализе XX в. Учитель Ларса Альфорса. Его именем названа теория Неванлинны.

Нейман, Джон фон (1903–1957). Видный американский (венгр по происхождению) специалист в математическом анализе. Автор современного подхода к квантовой механике, отец алгебр фон Неймана. Сделал значительный вклад в функциональный анализ, логику и многие другие области математики. Его считают отцом программируемых компьютеров.

Непер, Джон (1550–1617). Изобретатель логарифмов.

Нобель, Альфред (1833–1896). Изобретатель динамита. Богатый фабрикант. Основатель Нобелевской премии.

Ньюсон, Мэри Уинстон (1869–1959). Первая американская женщина, получившая степень доктора наук в Геттингенском университете. Она перевела на английский язык лекцию Гильберта о 23 проблемах, которую он прочел на Международном математическом конгрессе в 1900 г.

Ньюэлл, Аллен (1927–1992). Один из создателей машины теории логики, одного из первых инструментов для открытия и построения математических доказательств.

Оккам, Уильям (1285–1347). Философ XIV в. Создатель «бритвы Оккама», положения о том, что любая система логики должна быть как можно компактнее и изящнее.

Ом, Георг (1789–1854). Его имя носит закон Ома. Изучал электрический ток. Работал над усовершенствованием электрических батарей. Опубликовал работы по акустике.

Паскаль, Блез (1623–1662). Видный французский философ XVII в. Один из основателей теории вероятностей. Его именем назван треугольник Паскаля. Автор труда «Мысли».

Пенлеве, Поль (1863–1933). Видный специалист в анализе XIX–XX вв. Профессор Сорбонны. Изучал дифференциальные уравнения, гравитацию и комплексный анализ. Занимался политикой.

Перельман, Григорий (р. 1966). Выдающийся российский математик. Доказал гипотезу Пуанкаре.

Пирс, Бенджамин (1809–1880). Профессор математики в Гарвардском университете. Работал в области небесной механики, теории чисел, алгебры и философии математики.

Поссель, Рене де (1905–1974). Один из основателей группы Бурбаки во Франции.

Правиц Даг (р. 1936). Создатель одной из первых машинных технологий доказательства теорем.

Пуанкаре, Анри (1854–1912). Один из величайших математиков XX в. Создатель теории динамических систем. Один из отцов топологии. Его имя носит гипотеза Пуанкаре, которую совсем недавно доказал Григорий Перельман.

Радемахер, Ганс (1892–1969). Выдающийся специалист в анализе и теории чисел, Пенсильванский университет. В 1945 г. объявил, что может опровергнуть гипотезу Римана, однако ошибся.

Рамануджан, Сриниваса (1887–1920). Великий математический гений из Индии. Работал с Харди, который открыл его почти случайно, в Кембриджском университете, в основном в теории чисел. Умер молодым по причине нездоровья.

Резерфорд, Эрнест (1871–1937). Выдающийся британский специалист в математической физике. Считается отцом ядерной физики, человеком, расщепившим атом. Получил Нобелевскую премию по химии в 1908 г. Выказывал скептицизм к теории относительности.

Риман, Бернхард (1826–1866). Великий специалист в математическом анализе XIX в. Внес значительный вклад в анализ, действительный и комплексный, и в геометрию. Создал поверхности Римана и геометрию, сыгравшую большую роль в общей теории относительности Эйнштейна. Умер молодым по причине нездоровья.

Савант, Мэрилин вос (р. 1946). Урожденная Мэрилин Мах, популярный газетный колумнист, прославилась тем, что у нее самый высокий IQ в мире. Замужем за Робертом Ярвиком, изобретателем искусственного сердца.

Саймон, Герберт Александер (1916–2001). Один из создателей машины теоретической логики, одной из первых машин, которая могла открывать и создавать математические доказательства.

Сельберг, Атле (1917–2007). Выдающийся норвежский специалист в аналитической теории чисел. Знаменит своим результатом о нулях дзета-функции, элементарным доказательством теоремы о простых числах, а также формулой следа Сельберга.