Математиците

Час линия Снимки Пари Марки Скица Търся

Jacques Herbrand

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

12 Feb 1908

Paris, France

27 July 1931

La Bérarde, Isère, France

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Jacques Herbrand влезли в École над Атм на възраст от 17. Това беше доста изключителни по това време. За неговата докторска дисертация е учил математическа логика, която е учудващо избор, поради липсата на интерес към тази тема във Франция в този период. Неговата докторска дисертация беше одобрен през април 1929 г. и през октомври същата година Жак се присъедини към армията за отбива редовната си военна служба.

След като му на правописа в армията, Herbrand спечели стипендия Рокфелер да му позволи да учат на различни места в Европа. Първият му период, до май 1931 година, бе, прекарано в университета в Берлин, където той е работил с фон Нойман. От Берлин, Herbrand заминава за Хамбург, където той изразходвани за месец юни, работещи с Артин. Окончателното му посещение бе да Гьотинген, където той изразходвани за месец юли 1931 година на следването с Еми Noether.

След като напуска Гьотинген, Herbrand решение за празничен ден в Алпите преди да си върнете, предназначени за Франция. Въпреки това той никога не е била да изпълните неговите планове за той почина в планински катастрофа в Алпите, само няколко дни след като неговата празник започна. Неговата смърт на възраст от 23 в един от трагичните загуби на математиката.

Тя е невероятно колко Herbrand, постигнати в кратки срокове той трябваше да предприеме математически изследвания. Той прави вноски в Математическа логика, когато Herbrand Теорема за теорията на quantifiers се появява в неговата докторска дисертация. Виж за обсъждане на пропастта, която бе установено, в Herbrand на доказателство, през 1963 година.

Herbrand Теорема установява връзка между теорията и количествено sentential логика, която е по-важно, че тя дава един метод за изпитване формула в количествено теория от последователно изпитване формули за sentential валидност. След изследване за sentential валидност е механичен процес, Herbrand Теорема днес е от голямо значение в софтуер, разработен за доказване на теорема от компютъра.

Herbrand също работи по теория на полето разглеждане abelian разширения на алгебрични брой области. В няколко месеца, в който той е работил по тази тема, Herbrand десет статии, публикувани. Тези документи се опрости доказателства за резултатите от Kronecker, Хайнрих Вебер, Хилберт, Такаги и Артин. Herbrand също и общи някои от резултатите от тези работници в клас теория на полето, както и доказване на някои важни нови теореми на собственото си.

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