研究数学证明的理论。数理逻辑的分支学科。它以数学的无矛盾性和判定问题等为研究对象。数学的无矛盾性是关于数学基础的研究，而判定问题不仅本身较前者研究的内容更为广泛，而且与算法和计算机科学也紧密地联系在一起。
证明论的主要内容为： 数学无矛盾性证明、哥德尔 (K.G⍥del， 1906～1978) 不完备性定理和构造性数学等。1922年著名的希尔伯特 (D.Hilbert) 计划诞生了，希尔伯特在他的计划中突出一个目的： 要通过数学基础 (也称元数学) 来证明对象理论的无矛盾性，从而对象理论所代表的古典数学理论是不会产生矛盾的， 但是， 哥德尔 (K.G⍥del， 1906～1978) 于1931年发表了著名的不完备性定 ...... （共523字） [阅读本文]>>
自然科学学科用几何方法研究某些数论问题的数学理论。又称几何数论，数论的分支学科。是研究丢番图逼近、代数数论的重要工具。它的一类典型问题为：设f(x1，…，xn)是实变量x1，…，xn的实值函数，则对适当选取的整数u
自然科学学科含有未知函数的偏导数的方程称为偏微分方程，是微分方程的分支。含于方程中的偏导数的最高阶称方程的阶。例如，即为关于未知函数u(x，y)的二阶偏微分方程。二阶线性与非线性偏微分方程始终是重要的研究对象。这类
研究现实世界中数量关系和空间形式的科学。简言之，数学是研究数和形的科学。它的特点是：抽象性、精确性和应用的广泛性。数学的抽象性表现在它暂时撇开事物的具体内容而单纯从量的关系来考察;精确性表现在它的逻辑的
研究数的规律，特别是研究整数规律的科学。数学的分支学科。数论以可除性、同余性、不定方程的求解和数的有理逼近等算术问题为研究对象，是两个最古老的数学分支之一(另一个是经典的欧氏几何)。正整数分成1、素数和
用分析方法研究整数的性质和素数分布规律的科学。数论的分支学科。解析数论以素数分布、格点问题和堆垒数论中的问题为主要的研究对象。一般说来，凡是用分析方法研究的数论问题都可归结为解析数论，解析数论的内容十分
扫一扫微信支付
上一篇
