1.Previous
3.Next

used in homological algebra. He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency proof for a weak system of arithmetic. The proof uses the above-mentioned, proof-theoretic Herbrand's theorem.

Biography

Herbrand finished his doctorate at École Normale Supérieure

1.Previous
3.Next