Jacques Herbrand

Jacques Herbrand

Jacques Herbrand ( Paris , 12 februarie 1908 ^[1] - La Bérarde , 27 iulie 1931 ) a fost un matematician francez .

Biografie

Absolvent la Paris de la École Normale Supérieure ^[2] în 1929 sub îndrumarea lui Ernest Vessiot , după o perioadă în armată a lucrat în 1931 ca cercetător la Universitatea din Gottingen . El a introdus conceptul de funcție recursivă . Teorema lui Herbrand este unul dintre primele rezultate ale teoriei dovezilor și oferă o metodă pentru testarea validității unei formule cu cuantificatori pe baza satisfacției propoziționale. Deoarece verificarea satisfacției poate fi efectuată mecanic, teorema lui Herbrand justifică utilizarea instrumentelor software.

Coeficientul Herbrand este un tip de caracteristică Euler utilizat în algebra omologică.

Deși a murit la vârsta de 23 de ani, din cauza unui accident de alpinism în Alpi , ^[3] este considerat unul dintre cei mai importanți matematicieni ai secolului XX ^[4] .

Multe concepte ale așa-numitei algebre (postume) de termeni au fost intitulate în onoarea sa, cum ar fi structura Herbrand , interpretarea Herbrand , baza Herbrand sau universul Herbrand .

Lucrări

• 1930 - Investigații în teoria dovezilor
• 1931 - Despre consistența aritmeticii
• 1967 - Jean van Heijenoort (prima ediție)
• 1968 - Jean van Heijenoort (ediția a doua)
• 1971 - Warren David Goldfarb

Notă

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Jacques Herbrand

linkuri externe

• Jacques Herbrand , pe Sapienza.it , De Agostini .
• ( EN ) Jacques Herbrand , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
• ( EN ) Jacques Herbrand , pe MacTutor , Universitatea din St Andrews, Scoția.
• (EN) Jacques Herbrand , de la Mathematics Genealogia Project , North Dakota State University.
• ( RO ) Lucrări de Jacques Herbrand , pe Biblioteca deschisă , Internet Archive .

Portal Biografii

Portalul de matematică