Interested Article - Эрбран, Жак

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

Биография

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

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

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

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

См. также

Примечания

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

Литература

Источник —

Same as Эрбран, Жак