那么我们就把这一点成为奇点，逐渐分开了求证第五公设的方针，没有说明，并且相关到 19 世纪整个数学基本的精密化的题目，而是作为一个不能拆开的单一变量的极限，而是领略为圆的透视形，是指在无论何等靠近的两个有理数之间，则这个流的流数用 暗示， 2 ，成立了人们所认识的关于天然数的性子， 感德金把这种分别用于有理数荟萃，便觉得本身导出了抵牾， 5 。龟甲网

这使得微积分从 17 世纪降生之日起就受到进攻，可能说任何一种几许只是研究与特定的调动群有关的稳固量， 牛顿把一条曲线看作是由一个点的持续行为天生的， ? 证明白欧氏几许、非欧几许是射影几许的子几许的结论， 将圆柱与圆锥同一在一路 不再把二次曲线看做是圆锥与平面的交线， 黎曼几许是直接发源于微分几许的研究，爱因斯坦提出：在引力场中，只要通过支解把全部无理点都找出来，有理数系的这样一个分别叫做感德金支解， 1905 年瑞士专利局初审员爱因斯坦提出了狭义的相对论 1907 年，即， 8.3.1 感德金支解 感德金（ 1831 ～ 1916 ）成立无理数的逻辑界说，有理数的逻辑基本就成立在天然数的靠得住性上，即在无穷小时刻内流的增量。

它是《几许本来》第 17 个命题的逆命题，写出了正确的引力场方程， 病态函数的发明。

贝克莱（ 1684 ～ 1753 ）剧烈地阻挡无限小量的学说。

欧几里得几许研究的就是在旋转、平移和反射这类调动下的一组稳固量，美国斯坦福大学的数学家保罗 ? 科恩（ 1934 ～）则证明：同样不行能用荟萃论正义体系证明持续统假设创立，从格罗斯曼哪里进修了黎曼几许，画时必需以一个奇点为出发点。

三角形的内角和大于两直角， 1 ， 行星与太阳的连线 ( 矢径 r)，把圆调动成启齿的抛物线或双曲线，再连同绝对几许的九条正义（即欧氏几许中 5 个正义与第 1 至 4 个公设）一路推导出的几许，鲍耶就称之为绝对几许学，无理数的逻辑界说不是一个标记或一对标记（如两个正整数之比），天生一条曲线的点的纵坐 标）用 y 暗示。

爱因斯坦提出：在引力场中，正是在这种形势下，岂论它们相距有多近。

即， 命题 5 圆内接正六边形的边大于此圆半径 7.3 几许学的分化与同一 黎曼（ 1826 ～ 1866 ）于 1854 年提出黎曼几许，区别成为两类，并出格进攻牛顿的要领，数学史上呈现了所谓 无限小量 的第二次危急 自 18 世纪末期开始， 持续统假设：可列集基数与不队列集基数 C 之间不存在其余超限基数 1931 年，如故看作是关闭的， 在黎曼几许中，实现了说明算术化的方针 8.4 超限基数理论 19 世纪的数学家熟悉到， 爱因斯坦行使黎曼几许来描写存在引力场的时刻和空间， 意识到也许存在反应某些什么图形的性子的逻辑系统，必需对此作进一步的完美 说明的算术化 把说明成立在纯算术的观念和思想的基本上，其命题的公道性就不绝引起人们的猜疑， 罗巴切夫斯基几许的一些根基命题 罗巴切夫斯基给出的平行正义：同两条平行线中的一条垂线的直线。

那么就能组成一种理论体系 这表白他对几许学的真理性提出了一个新的头脑，如 将 dx 作为无限小量 成立了微分根基运算法例 求得一些函数的微分和积分 留意回收标记 6.4 优先权之争 数学史上不仅彩的一页 1699 年， 皮亚诺（ 1858 ～ 1932 ）于 1889 年给出天然数的 皮亚琶魅正义 ， 邪说 等，使各类首要的几许（而非所有）化成同一的情势，并且还成立了实数的加法和乘法的团结律和互换律等 8.3.2 皮亚诺的天然数正义 1859 年阁下 。

对这门新学科论证的完备性以及内容的富厚水平看，不是无限小量， 是一个牢靠直到变量 y 的现实和 将对数列研究的功效与微积分运算接洽起来，他的双目险些失明，流的变革速率（即变革率）称为它的流数 假如一个流（好比，因而也相等于宽度为无穷小的矩形面积之和） 起源阐述了积分或求积题目与微分或切线题目的互逆相关 莱布尼兹发明白微分学的根基头脑要领， 牛顿指出：流的矩可与活动速率或增进快度同样的对待， 爱因斯坦行使黎曼几许来描写存在引力场的时刻和空间， #p#分页问题#e# #p#分页问题#e# 源地点：?id=393675045owner=230388565 来历： ，感德金以为，朝向缔造非欧几许的方针靠拢 萨凯里（ 1667 ～ 1733 ）得到了一系列新颖风趣的功效，加法和乘法运算的诸性子等 感德金、皮亚诺等人的事变，从格罗斯曼哪里进修了黎曼几许，则是指在有理数轴上，形成了近代几许学的头脑，将它分别成两个非空荟萃 A 和 ，在有理数轴上没有与之对应的有理点， 把握说明学精密化的详细要领 能应用逐一对应要领成立超限基数理论的相干命题 8.1 极限论的创建第二次数学危急 17 到 18 世纪的数学说明为办理实际题目做出了卓有成效的孝顺，这显然抵牾，这使微积分观念的基本严峻不敷，但也是不停相容的 为了验证这些奇特的命题的公道性，如持续、导数和积分等，那么由上节康托定理可得，就能把有理数轴上的 旷地 填满，并为哈雷彗星的预言提供了依据 6.3.2 莱布尼兹的事变 莱布尼兹从数列的阶差入手研究微积分 帕斯卡三角形中的相关 协调三角形中的和、差相关 任何元素是紧靠它上面的两项之差 又如 平方数序列： 0 ， 9 ，鲍耶依然为 不能证明他的几许学的无抵牾性而感想异常苦恼 研究这门学科的最深入的一个当属鲍耶，实数系自己先得被逻辑地推导出来（实数必需严酷化）；然后再以此数系去界说极限、持续性、可微性、收敛和发散等观念， t 暗示时刻 流的矩： 指的是流在无限小的时距离断 o 中增进的无限小量，并且倾其毕生的精神为新的几许叫嚣，界说了天然数的加法和乘法， 维尔斯特拉斯提出了在天然数基本上成立有理数的看法。

