Jacques Herbrand (1908 – 1931 d.C) (12 фев 1908 г. – 27 июл 1931 г.)
Описание:
Jacques Herbrand foi um matemático francês que nasceu em Paris, França e morreu em La Bérarde, Isêre, França. Seustrabalhos incluíam estudos e contribuições para a lógica matemática e a teoria dos corpos de classes. O teorema de
Herbrand é o resultado da sua tese de doutorado em teoria de demonstração, e cujo enunciado é apresentado na figura
21. Enquanto seus ensaios estavam sendo examinados sobre “sentenças formalmente indecidíveis do Principia
Mathematica”, Gödel anunciou a impossibilidade de formalizar a demonstração de consistência.
Добавлено на ленту времени:
Дата:
12 фев 1908 г.
27 июл 1931 г.
~ 23 years