Erbran, Jacques

Jacques Herbrand
Jacques Herbrand

Foto på Jacques Herbrand under den sista vandringen i bergen
Födelsedatum 12 februari 1908( 1908-02-12 ) [1]
Födelseort
Dödsdatum 27 juli 1931( 1931-07-27 ) [2] [1] (23 år gammal)
En plats för döden
Land
Vetenskaplig sfär matematik , matematisk logik
Alma mater
vetenskaplig rådgivare Ernest Vessio
Utmärkelser och priser Francoeur-priset [d] ( 1931 )
 Mediafiler på Wikimedia Commons

Jacques Herbrand ( fr.  Jacques Herbrand ; 12 februari 1908 , Paris  - 27 juli 1931 , La Berard , Isère ) var en fransk matematiker och logiker .

Biografi

Han tog examen från Higher Normal School (1928), försvarade sin doktorsexamen med utmärkelser (1930). Som medlem i Rockefeller Foundation tillbringade han de två sista åren av sitt liv i Tyskland: först hos von Neumann i Berlin, sedan hos Hilbert i Göttingen.

Han dog i en olycka i Alperna. Även om han dog vid 23, ansågs han redan vara en av "den yngre generationens största matematiker" [3] .

Vetenskapliga bidrag

Huvudarbetena inom området matematisk logik och klassfältteori . Han introducerade rekursiva funktioner. Herbrands två teorem är mest kända: Herbrands theorem , som är resultatet av hans avhandlingsarbete om bevisteori , och Herbrand-Ribet theorem . Herbrand-relationen som en Euler-egenskap tillämpas i homologisk algebra . Hans bidrag till Hilberts program var att ge ett bevis för det svaga aritmetiska systemet. Ovannämnda Herbrand-sats användes i bevisningen.

Se även

Anteckningar

  1. 1 2 3 4 5 6 7 MacTutor History of Mathematics Archive
  2. 1 2 Erbran Jacques // Great Soviet Encyclopedia : [i 30 volymer] / ed. A. M. Prokhorov - 3:e uppl. — M .: Soviet Encyclopedia , 1969.
  3. Chevalley, Claude; Lautman, Albert (1971). Biografisk anteckning om Jacques Herbrand. I Goldfarb, Warren D.; Van Heijenoort, Jean. Logiska skrifter. Berlin: Springer. pp. 21-23. ISBN 90-277-0176-8 .

Litteratur