Matematici

Časová osa Fotografie Peníze Razítka Sketch Hledat

Jacques Herbrand

Datum narození:

Místo narození:

Datum úmrtí:

Místo úmrtí:

12 Feb 1908

Paris, France

27 July 1931

La Bérarde, Isère, France

Prezentace
POZOR - Automatický překlad z anglické verze

Jacques Herbrandova vstoupil na École Normale Supérieure ve věku 17. To bylo dost výjimečné na to čas. Pro jeho disertační práci studoval matematickou logiku, která byla překvapivá volba, vzhledem k nedostatečnému zájmu v této oblasti v Francie v tomto období. Jeho doktorské práce byl schválen v dubnu 1929 a v říjnu téhož roku Jacques vstoupil do armády pro jeho vojenské služby.

Po jeho kouzlo v armádě, Herbrandova byla oceněna Rockefellerova společenstva, aby se ke studiu na různých místech v Evropě. Jeho první období, až do května 1931, byl vynaložen na univerzitě v Berlíně, kde pracoval s von Neumann. Z Berlína, Herbrandova odešel do Hamburku, kde strávil měsíc červen práci s ARTIN. Jeho závěrečná návštěvy bylo Göttingen, kde strávil měsíc červenec 1931 studium s Emmy Noether.

Po odchodu z Göttingen, Herbrandova rozhodla o dovolenou v Alpách před jeho zpětného dovozu do Francie. Nicméně on byl nikdy dokončit své plány pro zemřel v horolezectví nehodě v Alpách jen několik dní poté, co mu začaly prázdniny. Jeho smrt ve věku 23 v jednom z tragické ztráty na matematiku.

Je neuvěřitelné, kolik Herbrandova dosáhnout v krátké době měl uskutečnit matematický výzkum. Udělal příspěvky k matematické logice, kde Herbrandova věta v teorii kvantifikátory se objeví v jeho disertační práci. Viz k projednání mezera, která byla nalezena v Herbrandova je důkaz, v roce 1963.

Herbrandova věta vytváří vazbu mezi kvantitativní teorie a rozsudkový logiky, která je důležitá v tom, že poskytuje metodu testování formule v kvantitativní teorii postupně testování formule pro rozsudkový platnosti. Vzhledem k tomu, že testování na rozsudkový platnosti je mechanický proces, Herbrandova věta je dnes velice důležité, v software vyvinutý pro věta prokazující počítačem.

Herbrandova také pracoval v oblasti teorie zvažuje abelovská rozšíření algebraických počet polí. V několika málo měsíců, na němž pracoval na toto téma, Herbrandova zveřejněno deset dokumentů. Tyto dokumenty zjednodušit doklady o výsledcích o Kroneckerovo, Heinrich Weber, Hilbert, Takagi a ARTIN. Herbrandova také všeobecných některé z výsledků těchto pracovníků ve třídě oblasti teorie, stejně jako prokazující některé důležité nové věty z jeho vlastní.

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