Jacques Herbrand | |
---|---|
Jacques Herbrand | |
| |
Fødselsdato | 12. februar 1908 [1] |
Fødselssted | |
Dødsdato | 27. juli 1931 [2] [1] (23 år) |
Et dødssted | |
Land | |
Videnskabelig sfære | matematik , matematisk logik |
Alma Mater |
|
videnskabelig rådgiver | Ernest Vessio |
Præmier og præmier | Francoeur-prisen [d] ( 1931 ) |
Mediefiler på Wikimedia Commons |
Jacques Herbrand ( fr. Jacques Herbrand ; 12. februar 1908 , Paris - 27. juli 1931 , La Berard , Isère ) var en fransk matematiker og logiker .
Han dimitterede fra Higher Normal School (1928), forsvarede sin doktorgrad med æresbevisninger (1930). Som fellow i Rockefeller Foundation tilbragte han de sidste to år af sit liv i Tyskland: først hos von Neumann i Berlin, siden hos Hilbert i Göttingen.
Han døde i en ulykke i Alperne. Selvom han døde som 23-årig, blev han allerede betragtet som en af de "største matematikere i den yngre generation" [3] .
Hovedværkerne inden for matematisk logik og klassefeltteori . Han introducerede rekursive funktioner. Herbrands to sætninger er mest kendte: Herbrands -sætning , som er resultatet af hans afhandlingsarbejde om bevisteori , og Herbrand-Ribet-sætningen . Herbrand-relationen som en Euler-karakteristik anvendes i homologisk algebra . Hans bidrag til Hilberts program var at give et bevis for det svage aritmetiske system. Den ovennævnte Herbrand-sætning blev brugt i beviset.
Tematiske steder | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|