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
Term algebra (redirect from Herbrand Universe)
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
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
Herbrandization (redirect from Herbrand normal form)
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