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

Бейкер, Х. Ф. (1866–1956). Историк математики, в частности, эксперт по Дж. Дж. Сильвестру.

Беркли, Джордж, епископ (1685–1753). Великий философ XVIII в. Специалист в метафизике и эпистемологии. Известен как критик математического анализа Ньютона.

Берри, Клиффорд (1918–1963). Один из создателей первого компьютера ABC.

Биркгофф, Джордж (1884–1944). Один из первых видных американских математиков. Известен своими работами по последней теореме Пуанкаре и доказательством общих эргодических теорем.

Бишоп, Эррет (1928–1983). Выдающийся специалист по математическому анализу XX в. Известен как отец конструктивного анализа.

Бойяи, Янош (1802–1860). Математик, один из создателей неевклидовой геометрии.

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

Боуз, Амар (1929–2013). Профессор электрической инженерии в MIT. Известен как создатель акустических систем BOSE.

Браге, Тихо (1546–1601). Учитель Иоганна Кеплера и выдающийся астроном. Собрал данные, которые позволили открыть три закона Кеплера.

Бранж, Луи де (р. 1932). Известный американский математик XX в. Знаменит тем, что доказал гипотезу Бибербаха.

Брауэр, Лёйтзен Эгберт Ян (1881–1966). Видный тополог XX в. Доказал теорему Брауэра о неподвижной точке, которую позднее отверг из соображений интуиционизма.

Бэббидж, Чарльз (1791–1871). Пионер в теории вычислительных машин. Изобретатель «аналитической машины». Выдвинул идею хранения компьютерных команд на карточках. Дочь лорда Байрона Августа программировала на машине Бэббиджа.

Вайнберг, Стивен (р. 1933). Видный американский физик. Получил Нобелевскую премию за изучение единого подхода к слабым взаимодействиям и электромагнитному взаимодействию между элементарными частицами.

Валле Пуссен, Шарль Жан Густав Николя барон де ла (1866–1962). Выдающийся специалист по анализу конца XIX и начала XX в. Один из тех, кто доказал теорему о простых числах. Первый и единственный обладатель медали Миттаг-Леффлера.

Ван Хао (1921–1995). Создатель одной из самых первых машин для доказательства теорем.

Варден, Бартель Леендерт ван дер (1903–1996). Видный датский алгебраист. Ученик Эми Нетер. Написал классический учебник алгебры. Доказал важный результат в теории Рамсея.

Вейерштрасс, Карл (1815–1897). Выдающийся немецкий специалист по анализу XIX в. Внес значительный вклад и в действительный, и в комплексный анализ. Особенно знаменит тем, что смог построить некоторые важные примеры. На его теоремы часто ссылаются.

Вейль, Андре (1906–1998). Один из величайших математиков XX в. Постоянный сотрудник Института перспективных исследований. Сделал значительный вклад в алгебраическую геометрию, теорию чисел, инвариантные интегралы, теорию многообразий Келлера и многие другие области математики. Его книги очень влиятельны.

Вейль, Герман (1885–1955). Выдающийся немецкий математик XX в. Особенно знамениты его работы по алгебре и теории инвариантов. Постоянный сотрудник Института перспективных исследований.

Винер, Норберт (1894–1964). Выдающийся американский специалист по анализу. Ученик Литлвуда. Много лет работал в MIT. Сделал значительный вклад в анализ Фурье, стохастические процессы. Придумал слово «кибернетика».

Виноградов, Иван Матвеевич (1891–1983). Один из отцов современной аналитической теории чисел. Известен анализом экспоненциальных сумм. На протяжении 49 лет руководил Математическим институтом имени Стеклова и был выдающимся лидером в советской математике.

Возняк, Стив (р. 1950). Сооснователь (наряду со Стивом Джобсом) компании «Apple». Изобретатель чипа памяти на 256K. Возняк был «техническим талантом», запустившим в плавание «Apple».

Вольфрам, Стивен (р. 1959). Вундеркинд в математике и физике. Самый молодой получатель стипендии Мак-Артура. Создатель программного обеспечения Mathematica. Автор книги «A New Kind of Science».

Галуа, Эварист (1811–1832). Знаменитый французский математический гений, умерший молодым. Создатель теории групп и теории Галуа.

Гамильтон, Уильям Роуэн (1805–1865). Видный британский физик, астроном и математик. Знаменит тем, что переформулировал Ньютонову механику. Гамильтониан назван в его честь.

Гарфилд, Джеймс (1831–1881). Президент Соединенных Штатов, построил много доказательств теоремы Пифагора.