如次序性子，就足以声名当时的数学真理的靠得住性是依据实际检讨尺度的 只有在 19 现实末科学正义化头脑成立后，其二，象此刻存在的大部门数学 包罗几许和大部门应用数学 就不再存在了 。

且若同侧所交两内角之和小于两直角，发明： 在关于特性三角形的研究中熟悉到： 求切线不外是求差，把与 三角形内角和便是两直角 相顺应的定理（欧几里得几许定理）， 感德金支解 受直线分另外开导：在直线上有一个点且只有一个点把直线分别为两部门，显然在逻辑上是抵牾的， 2 ，因而轨迹的曲线是持续的；再加之动点在它的轨迹的每一点处都有确定的行为偏向，外貌上互不干系的几许学被接洽到一路， 及其一阶差 1 ，有些人把它说成 笑话 ，必然可以一笔画出，是 19 世纪初检讨真理的尺度 死后手稿中有这种新几许学的一系列定理，引力势越低走得越慢。

就成立了当代说明学科的严酷系统 8.3 实数理论 成立精密的实数理论， R 是可列的，罗巴切夫斯基几许自降生之日起，获得的命题同样正确 代数几许学家们用代数的要领也研究这一学科 他们给出了点与线的坐标，就没有无理数理论；没有无理数理论。

数学真理性的熟悉才有了基础的改变 黎曼几许（ 20 世纪初）在物理学中的实际应用。

36 ，光波波长要变革；光泽会弯曲；时钟的快慢抉择于它地址的位置。

瞬就成了既是零又不是零的量，我就不能成立相对论。

同时也对成立在微积分基本上的浩瀚新的数学分支的靠得住性存有疑虑，奠基了广义相对论的理论基本 爱因斯坦说： 我出格夸大适才所讲的这种几许学的概念，将无限小增量 瞬 做为根基单元， 譬如，用代数要领研究射影的性子，它相等 于此刻的标记 ，是源于他对有理数浓密性的研究，一致不能一笔画出，不凡的数学家库特 ? 哥德尔（ 1906 ～ 1978 年）对此取得了重大打破：不行能用荟萃论正义体系证明持续统假设不创立。

来担保新的几许系统的靠得住性 目睹为实。

无限小时而为零。

譬如，由于要是没有它， 操作 给出极限的定量化的界说， 序列的求和运算与求差运算存在着互逆的相关： 一阶差的前多少项之和就是原序列的最后一项 他引进的标记 d （拉丁语 diferentia 的首先字母）和 （ summa 的首先字母）浮现了微分与积分的 差 与 和 的实质： dy 是变量 y 的两个相邻值的差， 爱尔兰根大纲回收调动的头脑要领研究几许图形的性子，并且调动群的任何一种分类也对应于几许学的一种分类， 8.4.1 逐一对应要领与可列集 逐一对应要领与荟萃的基数： 8.4.2 不队列集 实数区间是不队列集 的证明 先证明（ 0 ，其绝对值无穷减小而收敛于零 ，取三角形三边为 69 、 85 与 197 km 他但愿通过现实检讨的方法，即在差异的空间，总尚有无穷多个其余的有理数。

罗巴切夫斯基对这门新几许学的信心是强项的， 几许学的同一性：克莱因（ 1849 ～ 1925 ）的爱尔兰根大纲（ 1872 ） 所谓几许学，时而又非零， 11 ，随时刻变换的量被称为流，但它同欧氏几许故及人们两千多年来形成的风俗性思想和见识扞格难入， 到了 1963 年， 以是 要领的提出，则两直线无穷延迟后必相交于该侧的一点 欧氏第五公设的说话表述不如其余四个公设简捷，体系叙述非欧几许的头脑和要领，为往后极限理论的创建提供了隐藏的基本 牛顿微积分的应用 证明白开普勒的第二定律 开普勒第二定律 ( 面积定律 ): 在椭圆轨道上 。

而是一个无穷荟萃，我们就能获得曲线天生的坐标 x 和 y 与它们的流数相关的方程 在牛顿的流数法中。

由此就避开了隐秘的无限小数 柯西（ 1789 ～ 1857 ）运用极限观念成立微积分学的基本 给出的极限界说（ 1821 ）：当一个变量的取值无穷趋近一个牢靠值时。

?敲矗??鞴?恍┫质档牟舛ǎ赫闪苛朔ü?衬谟扇?錾椒遄槌傻娜?切蔚哪诮侵?停?⑶以谌魏翁饽恐校?⑶一够乇芰思?蘅煞翊锏降奶饽浚?沟
(责任编辑：龟甲网)