• Thumbnail for Jacques Herbrand
    Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician. Although he died at age 23, he was already considered one of "the greatest...
    6 KB (603 words) - 16:01, 2 September 2023
  • It is named after Jacques Herbrand. Herbrand structures play an important role in the foundations of logic programming. The Herbrand universe serves as...
    5 KB (495 words) - 11:12, 10 October 2023
  • The Jacques Herbrand Prize (French: Prix Jacques Herbrand) is an award given by the French Academy of Sciences to young researchers (up to 35 years) in...
    4 KB (306 words) - 23:34, 10 January 2024
  • decathlete Jacques Herbrand (1908–1931), French mathematician Markus Herbrand (born 1971), German politician This page lists people with the surname Herbrand. If...
    273 bytes (77 words) - 03:01, 27 December 2022
  • Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). It essentially allows a certain kind of reduction...
    5 KB (787 words) - 13:44, 16 October 2023
  • terms in its Herbrand universe. These two concepts are named after Jacques Herbrand. Term algebras also play a role in the semantics of abstract data types...
    14 KB (2,175 words) - 08:37, 5 October 2023
  • an infinite number of such sets to check. Herbrand interpretations are named after Jacques Herbrand. Herbrand structure Interpretation (logic) Interpretation...
    2 KB (205 words) - 12:35, 10 October 2023
  • Thumbnail for Yasmine Amhis
    a French-Algerian particle physicist. In 2016, she was awarded the Jacques Herbrand Prize. She is the granddaughter of the Algerian poet and writer Djoher...
    7 KB (507 words) - 12:25, 2 August 2024
  • The Herbrandization of a logical formula (named after Jacques Herbrand) is a construction that is dual to the Skolemization of a formula. Thoralf Skolem...
    4 KB (591 words) - 17:35, 15 April 2024
  • at Princeton University. 2014 - Grand Prix Jacques Herbrand de l’Académie des sciences (Jacques Herbrand Prize) 2016 - CNRS Bronze medal 2021 - Fellow...
    7 KB (418 words) - 14:48, 1 April 2024