[拼音]：zhengminglun[外文]：proof theory数理逻辑的一个分支，以数学证明为研究对象的数学理论。逻辑学中关于证明的研究由来已久。亚里士多德《工具论》一书中的 《分析后篇》就是讨

[拼音]：Feng NuoyiMan[外文]：John von Neumann (1903～1957)著名数学家。1903年12月3日生于匈牙利布达佩斯。1957年2月8日在华盛顿因患癌症去世。他从小

[拼音]：Wai’er[外文]：Claude Hugo Hermann Weyl (1885～1955)德国数学家。1885年11月9日生于德国汉堡附近的埃尔姆斯霍恩，1955年12月8日

[拼音]：shuxue jichu[外文]：foundations of mathematics从事数学奠基的数学研究。数学基础学家要根据他们的数学观，即“什么是数学”、“什么是数学的基础”等问题的回

[拼音]：Minkefusiji[外文]：Hermann Minkowski (1864～1909)德国数学家。在数论与代数领域作出了重大贡献，为狭义相对论奠定了数学基础。1864年6月22日生于立陶

[拼音]：suanzi banqun[外文]：semigroup of operators依赖于参数的算子族。单参数的算子半群可以通过指数公式exp(-tA)的形式表示出来，其中A是一个算子，称为生成

[拼音]：fanhan fenxi[外文]：functional analysis研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方

[拼音]：qiyi jifenfangcheng[外文]：singularintegral equation通常是指带有柯西核的奇异积分方程，它的一般形式是(1)这里 L是复平面上的逐段光

[拼音]：jiexi hanshu bianzhi wenti[外文]：boundary value problem of analytic function寻求满足一定边界条件的解析函数的一类问题，

[拼音]：Xi’erbote shuxue wenti[外文]：Hilbert's mathematical problems1900年，德国数学家D.希尔伯特在巴黎第二届国际数学家大会上

[拼音]：Xi'er Xi'erbote[外文]：Enrique Gil Gilbert (1912～1973)厄瓜多尔作家。生于瓜亚基尔。1930年与华金·加列戈斯·拉腊和德梅特里奥·阿基莱拉·马尔

[拼音]：pusuanzi[外文]：spectral operator巴拿赫空间上具有某种谱分解性质的一类算子，它是若尔当型矩阵在无穷维空间的一种推广。自共轭的常微分方程的边值问题的研究发展成希尔伯特

[拼音]：bingtai juzhen[外文]：ill-conditioned matrix求解方程组时对数据的小扰动很敏感的矩阵。解线性方程组Ax=b时，若对于系数矩阵A及右端项b的小扰动&delt

[拼音]：Xi’erbote jihua[外文]：Hilbert's program又称证明论计划，是在20世纪初数学奠基问题的论战中，由D.希尔伯特提出的旨在保卫古典数学、避免悖论以解决

[拼音]：quanlianxu suanzi[外文]：completely continuous operator又称紧算子，是最接近于有限维空间上线性算子的一类重要算子。在线性代数中，关于线性变换所

[拼音]：hasai[外文]：Hermut Hasse (1898～1979)德国数学家。1898年8月25日生于卡塞尔，1979年12月26日去世。他1918年去格丁根大学从D.希尔伯特、E.G.H

[拼音]：xianxing suanzi[外文]：linear operator出现在各个数学领域中具有线性性质的运算（例如线性代数中的线性变换；微分方程论、积分方程论中大量出现的微分、积分运算、积分

[拼音]：bubian zikongjian wenti[外文]：invariant subspace problem线性算子理论中的一个著名问题。40多年来，人们一直在努力追求其答案，做了大量工作，

[拼音]：Xi’erbote kongjian[外文]：Hilbert spacen维欧几里得空间的推广，可视为“无限维的欧几里得空间”，是泛函分析的重要研究对象之一。在三维欧几里得空间中