Jacques Herbrand

Från Wikipedia
Hoppa till navigering Hoppa till sök
Jacques Herbrand
J Herbrand 1931.jpg
Jacques Herbrand 1931
Född12 februari 1908[1][2]
Paris[3]
Död27 juli 1931[3][1][2] (23 år)
Saint-Christophe-en-OisansFrankrike
MedborgarskapFrankrike
Utbildad vidvetenskapsfakulteten i Universitetet i Paris
École normale supérieure
Universitetet i Paris[4] Arbcom ru editing.svg
SysselsättningMatematiker, filosof
UtmärkelserPrix Francoeur (1931)
Redigera Wikidata

Jacques Herbrand, född 12 februari 1908 i Paris, död 27 juli 1931 i Saint-Christophe-en-Oisans, var en fransk logiker och matematiker.

Biografi[redigera | redigera wikitext]

Herbrand gjorde fundamentala insatser inom formell bevisteori i såväl satslogik som predikatlogik och var framstående inom den abstrakta algebran. En mängd satser inom dessa områden bär Herbrands namn och han var den förste, som publicerade ett bevis för det så kallade deduktionsteoremet 1930.

Herbrand konstruerade 1929 ett bevis för konsistensen hos ett axiomsystem för aritmetiken. Han introducerade även generella rekursiva funktioner, vilka har kommit att få en fundamental betydelse inom datavetenskap.

Herbrand studerade vid École normale supérieure i Paris och senare på ett stipendium i Berlin och Göttingen i Tyskland, där han som lärare hade bland andra John von Neumann och Emmy Noether.

Herbrand omkom vid en bergsbestigningsolycka i franska alperna vid endast 23 års ålder.

Bland Herbrands arbeten märks bland annat Travaux de la société des sciences et des lettres de Varsovie.

Källor[redigera | redigera wikitext]

  • From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Jean van Heijenoort, Harvard University Press, 1967.
  1. ^ [a b] Bibliothèque nationale de France, data.bnf.fr : öppen dataplattform, läs online, läst: 10 oktober 2015, licens: öppen licens, (Källa från Wikidata)
  2. ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017, (Källa från Wikidata)
  3. ^ [a b] Aleksandr M. Prochorov (red.), ”Эрбран Жак”, Большая советская энциклопедия : [в 30 т.], tredje utgåvan, Большая Российская энциклопедия, 1969, läst: 28 september 2015, (Källa från Wikidata)
  4. ^ Mathematics Genealogy Project, (Källa från Wikidata)