Jacques Herbrand was a French mathematician and logician, known for his significant contributions to mathematical logic, particularly in the areas of proof theory, model theory, and the foundations of mathematics. He was born on December 20, 1908, and died tragically young at the age of 27 in a car accident in 1931. Herbrand is especially recognized for Herbrand's theorem and Herbrand's universes, which are crucial in the context of first-order logic.
Articles by others on the same topic
There are currently no matching articles.