Эрбран, Жак

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Жак Эрбран»)
Перейти к навигации Перейти к поиску
Жак Эрбран
фр. Jacques Herbrand
Фотография Жака Эрбрана во время последнего похода в горы
Фотография Жака Эрбрана во время последнего похода в горы
Дата рождения 12 февраля 1908(1908-02-12)[1]
Место рождения
Дата смерти 27 июля 1931(1931-07-27)[2][1] (23 года)
Место смерти
Страна
Род деятельности математик, философ
Научная сфера теория доказательств и математическая логика
Альма-матер
Научный руководитель Эрнест Вессио
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Жак Эрбра́н[3] (фр. Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, Ла-Берард, Изер) — французский математик и логик.

Окончил Высшую Нормальную школу (1928), защитил докторскую степень с отличием (1930). Как стипендиат рокфеллеровского фонда последние два года жизни провёл в Германии: сначала у фон Неймана в Берлине, затем у Гильберта в Геттинтене.

Погиб в результате несчастного случая в альпийских горах. Хотя он погиб в 23 года, его уже считали одним из «величайших математиков младшего поколения»[4].

Научный вклад

[править | править код]

Основные труды в области математической логики и теории полей классов. Он ввёл рекурсивные функции. Наиболее известны две теоремы Эрбрана: теорема Эрбрана[англ.], которая является результатом его диссертационной работы по теории доказательств, и теорема Эрбрана — Рибета[англ.]. Отношение Эрбрана как эйлерова характеристика применяется в гомологической алгебре. Его вклад в программу Гильберта состоял в предоставлении доказательства для слабой системы арифметики. В доказательстве использовалась вышеназванная теорема Эрбрана.

Примечания

[править | править код]
  1. 1 2 3 4 5 6 7 Архив по истории математики Мактьютор — 1994.
  2. 1 2 Эрбран Жак // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
  3. БСЭ, 1978.
  4. Chevalley, Claude; Lautman, Albert (1971). «Biographical Note on Jacques Herbrand». In Goldfarb, Warren D.; Van Heijenoort, Jean. Logical Writings. Berlin: Springer. pp. 21-23. ISBN 90-277-0176-8.

Литература

[править | править код]