Эрбран, Жак

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

12 февраля 1908({{padleft:1908|4|0}}-{{padleft:2|2|0}}-{{padleft:12|2|0}})

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

Париж

Дата смерти:

27 июля 1931({{padleft:1931|4|0}}-{{padleft:7|2|0}}-{{padleft:27|2|0}}) (23 года)

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

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

Страна:

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

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

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

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

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

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

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

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

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

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

  1. 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.

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