Erbran, Jacques

Jacques Herbrand
Jacques Herbrand

Foto af Jacques Herbrand under den sidste vandretur i bjergene
Fødselsdato 12. februar 1908( 12-02-1908 ) [1]
Fødselssted
Dødsdato 27. juli 1931( 27-07-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 .

Biografi

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] .

Videnskabelige bidrag

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.

Se også

Noter

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

Litteratur