Matemaatikud

Ajakava Fotod Raha Margid Sketch Otsima

Jacques Herbrand

Sünniaeg:

Sünnikoht:

Surmaaeg:

Koht surma:

12 Feb 1908

Paris, France

27 July 1931

La Bérarde, Isère, France

Ettekanne
TÄHELEPANU - automaatne tõlge inglise versiooni

Jacques Herbrand sisenes École Normale Supérieure on 17-aastaselt. See oli üsna erandlik sel ajal. Tema doktoritöö õppis matemaatiline loogika, mis oli üllatav valik, kuna puudub huvi selle teema Prantsusmaal sel perioodil. Tema doktoriväitekiri oli kinnitatud aprillis 1929 ja oktoobris sel aastal Jacques liitunud armee sõjaväeteenistuse.

Pärast tema õigekirja sõjaväes, Herbrand anti Rockefeller stipendiumi et ta saaks õppida erinevates Euroopa paikades. Tema esimene jooksul kuni mai 1931, kulutati Ülikoolis Berliinis, kus ta töötas von Neumann. Berliinist, Herbrand läks Hamburgi, kus ta veetis juunikuus tööd Artin. Tema lõplik külastus oli Göttingeni, kus ta veetis kuu juuli 1931 õpingute Emmy Noether.

Pärast lahkumist Göttingen, Herbrand otsustas puhkuse Alpides enne tema ette naasta Prantsusmaale. Kuid ta oli kunagi lõpule viia oma plaane ta suri mägironimine õnnetuse Alpides vaid paar päeva pärast tema puhkus algas. Tema surma 23 aastaselt ühes traagilisi kaotusi matemaatika.

On uskumatu, kui palju Herbrand saavutada lühikese aja jooksul ta pidi tegema matemaatiline teadus. Ta tegi panuse matemaatiline loogika, kus Herbrand teoreemi teooriat kvantoreid on tema doktoritöö. Vt arutelu lõhe, mis leiti Herbrand on tõend 1963.

Herbrand teoreemi loob seose kvantitatiivne teooria ja sentential loogika, mis on oluline, et see annab meetodi testi valemi suuruse teooria järjest katsetamine valemid sentential kehtivust. Kuna testimine sentential kehtivus mehaanilisel menetlusel Herbrand teoreemi täna olulise tähtsusega tarkvara on välja töötatud teoreem tõendavad arvutis.

Herbrand ka töötas välja teooria arvestades Abeli laiendamist algebraline arv välju. Kui paar kuud, mil ta töötas sellel teemal, Herbrand avaldatud kümme tk. Need dokumendid lihtsustada tõendite tulemuste Kronecker, Heinrich Weber, Hilbert, Takagi ja Artin. Herbrand ka üldiste mõned tulemused nende töötajate klassi valdkonnas teooria ning tõestada mõned olulised uute teoreemide enda.

Source:School of Mathematics and Statistics University of St Andrews, Scotland