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

Биография

Окончил Высшую Нормальную школу (1928), защитил докторскую степень с отличием (1930). Как стипендиат рокфеллеровского фонда последние два года жизни провёл в Германии: сначала у фон Неймана в Берлине, затем у Гильберта в Геттинтене.

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

Научный вклад

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

См. также

• Теоремы Эрбрана

Примечания

Литература

• Новосёлов Μ. Μ. // Новая философская энциклопедия : в 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 (недоступная ссылка с 13-05-2013 [3900 дней] — )