Jacques Herbrand

E46730

human logician mathematician

Jacques Herbrand was a French mathematician and logician known for his foundational contributions to proof theory and mathematical logic, particularly Herbrand's theorem.

Jump to: Statements Referenced by

Statements (46)

Predicate	Object
instanceOf	human ⓘ logician ⓘ mathematician ⓘ
areaOfInfluence	automated theorem proving ⓘ model theory ⓘ proof calculi ⓘ
causeOfDeath	mountaineering accident ⓘ
conceptNamedAfter	Herbrand base ⓘ Herbrand interpretation ⓘ surface form: Herbrand structure Herbrand universe ⓘ
contributedTo	Hilbert’s program ⓘ surface form: Hilbert's program
countryOfCitizenship	France ⓘ
dateOfBirth	1908-02-12 ⓘ
dateOfDeath	1931-07-27 ⓘ
developedConcept	Herbrand disjunction ⓘ Herbrand interpretation ⓘ
educatedAt	University of Paris NERFINISHED ⓘ École Normale (Paris) ⓘ surface form: École Normale Supérieure
era	20th-century logic ⓘ 20th-century philosophy of mathematics ⓘ
fieldOfWork	foundations of mathematics ⓘ mathematical logic ⓘ proof theory ⓘ
gender	male ⓘ
influenced	Alan Robinson ⓘ Gerhard Gentzen ⓘ Kurt Gödel ⓘ
influencedBy	Bertrand Russell ⓘ David Hilbert ⓘ Gottlob Frege ⓘ
knownFor	Herbrand expansion ⓘ Herbrand universe ⓘ Herbrand's theorem ⓘ contributions to first-order logic ⓘ
languageOfWorkOrName	French ⓘ
nativeLanguage	French ⓘ
notableWork	Recherches sur la théorie de la démonstration ⓘ
occupation	logician ⓘ mathematician ⓘ
placeOfBirth	France ⓘ Paris ⓘ
placeOfDeath	France ⓘ La Bérarde ⓘ
studiedUnder	Arnaud Denjoy ⓘ Ernest Vessiot ⓘ
theoremNamedAfter	Herbrand's theorem ⓘ

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Herbrand Award → namedAfter → Jacques Herbrand ⓘ