Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Жак Ербран (фр. Jacques Herbrand, 12 лютого 1908 — 27 липня 1931) — французький математик. Хоча він помер у 23 роки, він вважався одним з «найвидатніших математиків молодшого покоління» його професорами були Гельмут Гассе і Ріхард Курант.
| Жак Ербран | |
|---|---|
| англ. Jacques Herbrand | |
 | |
| Народився | Народився 12 лютого 1908 Париж, Франція |
| Помер | Помер 27 липня 1931 (у віці 23) [fr] ·d[1] |
| Країна |  Франція |
| Національність | Француз |
| Діяльність | математик, філософ |
| Alma mater | Вища нормальна школа (Париж) |
| Галузь | Математика |
| Науковий керівник | Ернест Весс |
| Відомий завдяки: | теорема Ербрана, [en],[en] |
| Нагороди | d (1931) |
 Жак Ербран у Вікісховищі | |
Він працював над математичною логікою та теорією полів класів. Він увів поняття функціональної рекурсії. Теорема Ербрана стосується двох зовсім різних теорем. Перша теорема є результатом його дисертаційної роботи з теорії доказів, а інша половина — [en]. [en], як ейлерова характеристика, використовується в гомологічній алгебрі. Його внесок в програму Гільберта стосується основ математики. Ним наведено конструктивний доказ несуперечності слабкої системи арифметики. Доказ використовує вищезгадану, теорему-доказ Ербрана.
Біографія
Ербран отримав свій докторський ступінь у Вищій нормальній школі в Парижі під керівництвом Ернеста Весса в 1929. Він вступив до армії в жовтні 1929, однак, так і не захистив кандидатську дисертацію в Сорбонні до наступного року. Отримав нагороду Фонду Рокфеллера, що дозволило йому вчитися в Німеччині в 1931, спочатку з Джоном фон Нейманом в Берліні, а потім у червні з Еміль Артін в Гамбурзі, і, нарешті, з Еммі Нетер в Геттінгені.
На початку 1931 року Ербран представив свою основні дослідження теорії доведень та загальних рекурсивних функцій в роботі «Про несуперечності арифметики». У той час як есе було на розгляді, Гедель у листі «Про формальну нерозв'язність тверджень Principia Mathematica та пов'язаних систем I» оголосив про неможливість формалізації доказу теорії. Ербран вивчив статтю Геделя та написав додаток до свого дослідження, в якому пояснив, чому результати Геделя не суперечать його власним. У липні того ж року, при сходженні у французьких Альпах з двома друзями, він насмерть розбився в гранітних горах [en]. «Несуперечності арифметики» було опубліковано посмертно.
Цитати
«Жак Ербран ненавидів би Бурбак» сказав французький математик [en], процитовано в Мішель Чочан «Ніколя Бурбакі факти і легенди», Éditions du choix, 1995.
Список літератури
Первинна література:
- 1930. «Дослідження в теорії доказів», 525-81.
- 1931. «Про несуперечність арифметики», 618-28.
- 1967. Жан Хейенорт (вид.), Від Фреге до Геделя: Збірник матеріалів з математичної логіки, 1879—1931, Кембридж, штат Массачусетс: Harvard Univ. Press.
- 1968. Жан Хейенорт (ред.), Жак Ербран, Логічні твори Париж: Presses Universitaires de France.
- 1971. Воррен Девід Гольдфарб (Пер. під ред.), Логічні твори Жака Ербрана, Кембридж, штат Массачусетс: Harvard University Press.
Див. також
Джерела
- Архів історії математики Мактьютор — 1994.
- Chevalley, Claude; Lautman, Albert (1971). Biographical Note on Jacques Herbrand. У Goldfarb, Warren D.; Van Heijenoort, Jean (ред.). Logical Writings. Berlin: Springer. с. 21—23. ISBN .
Посилання
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Жак Ербран в архіві MacTutor (англ.)
- Жак Ербран(англ.) в проєкті «Математична генеалогія».
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Zhak Erbran fr Jacques Herbrand 12 lyutogo 1908 27 lipnya 1931 francuzkij matematik Hocha vin pomer u 23 roki vin vvazhavsya odnim z najvidatnishih matematikiv molodshogo pokolinnya jogo profesorami buli Gelmut Gasse i Rihard Kurant Zhak Erbranangl Jacques HerbrandFotografiya Zhaka Erbrana pid chas jogo ostannoyi poyizdki v gori Fotografiya Zhaka Erbrana pid chas jogo ostannoyi poyizdki v gori NarodivsyaNarodivsya 12 lyutogo 1908 Parizh FranciyaPomerPomer 27 lipnya 1931 u vici 23 fr d 1 Krayina FranciyaNacionalnistFrancuzDiyalnistmatematik filosofAlma materVisha normalna shkola Parizh GaluzMatematikaNaukovij kerivnikErnest VessVidomij zavdyaki teorema Erbrana en en Nagorodid 1931 Zhak Erbran u Vikishovishi Vin pracyuvav nad matematichnoyu logikoyu ta teoriyeyu poliv klasiv Vin uviv ponyattya funkcionalnoyi rekursiyi Teorema Erbrana stosuyetsya dvoh zovsim riznih teorem Persha teorema ye rezultatom jogo disertacijnoyi roboti z teoriyi dokaziv a insha polovina en en yak ejlerova harakteristika vikoristovuyetsya v gomologichnij algebri Jogo vnesok v programu Gilberta stosuyetsya osnov matematiki Nim navedeno konstruktivnij dokaz nesuperechnosti slabkoyi sistemi arifmetiki Dokaz vikoristovuye vishezgadanu teoremu dokaz Erbrana BiografiyaErbran otrimav svij doktorskij stupin u Vishij normalnij shkoli v Parizhi pid kerivnictvom Ernesta Vessa v 1929 Vin vstupiv do armiyi v zhovtni 1929 odnak tak i ne zahistiv kandidatsku disertaciyu v Sorbonni do nastupnogo roku Otrimav nagorodu Fondu Rokfellera sho dozvolilo jomu vchitisya v Nimechchini v 1931 spochatku z Dzhonom fon Nejmanom v Berlini a potim u chervni z Emil Artin v Gamburzi i nareshti z Emmi Neter v Gettingeni Na pochatku 1931 roku Erbran predstaviv svoyu osnovni doslidzhennya teoriyi doveden ta zagalnih rekursivnih funkcij v roboti Pro nesuperechnosti arifmetiki U toj chas yak ese bulo na rozglyadi Gedel u listi Pro formalnu nerozv yaznist tverdzhen Principia Mathematica ta pov yazanih sistem I ogolosiv pro nemozhlivist formalizaciyi dokazu teoriyi Erbran vivchiv stattyu Gedelya ta napisav dodatok do svogo doslidzhennya v yakomu poyasniv chomu rezultati Gedelya ne superechat jogo vlasnim U lipni togo zh roku pri shodzhenni u francuzkih Alpah z dvoma druzyami vin nasmert rozbivsya v granitnih gorah en Nesuperechnosti arifmetiki bulo opublikovano posmertno Citati Zhak Erbran nenavidiv bi Burbak skazav francuzkij matematik en procitovano v Mishel Chochan Nikolya Burbaki fakti i legendi Editions du choix 1995 Spisok literaturiPervinna literatura 1930 Doslidzhennya v teoriyi dokaziv 525 81 1931 Pro nesuperechnist arifmetiki 618 28 1967 Zhan Hejenort vid Vid Frege do Gedelya Zbirnik materialiv z matematichnoyi logiki 1879 1931 Kembridzh shtat Massachusets Harvard Univ Press 1968 Zhan Hejenort red Zhak Erbran Logichni tvoriParizh Presses Universitaires de France 1971 Vorren Devid Goldfarb Per pid red Logichni tvori Zhaka Erbrana Kembridzh shtat Massachusets Harvard University Press Div takozhTeorema Erbrana Teorema pro dedukciyuDzherelaArhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Chevalley Claude Lautman Albert 1971 Biographical Note on Jacques Herbrand U Goldfarb Warren D Van Heijenoort Jean red Logical Writings Berlin Springer s 21 23 ISBN 90 277 0176 8 PosilannyaDzhon Dzh O Konnor ta Edmund F Robertson Zhak Erbran v arhivi MacTutor angl Zhak Erbran angl v proyekti Matematichna genealogiya