Эрбран, Жак

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Жак Эрбран
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 года)

Страна:

Франция

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

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

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

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

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

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

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

  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 9027701768.
  2. Jacques Herbrand // Википедия на английском языке (лицензия GFDL; история правок источника).

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