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

Серр, Жан-Пьер (р. 1926). Один из величайших алгебраистов и геометров XX в. Сделал значительный вклад в алгебраическую геометрию, алгебраическую топологию, теорию чисел и в другие области. Получил медаль Филдса, Абелевскую премию и другие награды.

Сильвестр, Джеймс Джозеф (1814–1897). Выдающийся алгебраист XIX в. Сыграл важную роль в развитии математики в университете Джона Хопкинса и в Америке в целом. Основатель Американского математического журнала.

Стоун, Маршалл (1903–1989). Выдающийся американский специалист в анализе XX в. Его имя носит теорема Стоуна—Вейерштрасса. Декан математического факультета в Чикагском университете.

Тарский, Альфред (1902–1983). Выдающийся польский логик. Много лет работал в калифорнийском университете в Беркли. Сыграл важную роль в развитии современной логики. Известен парадоксом Банаха—Тарского.

Тьюринг, Алан (1912–1954). Очень многие его считают одним из величайших математических гениев XX в. Он придумал машину Тьюринга и высказал основополагающие идеи по разработке ранних компьютеров. Во время Второй мировой войны выполнял важные криптографические работы. Умер молодым, отравившись.

Уильямс, Фредерик (1911–1977). Принимал участие в разработке системы памяти одного из первых компьютеров, известной как трубка Уильямса.

Уитни, Хасслер (1907–1989). Знаменитый специалист в геометрическом анализе XX в. Доказал важные результаты о многообразиях и продолжении функций. Постоянный сотрудник Института перспективных исследований.

Фейнман, Ричард (1918–1988). Знаменитый американский физик. Лауреат Нобелевской премии. Автор диаграмм Фейнмана и многих других важных идей в квантовой теории.

Феллер, Уильям (1906–1970). Виднейший специалист в теории вероятностей XX в. Профессор Принстонского университета.

Ферма, Пьер де (1601–1665). Величайший математик-любитель всех времен. Знаменитый член высшего суда в Тулузе, Франция. Видный специалист в теории чисел, автор Великой теоремы Ферма.

Фибоначчи (Леонардо Пизанский) (1170–1250). Знаменитый математик. Придумал последовательность Фибоначчи.

Франклин, Филип (1898–1965). Видный специалист по анализу Фурье. Протеже Норберта Винера.

Фреге, Готтлоб (1848–1925). Видимо, величайший логик XIX в. Свое письмо о знаменитом парадоксе Расселла Бертран Расселл направил именно ему.

Фурье, Жан Батист Жозеф (1768–1830). Отец рядов Фурье и аналитической теории теплоты. Видный специалист в математической физике.

Халмош, Пол Ричард (1916–2006). Выдающийся специалист по математическому анализу. Замечательный математический писатель и учитель. Автор многих знаменитых математических текстов.

Харди, Годфри Харольд (1877–1947). Великий специалист по математическому анализу XX в. Сотрудник Джона Литлвуда. Учитель С. Рамануджана.

Хивуд, Перси (1861–1955). Знаменит тем, что нашел ошибку в доказательстве Кемпа теоремы о четырех красках и сформулировал гипотезу Хивуда.

Холлерит, Герман (1860–1929). Создатель одной из первых вычислительных машин. Отец компании «International Business Machines» (IBM).

Цузе, Конрад (1910–1995). Создатель первого свободно программируемого компьютера Z1.

Шевалле, Клод (1909–1984). Видный американский специалист в геометрическом анализе XX в. Развил современную алгебраическую геометрию. Пионер в теории групп Ли.

Шовене, Уильям (1820–1870). Основатель Военно-морской академии США в Аннаполисе. А также математического факультета в Вашингтонском университете в Сент-Луисе. Был ректором Вашингтонского университета. Выполнил расчеты для моста Идса.

Шрёдингер, Эрвин (1887–1961). Один из отцов квантовой теории. Выдающийся австрийский физик. Широко известны волновое уравнение Шрёдингера и кот Шрёдингера.

Штейнгауз, Гуго (1887–1972). Выдающийся специалист в анализе XX в. Математический дедушка Энтони Зигмунда. Открыл принцип равномерной ограниченности и важные идеи в теории рядов Фурье.

Эйкен, Говард (1900–1973). Один из пионеров в разработке компьютеров. Создатель Гарвардской машины Марк I.

Эйлер, Леонард (1707–1783). Один из величайших математиков всех времен. Собрание его сочинений занимает 70 томов. Работал во всех областях математики, а также в физике, механике и инженерии.

Эккерт, Джон Преспер (1919–1995). Один из создателей компьютера ENIAC в Пенсильванском университете.