Эрбран, Жак
| Жак Эрбран | |
|---|---|
| Jacques Herbrand | |
 Фотография Жака Эрбрана во время последнего похода в горы | |
| Научная сфера | математика, математическая логика |
Жак Эрбран (фр. Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, Ла-Берард, Изер) — французский математик и логик.
Биография
Окончил Высшую Нормальную школу (1928), защитил докторскую степень с отличием (1930). Как стипендиат рокфеллеровского фонда последние два года жизни провёл в Германии: сначала у фон Неймана в Берлине, затем у Гильберта в Геттинтене.
Погиб в результате несчастного случая в альпийских горах. Хотя он погиб в 23 года, его уже считали одним из «величайших математиков младшего поколения»[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.
Литература
- Новосёлов Μ. Μ. Эрбран // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- Эрбран, Жак // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
- J. Dubucs, P. Egré, " Jacques Herbrand ", in M. Bitbol, J. Gayon, Cent ans d’épistémologie française, Paris, Presses Universitaires de France. Voir [1] (недоступная ссылка с 13-05-2013 [4808 дней] — история)