諸葛獻(xiàn)標(biāo)
2021-07-28
雅克·埃爾布朗(英語:JacquesHerbrand,1908年2月12日-1931年7月27日),法國數(shù)學(xué)家。生于巴黎。畢業(yè)于巴黎高等師范學(xué)校學(xué)習(xí),21歲獲博士學(xué)位,后出國到德國游學(xué)。游學(xué)期間與馮·諾伊曼、阿廷、諾特等人相識(shí)。1931年夏在阿爾卑斯山爬山時(shí),不幸遇險(xiǎn)身亡,年僅23歲。埃爾布朗的主要貢獻(xiàn)在數(shù)理邏輯和類域論,發(fā)明了遞歸函數(shù)。與哥德爾一起給出了可計(jì)算性概念的定義,即埃爾布朗–哥德爾方程組。埃爾布朗定理引出了根岑的切消定理,也為羅賓遜的合一算法奠定了基礎(chǔ)。他建立的埃爾布朗定理是量化理論的一個(gè)基本命題,已成為機(jī)器證明的基礎(chǔ)。在近世代數(shù)方面,他發(fā)表了十幾篇有關(guān)類域論的論文,豐富了代數(shù)數(shù)域的阿貝爾擴(kuò)張理論。