Jacques Herbrand

aus Wikipedia, der freien Enzyklopädie

Jacques Herbrand.
Jacques Herbrand.

Jacques Herbrand (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker. Er promovierte bereits 1929 und verunglückte zwei Jahre darauf während eines Urlaubs in den Alpen.

Nach ihm sind das Herbrand-Modell und der Satz von Herbrand in der Prädikatenlogik benannt. Seine Erkenntnisse in der Prädikatenlogik werden als Herbrand-Theorie zusammengefasst.

[Bearbeiten] siehe auch

[Bearbeiten] Literatur

Jacques Herbrand, Jean van Heijenoort, Warren D. Goldfarb (Hrsg.): Logical Writings; Harvard University Press, Cambridge Massachusetts 1971, SBN 674-53835-8

[Bearbeiten] Weblinks