Жак Эрбран

Жак Эрбран
Эрбран летом 1931 года, фотография Наташи Артин Брансуик.
Рожденный	( 1908-02-12 ) 12 февраля 1908 г. Париж, Франция
Умер	27 июля 1931 г. (27 июля 1931) (23 года) Ла Берард , Изер, Франция
Национальность	Французский
Альма-матер	Высшая нормальная школа Парижский университет (доктор философии, 1930 г.)
Известный	Теорема Эрбрана Теорема Эрбрана – Рибе. Коэффициент Эрбрана
Научная карьера
Поля	Математическая логика , теория полей классов
Диссертация	Исследования по теории доказательств   (1930)
Докторантура	Эрнест Вессио

Жак Эрбран (12 февраля 1908 — 27 июля 1931) — французский математик . уже считали его одним из «величайших математиков молодого поколения» Хотя он умер в 23 года, его профессора Гельмут Хассе и Рихард Курант .

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

Биография

Эрбран получил докторскую степень в Высшей нормальной школе в Париже под руководством Эрнеста Вессио в 1929 году. Однако он пошел в армию в октябре 1929 года и поэтому не защитил диссертацию в Сорбонне до следующего года. Он был удостоен стипендии Рокфеллера , которая позволила ему учиться в Германии в 1930–1931 годах, сначала у Джона фон Неймана в Берлине , затем в июне у Эмиля Артина в Гамбурге и, наконец, у Эмми Нётер в Гёттингене .

В начале 1931 года он представил свое основное исследование теории доказательств и общих рекурсивных функций «О » непротиворечивости арифметики . ) невозможность доказать непротиворечивость теории, используя только саму теорию. Эрбранд изучил эссе Гёделя и написал приложение к своему собственному исследованию, объясняя, почему результат Гёделя не противоречит его собственному. «О непротиворечивости арифметики» опубликовано посмертно.

Смерть

В июле 1931 года Эрбран занимался альпинизмом во французских Альпах с двумя друзьями и разбился насмерть в гранитных горах массива Экрен .

Цитата

«Жак Эрбран возненавидел бы Бурбаки », — сказал французский математик Клод Шевалле , цитируемый Мишель Шушан, «Николя Бурбаки: Факты и легенды» , Éditions du Choix, 1995.

Библиография

• Клаус-Петер Вирт, Йорг Зикманн, Кристоф Бенцмюллер и Серж Отексье (2009). Лекции о Жаке Эрбране как логике (отчет SEKI). ДФКИ . arXiv : 0902.4682 .

Основная литература:

• 1967. Жан ван Хейеноорт (редактор), От Фреге до Гёделя: справочник по математической логике, 1879–1931 . Кембридж, Массачусетс: Гарвардский университет. Нажимать.
  • 1930. «Исследования по теории доказательств», 525–81.
  • 1931. «О непротиворечивости арифметики», 618–28.
• 1968. Жан ван Хейеноорт (редактор), Жак Эрбран, Логические сочинения . Париж: Press Universitaires de France.
• 1971. Уоррен Дэвид Гольдфарб (перевод, редактор), Логические сочинения Жака Эрбрана Кембридж, Массачусетс: Издательство Гарвардского университета.

См. также

• Интерпретация Эрбрана
• Структура Эрбренд
• Премия Эрбрана - Конференции по автоматизированному дедукции за автоматический дедукт.
• Приз Жака Эрбрана - Французской академии наук за математику и физику.
• Гербрандизация - сохраняющая достоверность нормальная форма формулы, двойственная сколемизации.
• Теорема Эрбрана о группах ветвления
• Ролло Дэвидсон (1944–1970) – еще один математик, погибший в результате несчастного случая при восхождении на гору.
• (Гёдель-Эрбранд) тезис о вычислимости : до Чёрча и Тьюринга, в 1933 году вместе с Куртом Гёделем , они создали формальное определение класса, называемого общерекурсивными функциями .

Внешние ссылки

• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Жак Эрбран» , Архив истории математики MacTutor , Университет Сент-Эндрюс