Jacques Herbrand | |
---|---|
Jacques Herbrand | |
| |
Födelsedatum | 12 februari 1908 [1] |
Födelseort | |
Dödsdatum | 27 juli 1931 [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 .
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] .
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.
Tematiska platser | ||||
---|---|---|---|---|
Ordböcker och uppslagsverk | ||||
|