比浏览器更快的访问！
33 关系: 域 (數學)，卡尔·魏尔斯特拉斯，乔治·贝克莱，序列，代数，微分，分类公理，环，策梅洛-弗兰克尔集合论，等价关系，统计学，绝对值，無窮小量，牛顿，随机过程，飽和模型，语义学，语法学，超实数，超現實數，阿基米德公理，自洽，零因子，选择公理，极限，消失量之鬼，有序域，戈特弗里德·莱布尼茨，悖论，数学，数学家，数学物理，数论。
域 (數學)
在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。.
新！!: 非标准分析和域 (數學) · 查看更多 »
卡尔·魏尔斯特拉斯
卡尔·特奥多尔·威廉·魏尔斯特拉斯（Karl Theodor Wilhelm Weierstraß，姓氏可寫作Weierstrass，），德國數學家，被譽為「現代分析之父」。.
新！!: 非标准分析和卡尔·魏尔斯特拉斯 · 查看更多 »
乔治·贝克莱
乔治·贝克莱(George Berkeley),著名英裔爱尔兰哲學家，同時為圣公会駐愛爾蘭科克郡克洛因鎮的主教，與约翰·洛克和大卫·休谟被認為是英国近代经验主义哲学家中的三大代表人物。他著有《视觉新论》(1709年)和《人类知识原理》(1710年)等作品。美國加州的柏克萊市便是以他的名字命名。耶魯大學也有一個本科寄宿學院是以他命名。.
新！!: 非标准分析和乔治·贝克莱 · 查看更多 »
序列
数学上，序列是被排成一列的对象（或事件）；这样，每个元素不是在其他元素之前，就是在其他元素之后。这里，元素之间的顺序非常重要。.
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
微分
在数学中，微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时，函数的值是怎样改变的。当某些函数\textstyle f的自变量\textstyle x有一个微小的改变\textstyle h时，函数的变化可以分解为两个部分。一个部分是线性部分：在一维情况下，它正比于自变量的变化量\textstyle h，可以表示成\textstyle h和一个与\textstyle h无关，只与函数\textstyle f及\textstyle x有关的量的乘积；在更广泛的情况下，它是一个线性映射作用在\textstyle h上的值。另一部分是比\textstyle h更高阶的无穷小，也就是说除以\textstyle h后仍然会趋于零。当改变量\textstyle h很小时，第二部分可以忽略不计，函数的变化量约等于第一部分，也就是函数在\textstyle x处的微分，记作\displaystyle f'(x)h或\displaystyle \textrmf_x(h)。如果一个函数在某处具有以上的性质，就称此函数在该点可微。 不是所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点无法做到可微，便称函数在该点不可微。 在古典的微积分学中，微分被定义为变化量的线性部分，在现代的定义中，微分被定义为将自变量的改变量\textstyle h映射到变化量的线性部分的线性映射\displaystyle \textrmf_x。这个映射也被称为切映射。.
分类公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括。 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 。所以这个公理的本质是： 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。.
新！!: 非标准分析和分类公理 · 查看更多 »
环
环可能指：.
策梅洛-弗兰克尔集合论
梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.
新！!: 非标准分析和策梅洛-弗兰克尔集合论 · 查看更多 »
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
新！!: 非标准分析和等价关系 · 查看更多 »
统计学
统计学是在資料分析的基础上，研究测定、收集、整理、归纳和分析反映數據資料，以便给出正确訊息的科學。這一门学科自17世纪中叶产生并逐步发展起来，它廣泛地應用在各門學科，從自然科学、社會科學到人文學科，甚至被用於工商業及政府的情報決策。隨著大数据(Big Data)時代來臨，統計的面貌也逐漸改變，與資訊、計算等領域密切結合，是資料科學(Data Science)中的重要主軸之一。 譬如自一組數據中，可以摘要並且描述這份數據的集中和離散情形，這個用法稱作為描述統計學。另外，觀察者以數據的形態，建立出一個用以解釋其隨機性和不確定性的數學模型，以之來推論研究中的步驟及母體，這種用法被稱做推論統計學。這兩種用法都可以被稱作為應用統計學。數理統計學则是討論背後的理論基礎的學科。.
绝对值
絕對值用來表示一個數至原點的距離之大小。絕對值的概念也可以定義在複數、有序環以及域上。.
無窮小量
無窮小量是數學分析中的一個概念，用以嚴格地定義諸如「最終會消失的量」、「絕對值比任何正數都要小的量」等非正式描述。在經典的微積分或數學分析中，無窮小量通常它以函數、序列等形式出現，例如，一個序列a.
新！!: 非标准分析和無窮小量 · 查看更多 »
牛顿
牛顿（Newton）是一个欧洲人的姓氏，字源于地名。地名在古英语裡的意思是“新镇”。牛顿或Newton可以指：.
随机过程
在概率论概念中，随机过程是随机变量的集合。若一随机系统的样本点是随机函数，则称此函数为样本函数，这一随机系统全部样本函数的集合是一个随机过程。实际应用中，样本函数的一般定义在时间域或者空间域。随机过程的实例如股票和汇率的波动、语音信号、视频信号、体温的变化，反对法随机运动如布朗运动、随机徘徊等等。.
新！!: 非标准分析和随机过程 · 查看更多 »
飽和模型
在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。.
新！!: 非标准分析和飽和模型 · 查看更多 »
语义学
语义学（Semantics，La sémantique），也作「语意学」，是一个涉及到语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域的一个术语。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：.
语法学
语法学（Syntax）是語言學的一個分科，是研究语言结构规律（语法）的学科。.
超实数
請注意，以下幾個概念的外來詞都曾被翻譯為超實數：.
超現實數
在數學上，超現實數系統（Surreal Numbers）是一種連續統，其中含有實數以及無窮量，即無窮大（小）量，其絕對值大（小）於任何正實數。超現實數與實數有許多共同性質，包括其全序關係「≤」以及通常的算術運算（加減乘除）；也因此，它們構成了有序域。在嚴格的集合論意義下，超現實數是可能出現的有序域中最大的；其他的有序域，如有理數域、實數域、有理函數域、、和超實數域等，全都是超現實數域的子域。超現實數域也包含可達到的、在集合論裡構造過的所有超限序數。 超現實數是由約翰·何頓·康威（John Horton Conway）所定義和構造的。這個名稱早在1974年便已由高德納（Donald Knuth）在他的書《研究之美》中就被引進了。《研究之美》是一部中短篇數學小說，而值得一提的是，這種把新的數學概念在一部小說中提出來的情形是非常少有的。在這部由對話體寫成的著作裡，高德納造了「surreal number」一詞，用來指稱康威起初只叫做「number」（數）的這個新概念。康威樂於採用新的名稱，後來在他1976年的著作《論數字與博弈》（On Numbers and Games）中就描述了超現實數的概念並使用它來進行了一些博弈分析。.
新！!: 非标准分析和超現實數 · 查看更多 »
阿基米德公理
在抽象代数和分析学中，以古希腊数学家阿基米德命名的阿基米德公理（又称阿基米德性质），是一些赋范的群、域和代数结构具有的一个性质。粗略地讲，它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奧地利數學家赋予它这个名字。 这个概念源于古希腊对量的理论；如大卫·希尔伯特的几何公理，有序群、有序域和局部域的理论在现代数学中仍然起着重要的作用。 阿基米德公理可表述為如下的現代記法： 對於任何實數x，存在自然數n有n>x。 在現代實分析中，這不是一個公理。它退卻為實數具完備性的結果。基於這理由，常以阿基米德性質的叫法取而代之。.
新！!: 非标准分析和阿基米德公理 · 查看更多 »
自洽
#重定向 一致性 (邏輯).
零因子
在抽象代数中，一个环的一个非零元素a是一个左零因子，当且仅当存在一个非零元素b，使得ab.
选择公理
选择公理（Axiom of Choice，縮寫AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族 (S_i)_，总存在一个索引族 (x_i)_，对每一个 i \in I，均有 x_i \in S_i。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。 尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着，例如带有选择公理的策梅洛-弗兰克尔集合论（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是吉洪诺夫定理，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如。 在一些構造性數學的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。.
新！!: 非标准分析和选择公理 · 查看更多 »
极限
极限可以指：.
消失量之鬼
消失量之鬼一词对许多微积分学生来说都不陌生。这一词组由乔治·贝克莱杜撰，首次出现在他1734年的著作《分析学家》（The Analyst）。贝克莱用这个词对牛顿和莱布尼茨发展的舊有理论的根基进行簡單的批判。.
新！!: 非标准分析和消失量之鬼 · 查看更多 »
有序域
在数学的一个分支代数中，有序域是一个偏序关系通过加法和乘法运算不被改变的域。有序域最常见的例子是实数。.
戈特弗里德·莱布尼茨
戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz， 或 ；Godefroi Guillaume Leibnitz，，），德意志哲学家、数学家，歷史上少見的通才，獲誉为十七世纪的亚里士多德。他本人是律師，經常往返於各大城鎮；他許多的公式都是在顛簸的馬車上完成的，他也自稱具有男爵的貴族身份。 莱布尼茨在数学史和哲学史上都占有重要地位。在数学上，他和牛顿先后独立发明了微积分，而且他所使用的微積分的数学符号被更廣泛的使用，萊布尼茨所发明的符号被普遍认为更综合，适用范围更加广泛。莱布尼茨还对二进制的发展做出了贡献。 在哲学上，莱布尼茨的乐观主义最为著名；他认为，“我们的宇宙，在某种意义上是上帝所创造的最好的一个”。他和笛卡尔、巴鲁赫·斯宾诺莎被认为是十七世纪三位最伟大的理性主义哲学家。莱布尼茨在哲学方面的工作在预见了现代逻辑学和分析哲学诞生的同时，也显然深受经院哲学传统的影响，更多地应用第一性原理或先验定义，而不是实验证据来推导以得到结论。 莱布尼茨对物理学和技术的发展也做出了重大贡献，并且提出了一些后来涉及广泛——包括生物学、医学、地质学、概率论、心理学、语言学和信息科学——的概念。莱布尼茨在政治学、法学、伦理学、神学、哲学、历史学、语言学诸多方向都留下了著作。 莱布尼茨对如此繁多的学科方向的贡献分散在各种学术期刊、成千上万封信件、和未发表的手稿中，其中約四成為拉丁文、約三成為法文、約一成五為德文。截至2010年，莱布尼茨的所有作品还没有收集完全。 2007年，戈特弗里德·威廉·莱布尼茨图书馆暨下薩克森州州立圖書舘的莱布尼茨手稿藏品被收入联合国教科文组织编写的世界记忆项目。 由於莱布尼茨曾在汉诺威生活和工作了近四十年，并且在汉诺威去世，为了纪念他和他的学术成就，2006年7月1日，也就是萊布尼茨360周年诞辰之际，汉诺威大学正式改名为汉诺威莱布尼茨大学。.
新！!: 非标准分析和戈特弗里德·莱布尼茨 · 查看更多 »
悖论
悖論，亦稱為弔詭或詭局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文paradox一詞，来自希腊语παράδοξος ，paradoxos，意思是“未预料到的”，“奇怪的”。 如果承认它是真的，经过一系列正确的推理，却又得出它是假的；如果承认它是假的，经过一系列正确的推理，却又得出它是真的。古今中外有不少著名的悖论，它们震撼了逻辑和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。 paradox其實亦有“似非而是”的解釋。即是用普通常識看上去不正確，但其實是正確或是有可能的。例如“站著比走路更累”。一般常識是走路比站著累，但要一個人例如在公園裡站一個小時，他可能寧願走動一個小時。因為“站著比走路更累”。也例如狹義相對論裡面的雙生子佯謬亦是另外一個例子。 佛法中也有釋迦牟尼佛破外道悖論的例子：如《大智度論》卷一中舉出長爪梵志的例子：長爪梵志提倡一種“一切法不受”的主張，其意思是說他不接受世間一切理論。釋迦牟尼佛就問他：「你接不接受你自己所建立的這個“一切法不受”的理論？」長爪梵志像一匹千里馬一樣有智慧，不必等到鞭子打到身上才起跑，只看到鞭影覺悟了。換句話說，當釋迦牟尼佛提出這個問題的時候，長爪梵志就知道自己的理論是有問題的──如果接受，那就是“接受一種理論”這與他自己建立的“一切法不受”的主張違背；如果不接受，那他的主張就不存在。就這樣，一方面顯示長爪梵志的理論是一種悖論，另一方面也突顯釋迦牟尼佛以非常簡短的開示就把長爪梵志折服了。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
数学物理
数学物理是数学和物理学的交叉领域，指应用特定的数学方法来研究物理学的某些部分。对应的数学方法也叫数学物理方法。 数学和物理学的发展历史上一直密不可分。许多数学理论是在物理问题的基础上发展起来的；很多数学方法和工具通常也只在物理学中找到实际应用。.
新！!: 非标准分析和数学物理 · 查看更多 »
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
