Erbran, Jacques

Jacques Herbrand
Jacques Herbrand

Fotografie Jacquese Herbranda během poslední túry v horách
Datum narození 12. února 1908( 1908-02-12 ) [1]
Místo narození
Datum úmrtí 27. července 1931( 1931-07-27 ) [2] [1] (ve věku 23 let)
Místo smrti
Země
Vědecká sféra matematika , matematická logika
Alma mater
vědecký poradce Ernest Vessio
Ocenění a ceny Cena Francoeur [d] ( 1931 )
 Mediální soubory na Wikimedia Commons

Jacques Herbrand ( fr.  Jacques Herbrand ; 12. února 1908 , Paříž  – 27. července 1931 , La Berard , Isère ) byl francouzský matematik a logik .

Životopis

Vystudoval Vyšší normální školu (1928), doktorát obhájil s vyznamenáním (1930). Jako člen Rockefellerovy nadace strávil poslední dva roky svého života v Německu: nejprve u von Neumanna v Berlíně, poté u Hilberta v Göttingenu.

Zemřel při nehodě v Alpách. Přestože zemřel ve 23 letech, byl již považován za jednoho z „největších matematiků mladé generace“ [3] .

Vědecké příspěvky

Hlavní práce z oblasti matematické logiky a teorie třídního pole . Zavedl rekurzivní funkce. Nejznámější jsou dvě Herbrandovy věty: Herbrandův teorém , který je výsledkem jeho disertační práce o teorii důkazů , a Herbrand-Ribetův teorém . Herbrandův vztah jako Eulerova charakteristika je aplikován v homologické algebře . Jeho příspěvek k Hilbertovu programu měl poskytnout důkaz pro slabý systém aritmetiky. Při důkazu byla použita výše zmíněná Herbrandova věta.

Viz také

Poznámky

  1. 1 2 3 4 5 6 7 MacTutor Archiv historie matematiky
  2. 1 2 Erbran Jacques // Velká sovětská encyklopedie : [ve 30 svazcích] / ed. A. M. Prochorov - 3. vyd. — M .: Sovětská encyklopedie , 1969.
  3. Chevalley, Claude; Lautman, Albert (1971). Životopisná poznámka o Jacquesu Herbrandovi. V Goldfarb, Warren D.; Van Heijenoort, Jean. Logické spisy. Berlín: Springer. str. 21-23. ISBN 90-277-0176-8 .

Literatura