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...
7 KB (723 words) - 20:34, 28 October 2024
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
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
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 (331 words) - 10:12, 1 October 2024
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
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 (511 words) - 00:49, 22 October 2024
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
work associated with the Fourier Series. She also took the Grand Prix Jacques Herbrand [fr] from the French Academy of Sciences in 2011. In 2015, Nalini Anantharaman...
8 KB (538 words) - 07:27, 2 July 2024
European Mathematical Society prizes, and in 2009 he won the Grand Prix Jacques Herbrand from the French Academy of Sciences. In 2017 he gave the Łojasiewicz...
19 KB (1,399 words) - 11:58, 16 October 2024