Про знаменитості
Жак Ербран: біографія
-
французький математик і логік
Основні праці в області математична логіки і теорія полів класів. Він ввів рекурсивні функції.Теорема Ербранавідноситься до двох різних теорем. Перша теорема є результатом його дисертаційної роботи з теорії доказів, інша - теорема Ербрана-Рібет. Ставлення Ербрана як ейлерова характеристика застосовується в гомологічної алгебри. Його внесок у програму Гільберта полягав у наданні докази для слабкої системи арифметики. У доказі використовувалася вищеназвана теорема Ербрана.
Хоча він загинув у 23 роки, його вже вважали одним з «найбільших математиків молодшого покоління».
