Эрбран, Жак

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

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

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

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

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

См. также[править | править код]

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

  1. 1 2 data.bnf.fr: платформа открытых данных — 2011.
  2. 1 2 Архив по истории математики Мактьютор
  3. 1 2 Эрбран Жак // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
  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.

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

  • Эрбран, Жак // Большая советская энциклопедия : [в 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 [1868 дней] — история)