Эрбран, Жак

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Жак Эрбран
Jacques Herbrand
Herbrand.jpg
Фотография Жака Эрбрана во время последнего похода в горы
Дата рождения:

12 февраля 1908(1908-02-12)[1]

Место рождения:

Париж, Сена, Иль-де-Франс, Франция[2]

Дата смерти:

27 июля 1931(1931-07-27)[2][1] (23 года)

Место смерти:

Сен-Кристоф-ан-Уазан

Страна:

Flag of France.svg Франция

Научная сфера:

математика, математическая логика

Альма-матер:

Парижский университет и Высшая нормальная школа

Научный руководитель:

Эрнест Вессио

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

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

Биография[править | править вики-текст]

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

Примечания[править | править вики-текст]

  1. 1 2 data.bnf.fr: open data platform — 2011.
  2. 1 2 Эрбран Жак / под ред. гл. ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
  3. 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.

Литература[править | править вики-текст]