zaibd/wkpdtw huggingface dataset:
數學公式（mathematical formula）常簡稱公式，是指那些表示兩個量之間等或不等的公式。例如關於球體的體積，有 $V={\frac {4}{3}}\pi r^{3}$ 的公式，其中 _V_ 即代表球體體積，_r_ 是球體半徑，左右兩邊的項以等號連接。原先也許需要用到窮竭法或微積分去求體積，但總結了公式之後，只需知道 _r_ 的值，便能簡單地求出 _V_ 的值了。

而且，數學公式通常是普適性的，即在一定情況或條件下總是成立，比如一個光滑函數不一定等同其泰勒展開，但對解析函數 _f_ 就可表為

　
: $f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}$ 。

由此可知，提出有用的數學公式往往能減省一些計算或驗證，所以它們會被特別記下以便在之後再使用。



一些著名的數學公式


* 塞爾伯格跡公式

* 泰勒公式

* 乘法公式

* 二倍角公式

* 全期望公式

* 全概率公式

* 和差平方

* 和平方

* 和立方

* 外爾特徵標公式

* 婆羅摩笈多公式

* 差平方

* 差立方

* 拉普拉斯展開

* 斯托克斯公式

* 斯特靈公式

* 斯科倫範式

* 柯西 - 阿達馬公式

* 柯西積分公式

* 格林公式

* 格林第一公式

* 格林第二公式

* 歐拉 - 笛卡爾公式

* 歐拉公式

* 海倫公式

* 牛頓 - 寇次公式

* 立方和差

* 素數公式

* 蔡勒公式

* 角平分線長公式

* 誘導公式

* 莫比烏斯反演公式

* 克拉瑪公式

* 中線長公式



外部連結


* The 11 Most Beautiful Mathematical Equations （頁面存檔備份，存於網際網路檔案館）
數學危機在歷史上發生過三次，每一次均對數學的發展有重大影響。在第一次數學危機中，因為發現腰長為 1 的等腰直角三角形的斜邊長度無法寫成有理數，從而引申出日後的無理數概念。第二次數學危機得以解決微積分引入無窮小量而產生的問題。第三次數學危機則是因羅素悖論而起，它點出樸素集合論中的缺失。

Ernst Snapper 所著 The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism,_Mathematics Magazine_, Vol. 52 (1979), pp. 207-216 這篇得獎論文 (美國數學協會 MAA 1980 年 Carl B. Allendoerfer Award) 所列說的三次數學危機則跟上面所講的這三個不完全相同。



參閱


* 第一次數學危機

* 第二次數學危機

* 第三次數學危機

* 數學基礎



外部連結


* The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism, by Ernst Snapper. [2017-03-24]. （原始內容存檔於 2017-04-04）.

* 數裡天地 -- 史上三次數學危機. [2014-09-28]. （原始內容存檔於 2015-02-26）.

* 三思科學 -- 数学悖论与三次数学危机三思科學. （原始內容存檔於 2008-11-21）.
數學哲學是哲學的一個分支，研究數學中的哲學問題的學科。從畢達哥拉斯到康德的眾多思想家都有許多數學哲學的重要思想，但作為專門學科直到十九世紀中葉以後才逐漸建立起來。著重研究：


* 數學的對象、性質、特點、地位與作用；

* 數學新分支、新課題提出的重要概念的哲學意義；

* 著名數學家和數學流派的數學和哲學思想；

* 數學方法和數學基礎等問題。

現代數學哲學的研究內容包括：


* 數學基礎的研究，羅素的邏輯主義、布勞威爾的直覺主義和希爾伯特的形式主義等流派；

* 數學悖論的研究，探討悖論的排除及徹底解決的可能性；

* 數學本體論的研究，探討數學的研究對象是否為客觀的真實的存在；數學真理性的研究等。



參考文獻



參見


* 自然哲學
數學地球物理學（英語：Mathematical geophysics）是將數學應用在地球物理學上的一個學科，涵蓋使用數學模型解釋地球動力學及地震學之類的問題。



數學地球物理學的各種領域

地球物理流體動力學

地球物理流體動力學發展出相對於大氣層、海洋和地球內部的流體動力學理論，可以應用於地球動力學及發電機原理之上。

地球物理反演理論

地球物理的反演理論指的是從分析地球物理數據所得到的模型參數。亦即是說，從地球表面觀察所得到的數據，引申出來對地球構造的瞭解。

反演理論的目標在於確立一些變量，例如密度或地震波速度的空間分佈。所述分佈通常取決定於地球表面可觀察的值（例如，密度的重力加速度）。建立出來的數學模型可以預測地震的大約時間及震幅。

分形和複雜性

許多地球物理的數據都會遵循特定的光譜（冪定律），這意味觀察到的幅度頻率會隨著功率幅度而變化。地震震級的分佈是一個很好的例子，小型地震一定比大型地震為多。亦即是說，多數的數據都有特定的幾何分形，它們都有共同的特徵，包括多方面的結構、不規則性和自我相似（它和它本身的一部分完全或是幾乎相似）。這些數據可以根據豪斯多夫維數來分割（與拓撲維數有別）。分形現象可以應用於混沌理論、自組織臨界性及亂流的研究之中。

數據同化

數據同化結合了數學模型於地球物理學的應用及不規則時空的觀察，大多牽涉到地球物理流體動力學的理論，需要使用到偏微分方程。通常這方程式需要準確的初始條件才能作出準確的預測，但準確的初始條件往往難以掌握。數據同化正正可以彌補了這弱點，以後來觀察所得的數據，改善初始條件，繼而得到更準確的預測。這技術可以用於天氣預報。

地球物理統計學

地球物理統計學包括模型驗證和量化不確定性。



參考

文獻
數學上，數學基礎（英語：foundations of mathematics）一詞有時候用於數學的特定領域，例如數理邏輯，公理化集合論，證明論，模型論，和遞歸論（可計算性理論）。但是尋求數學的基礎也是數學哲學的中心問題：在什麼終極基礎上命題可以稱為「真」?

目前占統治地位的數學典範思想是基於公理化集合論和形式邏輯的。實際上，幾乎所有現在的數學定理都可以表述為集合論下的定理。在這個觀點下，所謂數學命題的真實性，不過就是該命題可以從集合論公理使用形式邏輯推導出來。

這個形式化的方法不能解釋一些問題：為什麼我們應沿用現行的公理而不是別的，為什麼我們應沿用現行的邏輯規則而不是別的，為什麼「真」數學命題（例如，算術領域的皮亞諾公理）在物理世界中似乎是真的。這被尤金・維格納在 1960 年叫做「數學在自然科學中無理由的有效性」（_The unreasonable effectiveness of mathematics in the natural sciences_）。

在數學實在論（有時也叫柏拉圖主義）中，獨立於人類的數學對象的世界的存在性被作為一個基本假設；這些對象的真實性由人類「發現」。在這種觀點下，自然定律和數學定律有類似的地位，因此 "有效性" 不再 "無理由"。不是我們的公理，而是數學對象的真實世界構成了數學基礎。但，顯然的問題在於，我們如何接觸這個世界？

一些數學哲學的現代理論不承認這種數學基礎的存在性。有些理論傾向於專注數學實踐，並試圖把數學家的實際工作視為一種社會群體來作描述和分析。也有理論試圖創造一個數學認知科學，把數學在 "現實世界" 中的可靠性歸結為人類的認知。這些理論建議只在人類的思考中找到基礎，



參見


* 數學哲學

* 數學准經驗主義

* 幾何基礎



參考來源


* _The Unreasonable Effectiveness of Mathematics in the Natural Sciences （頁面存檔備份，存於網際網路檔案館）_ , Eugene Wigner, 1960;

* _What is mathematical truth?_, Hilary Putnam, 1975;

* _Mathematics as an objective science_, Nicholas D. Goodman, 1979;

* _Some proposals for reviving the philosophy of mathematics_, Reuben Hersh, 1979;

* _Challenging foundations_, Thomas Tymoczko, 1986, preface to first section of _New Directions in the Philosophy of Mathematics_, 1986 and (revised) 1998, which includes also Putnam, Goodman, Hersh.



外部連結


* 維基共享資源上的相關多媒體資源：數學基礎

* Philosophy of mathematics. 《網路哲学百科全书》.

* What is Foundations of Mathematics?

* Logic and Mathematics （頁面存檔備份，存於網際網路檔案館）

* Foundations of Mathematics mailing list （頁面存檔備份，存於網際網路檔案館）
弗羅茨瓦夫大學的數學塔（Wieża Matematyczna）又名天文塔（Wieżą Astronomiczną），因為它以前是一座天文台，也是弗羅茨瓦夫大學主樓原計劃建造的三座塔樓中，唯一建成的一座塔樓（1728-1737）。

塔頂的露台上裝飾著弗蘭茲・曼格爾德的四座寓言雕塑。

耶穌會學院開學後不久，耶穌會會士朗吉努斯・安東・榮尼茨在塔樓上開設了一座天文台，除了進行天文觀測外，還進行氣象觀測。天文台的儀器由布雷斯勞的發明家卡爾・海因里希・克林格特提供。。在 19 世紀，研究擴展到對彗星的觀測。1800 年，他參觀了天文台，後來在回憶錄中描述了未來的美國總統約翰・昆西・亞當斯。20 世紀初，天文台關閉，主要是因為城市上空的大量煙霧和空氣輻射，這使得夜間研究變得困難。戰爭期間，這座塔和屋頂在 1945 年被摧毀。目前，數學塔是大學博物館的一部分，它也是一個受歡迎的旅遊點，因為從平台上可以看到美麗的全景。

地板上保留了一條特殊的排水溝，是東經 17°2′04936〃的經線。



參考


* Sobota B., _Uniwersytet Wrocławski_, Wyd. Fundacji dla Uniwersytetu Wrocławskiego.

* Wieża Matematyczna na stronie Muzeum Uniwersytetu Wrocławskiego （頁面存檔備份，存於網際網路檔案館）

* Informacje z wystawy historycznej na Uniwersytecie Wrocławskim 2007-2008.

* Template:Cytuj książkę
《數學大公式集》（英語：_Gradshteyn and Ryzhik_），是一部綜合全面的積分表非正式名稱， 最初由俄羅斯的數學家 I.S.Gradshteyn 和 I.M.Ryzhik 編寫。 它的完整標題是《積分表，級數和公式》（_Table of Integrals, Series, and Products_）。
數學大師：從芝諾到龐加萊（英語：_Men of Mathematics: The Lives and Achievements of the Great Mathematicians from Zeno to Poincaré_，最早的名字為 _The Lives of Mathematicians_）是蘇格蘭裔美國數學家和科幻小說作家埃里克・坦普爾・貝爾 1937 出版的一本關於數學史的書籍，介紹了三位古典時代的數學家和十七至十九世紀的四十餘位數學家，出版後廣受好評。



數學家



參考資料



外部連結


* _Men of Mathematics_ (Volume 2) on archive.org.

* Reviews: _Men of Mathematics_ （頁面存檔備份，存於網際網路檔案館） from Goodreads.
《數學百科全書》（俄語：Математическая энциклопедия）為蘇聯科學院院士、通訊院士和蘇聯數學各領域的權威學者執筆撰寫，伊萬・維諾格拉多夫主編的一部數學百科全書，由蘇聯大百科全書出版社出版，最早的版本於 1977 年出版，爾後陸續出版了增訂本。該書是數學史上的一個里程碑，是當今世界上內容最新、最全面、水平最高的一部大型數學工具書。

這部百科全書已經有 CD-ROM 版本及網絡版本。



英文版本

俄文版出版後不久，英文版《數學百科》（_Encyclopedia of Mathematics_，_EOM_；前稱 _Encyclopaedia of Mathematics_）即由荷蘭克魯維爾公司組織 180 多位數學家聯合翻譯出版，並附有大量的增訂。



中文版本

中文版由中國數學會領導，組織中國 200 多位數學家進行編譯，據俄文版和英文版翻譯，1994 年起分 5 卷陸續由科學出版社出版，歷時 10 年完成。其繁體版本由九章出版社在台灣出版。



參見


* 《克萊因數學百科》



參考資料



外部連結


* 在線《數學百科全書（英文版）》 （頁面存檔備份，存於網際網路檔案館）
數學字母數字符號（Mathematical Alphanumeric Symbols）是 Unicode 的一個碼位區段（Unicode block）的正式名稱。包含不同字型風格的拉丁字母、希臘字母與十進位數字在數學中用作不同指代含義的符號。例如，黑板粗體（blackboard bold），Unicode 中使用的對應術語是雙線體（double-struck）。

Unicode 的第一輔助平面的碼位區段 1D000-1DFFF 是「記號系統」(Notational systems)，在 `U+1D400` ... `U+1D7FF` 包含了稱之為數學字母數字符號的字形). 這使得可以專門設計與使用特殊的數學字符字型，不同於正文中使用的普通字母、數字。例如，數學中使用的斜體 "_A_"與正體字母"A" 有不同的含義。這些數學字母數字符號僅用於數學公式，不用於普通的文本中.

不同字型的這些符號在不同的數學領域往往具有特定的、固定的含義。



列表

十六進位數字表示其下的字符的 Unicode 碼位。其它字符的碼位沿著列向向下依次增加。具有粉紅色背景的字符實際上是在其它 Unicode 碼位區段，例如ℛ (script capital r) 的碼位是 U+211B，在基本多文種平面.

還有一種情況，例如 U+1D4C1: 𝓁(mathematical script small l)，還有一個類似外觀的字符 U+2113: ℓ (script small l).

拉丁字母

希臘字母與符號

數字



參見


* 用於數學、科學和工程的希臘字母

* 數學中的拉丁字母



參考文獻



外部連結


* Every mathematical symbol as an image
世界各地數學學會的列表：



國際性數學學會


* 國際數學聯盟

* 歐洲數學學會



全國性數學學會


* 美國數學學會

* 美國數學協會

* 德國數學學會

* 愛丁堡數學學會

* 法國數學學會

* 倫敦數學學會

* 中國數學會

* 義大利數學聯合會



參見


* 學術統計協會列表 (List of academic statistical associations)



外部連結


* MacTutor: List of Mathematical Societies （頁面存檔備份，存於網際網路檔案館）
以下是數學定理的列表：



0-9


* 15 - 定理

* 2π 定理



A


* 阿貝爾 - 魯菲尼定理

* 阿蒂亞 - 辛格指標定理

* 阿貝爾定理

* 安達爾定理

* 阿貝爾二項式定理

* 阿貝爾曲線定理

* 艾森斯坦定理

* 奧爾定理

* 阿基米德中點定理

* 阿基米德原理

* 埃爾布朗定理

* 阿達馬三圓定理

* 阿爾澤拉 - 阿斯科利定理



B


* 波爾查諾 - 魏爾斯特拉斯定理

* 巴拿赫 - 塔斯基悖論

* 伯特蘭 - 切比雪夫定理

* 貝亞蒂定理

* 貝葉斯定理

* 博特周期性定理

* 閉圖像定理

* 伯恩斯坦定理

* 不動點定理

* 布列安桑定理

* 布朗定理

* 貝祖定理

* 博蘇克 - 烏拉姆定理

* 巴拿赫不動點定理

* 布爾素理想定理

* 貝爾綱定理

* 布勞威爾不動點定理

* 本迪克森 - 杜拉克定理

* 本原元定理



C


* 垂徑定理

* 陳氏定理

* 採樣定理



D


* 迪尼定理

* 等周定理

* 代數基本定理

* 多項式餘數定理

* 大數定律

* 狄利克雷定理

* 棣莫弗定理

* 棣莫弗 - 拉普拉斯定理

* 笛卡兒定理

* 多項式定理

* 笛沙格定理

* 達布定理

* 達布定理 (微分幾何)

* 笛卡兒符號法則

* 單調收斂定理

* 單值化定理

* 狄利克雷定理 (傅立葉級數)



E


* 二項式定理

* 二次互反律

* 艾狄胥－斯通定理



F


* 富比尼定理

* 范德瓦爾登定理

* 費馬大定理

* 法圖引理

* 費馬平方和定理

* 法伊特 - 湯普森定理

* 弗羅貝尼烏斯定理

* 費馬小定理

* 凡・奧貝爾定理

* 芬斯勒 - 哈德維格爾定理

* 反函數定理

* 費馬多邊形數定理

* 輻角原理



G


* 格林公式

* 鴿巢原理

* 高斯 - 馬爾可夫定理

* 谷山 - 志村定理

* 哥德爾完備性定理

* 哥德爾不完備定理

* 古爾丁定理

* 高斯散度定理

* 古斯塔夫森定理

* 共軛復根定理

* 高斯 - 盧卡斯定理

* 哥德巴赫 - 歐拉定理

* 勾股定理

* 格爾豐德 - 施奈德定理



H


* 黑林格 - 特普利茨定理

* 華勒斯 - 波埃伊 - 格維也納定理

* 霍普夫 - 里諾定理

* 海涅 - 博雷爾定理

* 亥姆霍茲定理

* 赫爾德定理

* 蝴蝶定理

* 海涅 - 康托爾定理

* 哈恩 - 巴拿赫定理

* 胡爾維茲定理



J


* 絕妙定理

* 介值定理

* 積分第一中值定理

* 緊緻性定理

* 積分第二中值定理

* 夾擠定理

* 卷積定理

* 極值定理

* 基爾霍夫定理

* 角平分線定理

* 嘉當 - 迪厄多內定理

* 吉洪諾夫定理



K


* 柯西定理

* 克萊尼不動點定理

* 康托爾定理

* 柯西中值定理

* 可靠性定理

* 克萊姆法則

* 柯西 - 利普希茨定理

* 戡根定理

* 康托爾 - 伯恩斯坦 - 施洛德定理

* 凱萊 - 哈密頓定理

* 克納斯特 - 塔斯基定理

* 卡麥可定理

* 柯西積分定理

* 克羅內克定理

* 克羅內克 - 韋伯定理

* 卡諾定理

* 凱萊定理

* 空間分割定理

* 開映射定理

* 開世定理



L


* 零一律

* 盧津定理

* 勒貝格控制收斂定理

* 勒文海姆 - 斯科倫定理

* 羅爾定理

* 拉格朗日定理 (群論)

* 拉格朗日中值定理

* 拉姆齊定理

* 拉克斯 - 米爾格拉姆定理

* 黎曼映射定理

* 呂利耶定理

* 勒讓德定理

* 拉格朗日定理 (數論)

* 勒貝格微分定理

* 雷維收斂定理

* 劉維爾定理

* 六指數定理

* 黎曼級數定理

* 林德曼 - 魏爾斯特拉斯定理

* 留數定理

* 良序定理

* 里斯表示定理

* 黎曼 - 羅赫定理

* 羅斯定理

* 黎曼 - 勒貝格定理

* 拉東 - 尼科迪姆定理



M


* 毛球定理

* 莫雷角三分線定理

* 邁爾斯定理

* 米迪定理

* 邁希爾 - 尼羅德定理

* 馬勒定理

* 閔可夫斯基定理

* 莫爾 - 馬歇羅尼定理

* 密克定理

* 梅涅勞斯定理

* 莫雷拉定理



N


* 納什嵌入定理

* 拿破崙定理

* 鳥頭定理

* 牛頓定理



O


* 歐拉定理 (數論)

* 歐拉旋轉定理

* 歐幾里得定理

* 歐拉定理 (幾何學)



P


* 龐加萊 - 霍普夫定理

* 皮克定理

* 譜定理

* 婆羅摩笈多定理

* 帕斯卡定理

* 帕普斯定理

* 普羅斯定理

* 皮卡定理

* 排容原理

* 龐加萊 - 本迪克松定理

* 皮亞諾存在性定理

* 披薩定理

* 帕塞瓦爾定理



Q


* 切消定理

* 齊肯多夫定理

* 曲線基本定理

* 切除定理



R


* 儒歇定理

* 若爾當曲線定理



S


* 四色定理

* 算術基本定理

* 斯坦納 - 雷姆斯定理

* 四頂點定理

* 四平方和定理

* 斯托克斯定理

* 素數定理

* 斯托爾茲 - 切薩羅定理

* 斯通布爾代數表示定理

* Sun-Ni 定理

* 斯圖爾特定理

* 塞瓦定理

* 塞邁雷迪－特羅特定理

* 塞邁雷迪定理

* 射影定理

* 施圖姆定理

* 舒爾正交關係

* 三次互反律

* 薩維奇定理

* 樞紐定理



T


* 泰勒斯定理

* 同構基本定理

* 泰勒中值定理

* 泰勒公式

* 圖蘭定理

* 泰博定理

* 圖厄定理

* 托勒密定理



V


* 維津定理



W


* 沃爾斯滕霍爾姆定理

* 無限猴子定理

* 威爾遜定理

* 魏爾斯特拉斯逼近定理

* 微積分基本定理

* 韋達定理

* 維維亞尼定理

* 五色定理

* 韋伯定理

* 維納 - 辛欽定理

* 魏爾施特拉斯分解定理

* 五邊形數定理



X


* 西羅定理

* 西姆松定理

* 西爾維斯特 - 加萊定理

* 線性代數基本定理

* 線性同餘定理

* 西爾維斯特慣性定理

* 小平消沒定理



Y


* 有噪信道編碼定理

* 有限簡單群分類

* 演繹定理

* 圓冪定理

* 友誼定理

* 因式定理

* 隱函數定理

* 有理根定理

* 餘弦定理

* 餘切定理

* 葉戈羅夫定理



Z


* 中國剩餘定理

* 證明所有素數的倒數之和發散

* 秩 - 零化度定理

* 祖暅原理

* 中心極限定理

* 中值定理

* 詹姆斯定理

* 最大流最小割定理

* 主軸定理

* 中線定理

* 正弦定理

* 正切定理

* 最大模原理
數學家是指一群對數學有深入了解的人士，並且將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構 (數學)、空間、變化。專注於解決純數學（基礎數學）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型。



數學家的工作

所謂的數學研究工作，不僅是瞭解及整理已知的結果，還包含著創造新的數學成果與理論。會強調這點是因為許多人誤解數學是一個已經被研究完的領域。事實上，數學上還有許多未知的領域和待解決的問題，也一直有大量新的數學成果發表。這些數學成果有些是新的數學知識，有些是新的應用方式。
所以心算家、珠算家不是數學家，數學家也不見得能夠快速的做出各種計算。



動機

數學家通常在數論、拓撲學、近世代數、微分拓撲、泛函分析等領域進行研究工作。數學的多數問題來自數學本身，其它一些則來源於理論物理；除此以外，尚有少量問題來源於經濟學、決策（games），以及計算機科學。某些數學問題僅僅是因為解決它們的困難而提出的。

數千年以來，數學挑戰著人們的思維，並使人們沉迷於其中。今天，數學已經成為學習物理學、計算機科學、化學以及其它諸多自然科學的必備基礎。

諾貝爾獎沒有給數學設立單獨的獎項；在數學界，菲爾茲獎通常被視為最高榮譽。菲爾茲獎有時被稱作「諾貝爾數學獎」，每四年頒發一次；獲獎人最多四名，且均是年輕（40 歲以下）的數學家。其它主要的數學獎項還包括阿貝爾獎、Nemmers 數學獎（Nemmers Prize in Mathematics）、沃爾夫獎（Wolf Prize）、羅爾夫朔獎（Rolf Schock Prize），以及內萬林納獎（Nevanlinna Prize）。



解決數學問題的思維方式

數學家解決數學問題一般有兩種思維方式。代數型數學家往往將數學問題轉化成數字或者方程式進行思考；幾何型數學家則常常把問題轉化成圖形來思考。



差異

數學與自然科學的差異在於，自然科學中的物理理論是通過實驗測試的，而數學語句則是由數學證明支撐的，而這些證明可以被數學家「客觀」地加以驗證。如果數學家相信（通常是因為其某些特例已在某種程度上得到證實）某一語句為真，但該語句尚未被證明為真或證明為假，則稱該語句為猜想，而非一個已被證明為真的定理。

即使是在理論物理學中，一旦人們發現了有關物理世界的新的信息，其理論就有可能發生改變。相比之下，數學則以另一種方式改變：新觀點並非否定舊觀點，而是被用來將既有的觀念推廣，以便解釋更多現像。例如，單變量微積分被推廣為多變量微積分，再被推廣為流形上的分析。代數幾何從經典到現代形式的發展便是一個極好的例子：觀點發生重大的轉變，而既有的證明則絲毫沒有因此受到影響。

儘管一個定理一旦被證明就永遠是正確的，我們對一個定理的真正意義的理解之深度，則是伴隨著圍繞著該定理的數學理論的進步而增長的。一旦一個定理的使用範圍被擴大，數學家們便感到它被更好地理解了。例如，關於非零整數對素數模同餘的費馬小定理被推廣到關於不可逆數對非零整數模同餘的歐拉定理，後者又被推廣為有限群的拉格朗日定理。



趣聞


* 在可考歷史中年代最久遠的數學家一般公認是古希臘幾何學家泰勒斯。

* 史上著作與論文總量第二多的是十七世紀的著名瑞士數學家歐拉，他的紀錄一直到二十世紀才被匈牙利數學家保羅・埃爾德什打破。

* 數學家也是滿懷感情的，如歐拉，他是歷史上最多產的數學家。他有 13 個孩子，他喜歡把最年幼的孩子放在膝上，而其他的孩子則圍著他到處玩耍，正是這樣的情況下，他創造並記載了許多偉大的想法，撰寫了大量的書籍和論文，澤被後世。約翰・馮・諾伊曼，現代計算機和博弈論之父。他憑藉自己照相存儲器般的記憶力，身臨其境地向未婚妻歷數巴黎的風景名勝，最終贏得了芳心。

* 數學中也充滿了悲劇。納什 —《美麗心靈》中主人公的原型，常年生活在幻想的孤獨和煩躁中，老年時因為讀博士期間的幾篇論文而獲得了諾貝爾獎，最終得到人們的認可。其實他在純數學上許多工作要更加深刻和具有開創性。維納，著名的維納隨機過程，一個少年天才和數學巨匠。正是他父親造就了維納的天才，同時也完全摧毀了他兒子的自信。



參看


* 數學家列表

* 計算員

* 數學笑話

* 《一個數學家的辯白》

* 《數學大師：從芝諾到龐加萊》

* 《數學巨匠：從歐拉到馮・諾伊曼》

* Category: 數學題材電影

* 數學



參考文獻



外部連結


* MacTutor 數學歷史庫 （頁面存檔備份，存於網際網路檔案館），非常詳盡的數學家傳記。

* 數學家族譜計畫 （頁面存檔備份，存於網際網路檔案館），可以查詢數學家的師承源流。

* 李善蘭，創譯了許多數學名詞（日本語）
以下按國籍排列方法列出的數學家列表。

中國、法國、德國、義大利、古希臘、英國、美國、俄羅斯、挪威、瑞典、荷蘭、瑞士、比利時、匈牙利、丹麥。



中國

古代

近現代



法國



德國 / 奧地利



義大利



古希臘

古典時期

亞歷山大時期



英國



美國



俄羅斯



挪威



瑞典


* 里納特・卡爾松



荷蘭



瑞士



匈牙利


* 喬治・波利亞

* 保羅・艾狄胥



波蘭


* 巴拿赫



日本



丹麥



外部連結


* （英文）數學家週期表 （頁面存檔備份，存於網際網路檔案館）
數學對象（Mathematical object）是數學中的抽象概念。用數學的普通語言來說，對象是任何可以或已經用演繹推理和數學證明正式定義的物件。一般地，一個數學對象可以是一個能代入變數的值，從而可以用於公式裡。 經常遇到的數學對象包括數、集合、函數、表示式、幾何形狀、其他數學對象的轉換和空間。數學對象可以非常複雜。比如說，定理、證明甚至理論在證明論中被視為數學對象。

數學對象的存在是數學哲學家進行大量研究和討論的對象。



按分支分類的數學對象列表


* 數論
  
* 數、運算

* 組合數學
  
* 置換、錯排、組合

* 集合論
  
* 集合、集合劃分
  
* 函數、關係

* 幾何學
  
* 點、線、線段
  
* 多邊形（三角形、正方形、五邊形、六邊形……)、圓、橢圓、拋物線、雙曲線
  
* 多面體（四面體、立方體、八面體、十二面體、二十面體）、球體、橢球、拋物面、雙曲面、圓柱體、圓錐體

* 圖論
  
* 圖、樹、頂點、邊

* 拓撲學
  
* 拓撲空間、流形

* 線性代數
  
* 純量、向量、矩陣、張量

* 抽象代數
  
* 群
  
* 環、模
  
* 域、向量空間
  
* 群論格、序論格



參見


* 抽象物件

* 數學結構



參考文獻


* Azzouni, J., 1994. _Metaphysical Myths, Mathematical Practice_. Cambridge University Press.

* Burgess, John, and Rosen, Gideon, 1997. _A Subject with No Object_. Oxford Univ. Press.

* Davis, Philip and Reuben Hersh, 1999 [1981]. _The Mathematical Experience_. Mariner Books: 156–62.

* Gold, Bonnie, and Simons, Roger A., 2011. _Proof and Other Dilemmas: Mathematics and Philosophy （頁面存檔備份，存於網際網路檔案館）_ . Mathematical Association of America.

* Hersh, Reuben, 1997. _What is Mathematics, Really?_  Oxford University Press.

* Sfard, A., 2000, "Symbolizing mathematical reality into being,  Or how mathematical discourse and mathematical objects create each other," in Cobb, P., _et al._, _Symbolizing and communicating in mathematics classrooms:  Perspectives on discourse, tools and instructional design_. Lawrence Erlbaum.

* Stewart Shapiro, 2000. _Thinking about mathematics: The philosophy of mathematics_.  Oxford University Press.



外部鏈接


* Stanford Encyclopedia of Philosophy: "Abstract Objects （頁面存檔備份，存於網際網路檔案館）"—by Gideon Rosen.

* Wells, Charles, "Mathematical Objects."

* AMOF: The Amazing Mathematical Object Factory

* Mathematical Object Exhibit
數學小先鋒（英語：Cyberchase）是一部美國動畫影集，於美國 PBS 兒童台於 2002 年 1 月 21 日首播。採用 30 分鐘兩集的方式播出。這個影集是由 Sandra Sheppard 所創造。



背景簡介

Cyber​​chase 帶孩子們穿越網絡空間，在那裡他們面臨挑戰，在經典的善與惡之戰中運用數學的力量。當卑鄙的惡棍黑客（克里斯多福・勞埃德飾演）發起了征服虛擬宇宙的瘋狂任務時，主板向三個地球孩子尋求幫助。他們是傑基（Jackie）、馬特（Matt）和內茲（Inez）——Cyber​​chase 的英雄 —— 他們從他們的現實世界與聰明的網絡鳥 Digit（喜劇演員吉爾伯特戈特弗里德）一起旅行到網絡空間的多彩虛擬景觀，在那裡他們征服了在一場全面的鬥智鬥勇中的壞人。每一集都帶領孩子們進行由不同數學概念驅動的激動人心的冒險 —— 從在古埃及墳墓中解決時間，到在令人毛骨悚然的洞穴中破解密碼，或者在破碎的童話世界中理解數字。在他們的追求中，英雄們使用思想而不是肌肉來克服無處不在的障礙和危險。 Cyber​​chase 的每一集都以「For Real」真人表演片段結束，其中一位年輕的喜劇演員遇到了一個強化動畫故事情節中探索的數學概念的情境。



人物


* 傑基

* 馬修「馬特」

* 伊內茲

* Digit LeBoid

敵人


* 黑客

* 巴斯

* Delete



集數



參見


* 小孩大聯盟

* PBS 兒童台



參考來源



外部連結


* 網際網路電影資料庫（IMDb）上《Cyberchase》的資料（英文）
葛軍（1964 年 10 月 21 日 —），江蘇南通人，南京師範大學數學與計算機科學學院教授、碩士生導師。2004 年、2007 年、2008 年、2010 年參與普通高等學校招生全國統一考試江蘇卷數學科命題，其中 2010 年江蘇高考數學試題區分度較大、難度較高，引起學生強烈反響，被網友稱為「數學帝」，甚至媒體也使用該稱號。2012 年 11 月 16 日就任南京師範大學附屬中學校長。



高考命題

葛軍參與了 2003 年、2007 年、2008 年、2010 年江蘇卷數學學科的命題工作。2010 年高考時，部分監考教師、學生、家長認為 2010 年難度超過 2003 年，實際上這年平均分為 83 分（滿分 160 分）。考後網民戲稱其秒殺江蘇省 52 萬考生。

公眾普遍認為，葛軍的存在導致了試卷難度偏高。但在 2015 年 6 月時，葛軍於訪談中稱命題組採用組長負責制；自己是副組長，對於試卷難度的控制，自己只有建議權，沒有最終決定權。他也表示自己再也不想參與高考命題。

曾有傳聞稱，葛軍參與了 2003 年江蘇高考數學試卷命題。事實上，2003 年高考試卷為全國統一命題；2004 年起，江蘇才開始自主命題。有傳言稱，參與了 2003 年 - 2015 年江蘇數學命題工作，但其本人稱，他只參與 2004 年、2007 年、2008 年、2010 年四年的命題工作。

自從 2010 年，中國大陸各地高考出現較難的數學試卷時，就有人對命題人進行「人肉搜索」，認為試卷由葛軍所出。他曾被認為參與 2011 年廣東高考命題，後廣東省教育考試院否認了此傳言。據《現代快報》報導，葛軍本人聲稱未參加 2011 年江蘇或廣東的高考命題工作；被認為參與 2013 年安徽高考命題等。葛軍表示，凡是獨立命題的省市，一般不會外聘其他省份的老師參與高考命題工作。

對葛軍的評價主要來自其所出的高考試卷，褒貶不一。例如有專家認為此試題有創新、有區分度，也有很多學生、家長表示不滿。而江蘇數學高考試卷閱卷組專家塗榮豹教授認為，2010 年數學試卷對於知識點的覆蓋較寬，符合了考試說明的要求，該試卷有很多創新之處，體現了對考生的能力的考察，與培養創新人才的目標相符。



學術領域

葛軍為中國數學奧林匹克高級教練、江蘇省高校師資培訓中心副主任、江蘇省中小學科技教育協會常務理事、江蘇省中學數學教學研究會副理事長、南京數學學會秘書長，曾經任南京師範大學附屬實驗學校校長、江蘇省數學會普及委員會副主任，目前為南京師範大學教師教育學院副院長。其研究方向主要為：數學哲學、數學思想方法論、數學教學論、數學課程論、數學教育評價、教育數學（現代數學基本理論、思想方法；初等數學、競賽數學）、數學解題 、數學傳播等。



參見


* 普通高等學校招生全國統一考試（江蘇卷）
數學常數是指數值不變的常數，與之相反的是變數。跟大多數物理常數不一樣的地方是，數學常數的定義是獨立於所有物理測量。

數學常數通常是實數或複數域的元素。數學常數可稱為是可定義的數字（通常都是可計算的）。

其他可選的表示方法可以在數學常數（以連分數表示排列）找到。



一些精選的數學常數

注意


* 這表格是隨機排列，請參看其他的排列方式：數學常數（以連分數表示排列）。



外部連結


* Steven Finch 的數學常數主頁：https://web.archive.org/web/20031204213209/http://pauillac.inria.fr/algo/bsolve/constant/constant.html

* Steven Finch 的索引：https://web.archive.org/web/20031001222618/http://pauillac.inria.fr/algo/bsolve/constant/table.html

* Xavier Gourdon 和 Pascal Sebah 的數字、數學、常數和算法主頁：http://numbers.computation.free.fr/Constants/constants.html （頁面存檔備份，存於網際網路檔案館）

* Simon Plouffe's inverter: https://web.archive.org/web/20050812010306/http://pi.lacim.uqam.ca/eng/

* CECM's Inverse symbolic calculator (ISC) (tells you how a given number can be constructed from mathematical constants): https://web.archive.org/web/20031008114227/http://www.cecm.sfu.ca/projects/ISC/



參見


* 常數
  
* 物理常數
這是以連分數表示排列的數學常數列表。

(無理數的常數有無限長的連分數：其最後面項為...。)



另見


* 數學常數
數學心理學是利用數學模型來研究心理現象的心理學分支。用定量的方法來描述心理現象。由於研究的對象的複雜性，一般只能對研究作模糊的定性描述，但在資訊理論、控制論、統計決策論和電腦科學發展的推動下，數學心理學也發展迅速，不斷取得了新成果。用數學模型描述心理現象，其優越性不僅是它比自然語言的描述具有更大的概括性、準確性、演繹力和預測力，更重要的是它便於用計算機來模擬，為研究人工智慧創造了更好的輔助。



歷史


* 1860 年德國心理學家 費希納在心理物理學研究中，最早用數學公式描述了客觀物理量和主觀感覺強度之間的函數關係。

* 1927 年瑟斯頓在制定心理量表時提出了比較判斷率，並用公式來表明兩個刺激間的主觀距離。

* 第二次世界大戰後，在資訊理論、控制論、統計決策論和計算機科學的推動下，數學心理學發展迅速。

* 20 世紀 50 年代初，埃斯蒂斯、布希和莫斯蒂勒提出的學習模型，是這一新方向的開端。

* 目前實驗心理學的許多重要領域，如測量、決策、學習和社會的相互作用等方面，都已制定出大量的數學模型。



數學心理學的範疇


* 心理量表編制

* 學習曲線

* 記憶和遺忘曲線
《數學手冊》（俄語：«Справочник по математике»，英語：_Handbook of Mathematics_）是一本最初由蘇聯數學家И・Н・布隆施泰因（И. Н. Бронштейн）和К・А・謝門德雅耶夫（К. А. Семендяев）編輯的數學基礎知識與公式大全。

1945 年，該書在蘇聯首次出版，不久就成為科技人員與高等學校學生的技術類熱門參考書。後來，此書在流傳的過程中，又經過多人多次地翻譯、擴充、修訂和二次翻譯，以德文擴充版為中心又衍生出眾多不盡相同的分支版本。現在主要有 2 大類不同的版本在流傳，每類版本都有多種翻譯版本。



概要



另見


* 《現代分析學教程》（英國）

* 《數學指南：實用數學手冊》（_Teubner-Taschenbuch Der Mathematik_, 德國）

* 《數學大公式集》（蘇聯）

* 《數學函數手冊》（美國）

* 《現代應用數學手冊》（中國）

* 《數學百科全書》（蘇聯）

* 《工程數學手冊》(_Engineering Mathematics Handbook_, 美國)

* 《特殊函數概論》(中國)



參考資料



外部連結


* 《數學手冊》的 Goodreads 收錄頁（英文）

* 豆瓣讀書上《Handbook of Mathematics》的資料 （簡體中文）
數學教育（英語：Mathematics education）是研究數學教學的實踐和方法的學科。而且，數學教育工作者也關注促進這種實踐的工具及其研究的發展。數學教育是現代社會激烈爭論的主題之一。這個術語有個歧義，它既指各地的教室里的實踐，也指新生的一個學科，它有自己的期刊，會議，等等。這方面最重要的國際組織是數學教育國際委員會。



歷史沿革

基礎數學是多數古文明的教育系統的一部分，包括古希臘，羅馬帝國，吠陀社會和古埃及。在多數情況下，只有足夠高地位，財富或等級的男性孩童才能接受正規教育。

在柏拉圖把文科分成三藝和四術的劃分中，四術包括數學的算術和幾何領域。這個結構在中世紀歐洲所發展的經典教育的體系得到了延續。幾何的教育基於歐幾里得的_原本_。商業的學徒，如石匠，商人和借貸者需要學習和他們的行業相關的這種實用數學。

第一本英語的數學教科書由羅伯特・雷科德出版，從 1540 年的_藝術的基礎_(_The Grounde of Artes_) 開始。

在文藝復興時期，數學的學術地位下降了，因為它和手工業和貿易緊密相關。雖然在歐洲的大學裡繼續教授數學，它被視為自然哲學，形上學和道德哲學的輔助。

這個趨勢在十七世紀得到某種逆轉，阿伯丁大學在 1613 年建立數學主席職位，隨後有牛津大學在 1619 年建立幾何主席職位和劍橋大學在 1662 年設立的盧卡遜教授。但是，數學一般不在大學之外教授。例如牛頓在他在 1661 年進入劍橋三一學院之前沒有受過正規數學教育。

在十八世紀和十九世紀，工業革命導致城市人口大量增加。基本的數字技能，如描述時間，數錢和簡單算術，稱為新的城市生活的基本能力。在新的公共教育系統中，數學成了從幼年開始的課程的中心部分。

到二十世紀，數學成了所有已開發國家的核心課程的一部分。但是，多樣和變化著的關於數學教育的目的的思想導致所採用的內容和方法幾乎沒有任何整體上的一致性。



目的

在不同的時期在不同的文化和國家中，數學教育試圖達到不同的目標。這些目標包括:


* 教授給所有學生的數字技巧。

* 教授給大部分學生的實用數學（算術，基礎代數，平面和立體幾何，三角學），使得他們有能力從事貿易或手工業。

* 早期的抽象代數概念教育（例如集合和函數）

* 選擇性的數學領域的教育（例如歐式幾何）作為公理化體系的實例和演繹推理的一個模型

* 選擇性的數學領域的教育（例如微積分）作為現代社會的智力成就的一個實例

* 教授給希望以科學為職業的學生的高等數學

數學教育的方式和變化的目標一致。



標準

絕大部分的歷史時期，數學教育的標準是地域性的，由不同的學校或教師根據學生的水平和興趣來設置。

在現代，有一種趨勢是建立地區或國家標準，通常隸屬於更廣泛的學校教學大綱。例如在英國，數學教育的標準是英國國家教育大綱的一部分 [1]。在美國，美國數學教師國家委員會 [2] （頁面存檔備份，存於網際網路檔案館）制定了一系列文檔，最近的有學校數學的原則和標準 [3] （頁面存檔備份，存於網際網路檔案館），為學校數學的總體目標達成了一致。更具體的教學標準一般在州一級制定 - 譬如在加利福尼亞，加州教育理事會為數學教育制定了標準 [4].



水平

不同水準的數學教授給不同年齡的學生。一個大致的對算術和代數的子課題的教學年齡的參考如下:


* 加法：5-7 歲；更多的位數 8-9 歲

* 減法：5-7 歲；更多的位數 8-9 歲

* 乘法：7-8 歲；更多的位數 9-10 歲

* 除法：8 歲；更多的位數 9-10 歲

* 簡單代數：11-12 歲

* 代數：13 歲以上



方法

任何特定環境下的方法很大程度上由相關的教育系統所設定的目標所決定。教授數學的方法包括:


* 經典教育 - 中世紀的經典教育大綱中的數學教育通常基於歐幾里得的《幾何原本》，它被作為演繹推理的範式來教授。

* 死記硬背 - 通過重複和記憶來教授數學結果，定義和概念。通常用於乘法表。

* 習題 - 通過完成大量同類的練習來傳授數學技巧，例如加帶分數或者解二次方程。例如，古氏積木（Cuisenaire rods）來教授分數。

* 問題求解 - 通過給學生無標準答案，不同尋常的，和有時候無解的問題來培養數學的智力，創造力和啟發式思考。問題的範圍可以從應用題到像國際數學奧林匹克競賽這樣的國際數學競賽問題。

* 新數學 - 一種專注於集合論這樣的抽象概念而不是實際應用的教授數學的方法。

* 歷史方法 - 教授在一個歷史，社會和文化背景下數學的發展過程。比純粹抽象的方式提供了更多的人文樂趣。

這些方法不是所有的，而且任何數學教育系統很可能包含很多不同的方法。



數學教師

這些人曾在一生中某一階段教授數學，但他們在其他方面更為著名：


* Lewis Carroll, 英國作家 Charles Dodgson 的筆名，曾在牛津基督教堂講授數學

* 道爾頓，英國化學家和物理學家，曾在曼徹斯特，牛津和約克的學校和大學教數學。

* Tom Lehrer, 美國歌曲作家和諷刺作家，曾在哈佛和麻省理工學院教數學。

* Georg Joachim Rheticus, 奧地利繪圖家，哥白尼的學生，曾在 Wittenberg 大學教數學。

* Edmund Rich, 13 世紀坎特伯雷大主教，在牛津和巴黎的大學教過數學。

* 阿奇・威廉斯，美國運動員，奧運金牌得主，在加里福尼亞高中教過數學。



相關條目



參考資料



外部連結


* 數學教育史

* Knowledge Web of Mathematics Teachers: 數學教師知識庫 （頁面存檔備份，存於網際網路檔案館）

* Taiwan Association for Mathematics Education: 台灣數學教育學會 （頁面存檔備份，存於網際網路檔案館）

* 學術期刊（印刷版）
  
* 數學教育研究
  
* 數學教育研究期刊
  
* 數學學習

* 學術期刊（在線版）
  
* 臺灣數學教育期刊
  
* 台灣數學教師電子期刊
  
* 數學教育哲學期刊主頁 （頁面存檔備份，存於網際網路檔案館）
  
* GPIMEM - Technology, other media and Mathematical Education Research Group - State University of São Paulo (UNESP), Rio claro Campus, Brazil
  
* GPIMEM - Technology, other media and Mathematical Education Research Group
在機率論和統計學中，一個離散性隨機變數的期望值（或數學期望，亦簡稱期望，物理學中稱為期待值）是試驗中每次可能的結果乘以其結果機率的總和。換句話說，期望值像是隨機試驗在同樣的機會下重複多次，所有那些可能狀態平均的結果，便基本上等同「期望值」所期望的數。期望值可能與每一個結果都不相等。換句話說，期望值是該變數輸出值的加權平均。期望值並不一定包含於其分布值域，也並不一定等於值域平均值。

例如，擲一枚公平的六面骰子，其每次「點數」的期望值是 3.5，計算如下：

　
: ${\begin{aligned}\operatorname {E} (X)&=1\cdot {\frac {1}{6}}+2\cdot {\frac {1}{6}}+3\cdot {\frac {1}{6}}+4\cdot {\frac {1}{6}}+5\cdot {\frac {1}{6}}+6\cdot {\frac {1}{6}}\\[6pt]&={\frac {1+2+3+4+5+6}{6}}=3.5\end{aligned}}$

不過如上所說明的，3.5 雖是「點數」的期望值，但卻不屬於可能結果中的任一個，沒有可能擲出此點數。



數學定義

如果 $X$ 是在機率空間 $(\Omega ,F,P)$ 中的隨機變數，那麼它的期望值 $\operatorname {E} (X)$ 的定義是：

　
: $\operatorname {E} (X)=\int _{\Omega }X\,\mathrm {d} P$

並不是每一個隨機變數都有期望值的，因為有的時候上述積分不存在。

如果兩個隨機變數的分布相同，則它們的期望值也相同。

如果 $X$ 是離散的隨機變數，輸出值為 $x_{1},x_{2},\ldots $ ，和輸出值相應的機率為 $p_{1},p_{2},\ldots $ （機率和為 1）。

若級數 $\sum _{i}p_{i}x_{i}$ 絕對收斂，那麼期望值 $\operatorname {E} (X)$ 是一個無限數列的和。

　
: $\operatorname {E} (X)=\sum _{i}p_{i}x_{i}$

如果 $X$ 是連續的隨機變數，存在一個相應的機率密度函數 $f(x)$ ，若積分 $\int _{-\infty }^{\infty }xf(x)\,\mathrm {d} x$ 絕對收斂，那麼 $X$ 的期望值可以計算為：

　
: $\operatorname {E} (X)=\int _{-\infty }^{\infty }xf(x)\,\mathrm {d} x$ 。

是針對於連續的隨機變數的，與離散隨機變數的期望值的算法同出一轍，由於輸出值是連續的，所以把求和改成了積分。



性質


* 期望值 $E$ 是線性函數。

　
: $\operatorname {E} (aX+bY)=a\operatorname {E} (X)+b\operatorname {E} (Y)$

　
: $X$ 和 $Y$ 為在同一機率空間的兩個隨機變數（可以獨立或者非獨立）， $a$ 和 $b$ 為任意實數。

* 一般的說，一個隨機變數的函數的期望值並不等於這個隨機變數的期望值的函數。

　
: $\operatorname {E} (g(X))=\int _{\Omega }g(x)f(x)\,\mathrm {d} x\neq g(\operatorname {E} (X))$

* 在一般情況下，兩個隨機變數的積的期望值不等於這兩個隨機變數的期望值的積。

　
: 當 $\operatorname {E} (XY)=\operatorname {E} (X)\operatorname {E} (Y)$ 成立時，隨機變數 $X$ 和 $Y$ 的共變異數為 0，又稱它們不相關。特別的，當兩個隨機變數獨立時，它們共變異數（若存在）為 0。



期望值的運用

在統計學中，估算變數的期望值時，經常用到的方法是重複測量此變數的值，再用所得數據的平均值來估計此變數的期望值。

在機率分布中，期望值和變異數或標準差是一種分布的重要特徵。

在古典力學中，物體重心的算法與期望值的算法十分近似。

在賭博中，期望值又稱預期值、長期效果值、合理價值、期待值，都能完全貼和，而其計算的方式為：

　
: $\mathrm {EV} $ （期望值） $=$ 勝的機率 $\times $ 獲勝的籌碼 $-$ 輸的機率 $\times $ 輸掉的籌碼

期望值也可以通過變異數計算公式來計算變異數：

　
: $\operatorname {Var} (X)=\operatorname {E} (X^{2})-\operatorname {E} (X)^{2}$

（平方期望值減的期望值平方）



參考文獻
在數學哲學中，構成主義或構造主義認為要證明一個數學對象存在就必須把它構造出來。如果假設一個對象不存在，並從該假設推導出一個矛盾，對於構成主義者來說，不足以證明該對象存在。（構造性證明）

構成主義常常和直覺主義混淆，實際上，直覺主義只是構成主義的一種。直覺主義強調數學的基礎建立在數學家們個人的直覺上，這樣就把數學在本質上作為一種主觀活動。構成主義不這樣強調，並和對數學的客觀看法保持一致。



構造主義數學

構造主義者的數學使用構造性邏輯，該邏輯將真實性和證明等同起來。要構造性的證明 $P\lor Q$ ，我們必須證明 $P$ 或 $Q$ ，或兩者同時成立。要構造式的證明 $\exists _{x\in X}P(x)$ ，我們必須給出一個特定的 $a\in X$ 和一個 $P(a)$ 的證明。要構造式的證明 $\forall _{x\in X}P(x)$ ，我們必須給出一個算法，它對於每個 $a\in X$ 輸出一個 $P(a)$ 的證明。

構造主義同時拒絕採用無窮對象，例如無窮集合和序列。

實分析中的例子

在經典實分析中，實數構造的方法之一是把它作為有理數的柯西列對。這個構造在構造主義數學中不成立，因為序列是無窮的。

作為替換，我們把實數表示為一個算法 $f$ ，它取一個正整數 $n$ 然後輸出一對有理數 $(f_{\ell }(n),f_{r}(n))$ 使得

　
: $m\leq n\implies f_{\ell }(m)\leq f_{\ell }(n)$

　
: $m\leq n\implies f_{r}(n)\leq f_{r}(m)$

　
: $0\leq f_{r}(n)-f_{\ell }(n)\leq {1 \over n}$

使得當 $n$ 增大，區間 $[f_{\ell }(n),f_{r}(n)]$ 變小，而前 $n$ 個這種區間的交不空。我們使用 $f$ 來計算它所表示的實數的任何精度的有理數近似。

在這個定義下，實數 ${\sqrt {2}}$ 可以用一個算法表示，它對於每個 $0\leq i\leq n$ 計算出最大的整數 $a_{i}$ 使得 $a_{i}^{2}\leq 2i^{2}$ 然後輸出 $\left(\mathrm {max} \left\{{a_{i} \over i}\right\},\mathrm {min} \left\{{a_{i}+1 \over i}\right\}\right)$ 。

這個定義和採用柯西列的經典定義相關，除了要求序列是構造式的：也就是說，我們有個計算第 $n$ 個序列中的元素的算法，所以有一個計算任意精確的對 ${\sqrt {2}}$ 的有理數近似的算法。

注意構造性要求使得上述定義和通常非構造主義的實數定義不相容：因為每個算法 $\xi $ 必須是一個有限指令集 $\Sigma $ 上的有限序列，存在一個雙射函數 $f:\Sigma ^{*}\rightarrow \mathbb {N} $ 。所以所有算法的集合和所有自然數的集合有同樣的基數。當使用一個非構造式的定義時，康托對角線論證證明實數比自然數有更高的基數。



數學家們的態度

傳統上，數學家對於數學構造主義曾經持懷疑態度，如果不是完全反對的話，很大程度上這是因為它對構造分析的限制．

這些觀點希爾伯特在 1928 年曾有強烈表示．他在《數學基礎》（Die Grundlagen der Mathematik）寫道：「把排中律從數學家那裡拿走，就像把望遠鏡從天文學家那裡拿走，或是從拳擊手那裡把拳頭拿走一樣」[1]
（排中律在構造性邏輯中不成立）。

Errett Bishop，在他 1967 年的著作《構造性分析學基礎》（Foundations of Constructive Analysis）中，作了很多驅散這種恐怖，他的辦法是用構造性的框架中發展出傳統的分析學的大部分．

但是，不是所有數學家都認為 Bishop 非常成功，因為的他的書必須比經典分析教科書更複雜．

無論如何，多數數學家不認為應該把自己限制到構造主義方式，甚至當可以這樣做時。



對構成主義有貢獻的數學家


* 克羅內克（Leopold Kronecker）

* L.E.J. Brouwer

* 保羅・洛倫岑

* Errett Bishop



分支


* 構造性邏輯

* 構造主義類型理論

* 構造主義分析

* 可計算性邏輯



參見


* 數學直覺主義

* 直覺主義類型理論

* 有限主義

* 博弈語義學

* 構造性證明



參考來源



外部連結


* 可計算邏輯主頁
數學遊戲即包含了數學中的遊戲和使用數學玩的遊戲。



遊戲中的數學


* 博弈論

* 康威的組合博弈論和超現實數



使用數學玩遊戲

趣味數學上的著名人物，他們都進行了不少和數學遊戲有關的研究，或發明了一些數學遊戲。


* 康威

* 葛登能

* 霍夫斯泰特

* 亨利・杜德耐

* 皮亞特・海恩

* 森姆・萊特



數學中的遊戲

大部分數學遊戲的規則都非常簡單，但解決它們時，有時卻需用到很高深的幾何學、圖論、拓撲學、組合數學、邏輯學或博弈論等的知識。對某些數學遊戲的研究，更有助推動一些數學話題的發展。不少數學家都是數學遊戲的愛好者。



參見


* 已解遊戲

* 趣味數學



外部連結


* Winarc，有很多經典數學遊戲的程式（Windows）

* Plastelina Logic Games （頁面存檔備份，存於網際網路檔案館）
這是一個數學猜想列表。



已被證明的


* 費馬猜想

* 康威－諾頓猜想

* 魏依猜想

* 幾何化猜想

* 龐加萊猜想

* 卡塔蘭猜想

* 谷山 - 志村猜想

* 天使問題

* 法伊特 - 湯普森定理

* 怪獸月光理論

* ε- 猜想

* 四色猜想

* 弱哥德巴赫猜想

* 漢娜・諾伊曼猜想

* 克卜勒猜想

* 卡迪森－辛格問題



已知不成立的


* 歐拉猜想

* 默滕斯猜想



尚未被證明或證否的


* Abc 猜想（望月新一自稱已證明）

* 吾鄉 - 朱加猜想

* 貝赫和斯維訥通 - 戴爾猜想

* 布羅卡猜想

* 考拉茲猜想

* 克拉梅爾猜想

* 歐德斯 - 史特勞斯猜想

* 吉爾布雷斯猜想

* 哥德巴赫猜想

* 希爾伯特 - 史密斯猜想

* 霍奇猜想

* 不變子空間問題

* 雅可比猜想

* 勒穆瓦納猜想

* 梅森猜想

* 佩特森圖

* 卡塔蘭猜想

* 黎曼猜想
  
* 廣義黎曼猜想
  
* 希爾伯特 - 波利亞猜想

* 哈代 - 李特爾伍德第二猜想

* 孿生素數猜想

* 阿廷原根猜想

* 阿廷 L 函數猜想

* 新梅森猜想

* 最大素數差猜想



另見


* 千禧年大獎難題

* 未解決的數學問題

* 未解決問題列表

* 數學定理列表

* ZFC 系統無法確定的命題列表
理論（英語：theory），又稱學說或學說理論，指人類對自然、社會現象，按照已有的實證知識、經驗、事實、法則、認知以及經過驗證的假說，經由一般化與演繹推理等等的方法，進行合乎邏輯的推論性總結。

接近科學的學說是科學的，反之則是違背科學的或者說偽科學；任何自然科學的產生，源自對自然現象觀察。
人類藉由觀察實際存在的現象或邏輯推論，而得到某種學說。任何學說在未經社會實踐或科學試驗證明以前，只能屬於假說。如果假說能藉由大量可重現的觀察與實驗而驗證，並為眾多科學家認定，這項假說就可被稱為科學理論。



著名理論


* 心理學：古典制約、操作制約；

* 哲學：思辨理性；

* 數學：集合論、混沌理論、圖論、奧卡姆剃刀、計算理論、數論和概率論；

* 統計學：極值理論；

* 物理學：牛頓力學、相對論、量子力學、標準模型、弦理論、超弦理論、大統一理論、M 理論、聲學理論、天線理論、萬物理論、卡魯扎 - 克萊恩理論 、迴圈量子重力論；

* 行星科學與地球科學；

* 氣象學：全球暖化理論；

* 地理學：大陸漂移學說、板塊構造學說；

* 生物學：自然選擇理論、演化論、內共生學說、中性理論；

* 計算機科學：算法資訊理論、計算機理論；

* 經濟學：微觀經濟、宏觀經濟、博弈論、理性選擇理論；

* 管理學：X 理論、Y 理論、Z 理論；

* 性科學：樓梯理論；

* 社會學：批判社會理論、價值論；

* 人類學：批判理論；

* 國際關係學：霸權穩定論、民主和平論、世界體系理論；

* 文學：文學理論；

* 音樂：樂理；

* 其他理論：燃素說、限制理論、123 理論。



參見



外部連結


* "How science works: Even theories change", _Understanding Science_ by the University of California Museum of Paleontology.（英文）

* What is a Theory?（英文）
數學用表是計算器普及之前，用於簡化並加快運算速度的表格。數學用表中列出了大量不同變量進行計算後的結果，使用者可以通過查表直接得到運算結果。最常見的數學用表是乘法表，多數人在早期的數學課上就學習了這一表格：

例如要查找 7×8 的結果，可以查詢第 7 行第 8 列並得到結果 56。



歷史和用法

目前已知最早的三角函數表是由喜帕恰斯製作的。常用對數和反對數常用於快速乘、除及乘冪，包括 _n_ 次方根的計算。特殊函數表也常被使用。例如常態分布的累積分布函數到今天仍在很多場合使用，特別是在學校。

由於早期人為計算的對數表中存在大量錯誤，出現了差分機用於大對數表的計算。二戰期間，早期的八位計算機出現並用於計算火炮專用的數學用表。1972 年以來，科學計算器的大量使用也讓大部分數學用表退出歷史舞台。



參見


* 矩陣

* 隨機數表

* 真值表



外部連結


* （英文）數學用表生成器 -- 使用 JavaScript 生成加法、減法、乘法、除法或乘冪的數學用表
在數學哲學和邏輯中，直覺主義（英語：Intuitionism），或者新直覺主義（Neointuitionism ）（對應於前直覺主義（Preintuitionism）），是用人類的構造性思維活動進行數學研究的方法。也可翻譯成直觀主義。

任何數學對象被視為思維構造的產物，所以一個對象的存在性等價於它的構造的可能性。這和古典的方法不同，因為根據古典方法，一個實體的存在可以通過否定它的不存在來證明。對直覺主義者來說，這是不正確的：不存在的否定不表示可能找到存在的_構造_證明。正因為如此，直覺主義是數學結構主義的一種；但它不是唯一的一類。

直覺主義把數學命題的正確性和它可以被證明等同起來；如果數學對象純粹是精神上的構造，還有什麼其它法則可以用作真實性的檢驗呢（如同直覺主義者所說的一樣）？這意味著直覺主義者對一個數學命題的含義，可能與古典的數學家有不同理解。例如，說 _A_ 或 _B_，對於一個直覺主義者，是宣稱 _A_ 或是 _B_ 可以被「證明」，而非兩者之一「為真」。值得一提的是，只允許 _A_ 或 非 _A_ 的排中律，在直覺主義邏輯中是不被允許的；因為不能假設人們總是能夠證明命題 _A_ 或它的否定命題。

直覺主義也拒絕承認實無窮的抽象概念；也就是說，它不把像所有自然數的集合或任意有理數的序列這樣的無窮當作實體來考慮。這要求將集合論和微積分的基礎分別重新構造為構造主義集合論和構造主義分析。



對直覺主義有貢獻的人


* 魯伊茲・布勞威爾

* 阿蘭德・海廷

* 史蒂芬・克萊尼

* 麥可・達米特



直覺主義數學的分支


* 直覺邏輯

* 直覺主義算術

* 直覺類型理論

* 直覺主義集合論

* 直覺主義微積分



參看


* 超直覺主義

* 反現實主義

* BHK 釋義

* 直覺類型論

* 經典邏輯

* 中間邏輯

* 線性邏輯

* 構造性證明

* Curry-Howard 對應

* 可計算性邏輯

* 博弈語義



資源


* Article on Intuitionism. 羅德里奇哲學百科全書 （英語）.
數學科學研究(Studies in Mathematical Sciences)，是由加拿大科學與文化研究與發展中心 (Canadian Research & Development Center of Sciences and Cultures) 2010 年 11 月份創辦，總部位於魁北克省蒙特婁市。 《數學科學的研究》是一個季度開放存取同行評審科學期刊，涵蓋純數學和應用數學，包括微分方程、模糊數學、代數幾何、概率和統計、金融數學和生物數學等等。現任主編，首席盧卡問：贊博尼（里昂大學）。



外部連結


* 數學科學研究 （頁面存檔備份，存於網際網路檔案館）
美國國家數學科學研究所（英語：Mathematical Sciences Research Institute），簡稱 MSRI，位於美國著名高等學府加州大學柏克萊分校後山，是世界最重要的數學研究中心之一。研究所每年有大約 2000 名數學家及相關科學家從世界各地來訪研究所，包括相當數量的菲爾茲獎（數學界最高獎）得主和阿貝爾獎得主。研究所的運行經費主要來自於美國國家科學基金會，還收到世界上約 100 所高校和機構的資助。

1982 年，在美國國家科學基金會的支持下，研究所由華裔數學大師、柏克萊數學系教授陳省身等人在柏克萊校園內建立，作為獨立非盈利性的研究所 、旨在促進美國國家數學及相關學科的研究。創所總監為陳省身教授。1985 年研究所搬遷到柏克萊後山、俯瞰舊金山灣，緊鄰柏克萊空間科學實驗室。研究所新建的主樓被命名為「陳省身樓」（Shiing-Shen Chern Hall）。



創立歷史

1978 年，美國國家科學基金會提議建立一個旨在促進美國數學研究的研究所。同年，陳省身、艾沙道爾・辛格及卡爾文・C・辛格等加州大學柏克萊分校數學教授向美國國家科學基金會申請在加州大學柏克萊分校建立美國國家數學科學研究所 。1981 年，陳省身等人的提案獲批；1982 年 9 月，美國國家數學科學研究所在柏克萊校園內正式成立，陳省身教授擔任首任總監。

1985 年研究所搬遷到柏克萊校園後山，緊鄰柏克萊空間科學實驗室，研究所新建的主樓被命名為「陳省身樓（Shiing-Shen Chern Hall）」 。



聲譽現狀

美國國家數學科學研究已成為世界最重要的數學研究中心之一，通過一個由 10 位世界頂尖數學家組成的委員會治理 ，研究所的運行經費主要來自於美國國家科學基金會 。研究所的主要研究人員包括研究教授、研究員和博士後研究員等。每年有大約 2000 名數學家或相關科學家從世界各地到訪研究所，包括相當數量的菲爾茲獎得主和阿貝爾獎得主。

為了促進數學教育，研究所提供暑期研究生課程和本科生課程，以及初中生、高中生等數學學習專案。此外，研究所把舉辦過的演講錄影后上載網際網路，供公眾免費觀看。



歷任總監



參考資料

除另有註明外，所有參考資料均為英文。



外部連結


* MSRI 官方網站 （頁面存檔備份，存於網際網路檔案館）

* MSF 轄下數學研究所一覽 （頁面存檔備份，存於網際網路檔案館）
數學突破獎（Breakthrough Prize in Mathematics）是 2013 年由尤里・米爾納與馬克・扎克伯格共同設立的獎項。2016 屆開始在突破獎外還頒發新視野獎。

第一屆於 2014 年（2015 年獎，前一年頒發）頒發給西蒙・唐納森、馬克西姆・孔采維奇、雅各・盧里、陶哲軒與理查・泰勒，之後每一年有一位獲獎者，每位獲獎者各得 300 萬美元。



獲獎名單



參考文獻
數學笑話是一種關於數學和數學家的幽默，有時來自於一些數學術語的雙關含義，有時來自於對數學的一些誤解。



觀念

進位制相關


* 這個世界上有 10 種人，懂二進位的人與不懂二進位的人。（二進位的 "10" 等於十進位的 2）

數學概念相關


* 老闆給了工程師、物理學家和數學家每個人一桶油漆，讓他們分別把牆塗滿。過了一會，老闆走進工程師的房子裡，發現只有一面牆被塗了漆。工程師說：「我塗完才發現油漆不夠用！」老闆又走進物理學家的房子看，發現什麼都沒塗，物理學家說：「我計算了一下，發現油漆不夠用就沒塗了。」最後老闆走進數學家的房間一看，發現牆全被塗滿了油漆，而且桶裡的油漆竟然一點沒少！老闆很驚訝，問數學家怎麼回事。數學家答道：「很簡單，我只塗了所有的有理點！」後來數學家還把一桶油漆分成了兩桶，送了一桶給物理學家，從此成了油漆大亨。

數學家的刻板印象相關


* 數學家、生物學家和物理學家坐在咖啡廳里，看著人們進出對面的房子。首先，他們看見兩個人進去；過了一段時間，卻看到三個人出來。物理學家說：「我們測量得不準確。」生物學家說：「他們一定是繁殖了。」數學家說：「如果再有一個人進去，房子就空了。」

* 天文學家、物理學家和數學家坐在蘇格蘭的火車上。天文學家往窗外看了看，見到一隻黑色的綿羊，說：「奇怪。蘇格蘭的綿羊是黑的！」物理學家說：「不，不。只有一些蘇格蘭的綿羊是黑的。」數學家說：「你們都錯了。在蘇格蘭，在這一時刻，至少有一隻綿羊，且這只綿羊至少從我們這個位置看過去是黑的。」

* 社會學家、物理學家和數學家每人給一條繩，要求圍出最大的面積。社會學家想了一會，圍出了一個正方形。物理學家想到圓的面積比同周長的正方形更大，於是就圍了一個圓，並且對數學家說：「你能圍出比這更大的嗎？！」數學家把繩子將自己圍了起來，說：「我現在所站的位置定義為我圍的面積的外面！」



計算

數學推論

多數笑話是基於數學證明，例如這個證明女人是邪惡的：

　
:

有些笑話是來自對算式的曲解，例如

　
: ${\Big (}\lim _{x\to 8}{\frac {1}{|x-8|}}=\infty {\Big )}\implies {\Big (}\lim _{x\to 3}{\frac {1}{|x-3|}}=\omega {\Big )}$

以及以下的偶然對消

　
: ${\frac {64}{16}}={\frac {\not 64}{1\not 6}}={\frac {4}{1}}=4$

　
: ${\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {1}{x}}={\frac {\not \mathrm {d} }{\not \mathrm {d} x}}{\frac {1}{x}}={\frac {}{x}}{\frac {1}{x}}=-{\frac {1}{x^{2}}}$

　
: ${\frac {\sin x}{n}}={\frac {{\text{si}}\not {\text{n}}\ x}{\not n}}={\text{six}}=6$

　
: ${\frac {f(g(x))}{g(x)}}={\frac {f({\cancel {g(x)}})}{\cancel {g(x)}}}=f$



拓撲

有一個笑話是說，拓撲學家不能區分咖啡杯和甜甜圈，這是因為一個足夠柔軟的甜甜圈可以捏成咖啡杯的形狀，二者是在拓撲上是同胚的，可以一連串的連續變換將甜甜圈變換為咖啡杯的形狀。



諧音哏

基於諧音或雙關的笑話可能會根據具體語言不同而有很大差別。例如，中文數學笑話：

一天，正弦函數 ${\text{sin}}(x)$ 出門去聽相聲。晚上它的家人聽到有人敲門，打開門之後發現門外站著一個很長很長的多項式。

家人問：「請問你是誰？」

多項式回答：「我是 ${\text{sin}}(x)$ 啊！」

「你怎麼變成這樣了？」家人十分不解。

「因為太樂（泰勒）了！」（正弦函數的泰勒級數是一個多項式）

英語數學笑話例子：

> When Noah sends his animals to go forth and multiply, a pair of snakes replies "We can't multiply, we're adders" – so Noah builds them a log table.
> 
> 

這個笑話有四個雙關語：adder 可以指極北蝰和做加法的人；multiply 可以指繁殖和乘法； log 可以指樹幹和對數； table 可以指桌子和表格。



相關連結


* 笑話

* 球體奶牛

* 科學笑話
數學中，有一組常在數學表達式中出現的符號。數學工作者一般熟悉這些符號，使用時不一定會加以說明。但絕大多數常見的符號都有相應標準或 Unicode 符號說明等加以規範。

下表列出很多常見數學符號，並附有名稱、讀法和應用領域。第三欄為非正式定義，第四欄提供簡單例子。



數學符號表



注釋



參見


* 數學符號

* 用於數學、科學和工程的希臘字母

* 數學字母數字符號

* 數學常數

* 邏輯符號表



外部連結


* Compendium of Mathematical Symbols - Math Vault （頁面存檔備份，存於網際網路檔案館）

* Math Symbols List - RapidTables （頁面存檔備份，存於網際網路檔案館）

* Jeff Miller: _Earliest Uses of Various Mathematical Symbols_

* TCAEP - Institute of Physics
MathType 是由 Design Science 公司設計的一個可以在 Word、PowerPoint 等字處理軟體和演示程式中編輯科學方程式編輯器。支援 TeX 和 LaTeX，以及國際標準 MathML，並能夠把方程式轉化為支援 Web 的各種圖形（GIF 等），也支援 WMF 和 EPS 輸出。截至 2018 年 9 月，目前最新的版本是 7.3（Windows 中文版）。

MathType 是強大的數學方程式編輯器，與常見的文書處理軟體和演示程式配合使用，能夠在各種文件中加入複雜的數學方程式和符號，可用在編輯數學試卷、書籍、報刊、論文、幻燈演示等方面，是編輯數學資料的得力工具。MathType 與常見文書處理工具緊密結合，支援 OLE（物件的連結與嵌入），可以在任何支援 OLE 的文書處理系統中呼叫（從主選單中選擇 "插入 -> 物件" 在新物件中選擇 "MathType"），幫助使用者快速建立專業化的數學技術文件，對 Word 或 WPS 等文書處理系統的支援相當好。

MathType 實現「所見即所得」的工作模式，它可以將編輯好的方程式儲存成多種圖片格式或透明圖片模式，可以很方便的添加或移除符號、表達式等模板（只需要簡單地用滑鼠拖進拖出即可），也可以很方便地修改模板。

MathType (數學方程式編輯器) 提供以下功能：
1. 直觀易用、所見所得的使用者介面，與 Windows, Macintosh 環境中各種文書處理軟體和出版軟體相容。
2. 自動智慧型改變方程式的字型和格式，適合各種複雜的方程式，支援多種字型。
3. 支援 TeX 和 LaTeX，以及國際標準 MathML，並能夠把方程式轉化為支援 Web 的各種圖形 （如 Gif 等），也支援 WMF 和 EPS 輸出。
4. 附加七十多種專用符號字型，數百種方程式符號和模版，涵蓋數學、物理、化學、地理等科學領域。



參見


* 方程式編輯器



外部連結


* MathType 官網 （頁面存檔備份，存於網際網路檔案館）

* Mathtype 7 中文版下載 （頁面存檔備份，存於網際網路檔案館）

* MathType 使用技巧 （頁面存檔備份，存於網際網路檔案館）
數理經濟學（英語：mathematical economics）是運用數學方法來闡述經濟學理論和分析經濟學問題的學科。從廣義上說，數理經濟學是運用數學模型來進行經濟分析，解釋經濟學現象的理論。從狹義上來說，是特指法國經濟學家瓦拉斯（Léon Walras）開創的一般均衡理論體系。通常可分為靜態分析與動態分析。

這個理論首先設立「人是理性的」這個假設，然後利用各種數學方法，來模擬各種經濟學現象，並進推論出有關問題的解決方案。



參考文獻


* 《數理經濟學的基本方法 》蔣中一
表達式（expression）此處是數學表達式（mathematical expression）的簡稱，在數學領域中是一些符號依據上下文的規則，有限而定義良好的組合。數學符號可用於標定常數、變數、操作、函數、括號、標點符號和分組，幫助確定操作順序以及有其它考量的邏輯語法。

表達式隨語境或不同領域學科也稱：表示式、數學式、運算式（operation expression）、表式、陳式、算式；數學術語若是複合詞，表達式也常簡作「式」；例如：代數式（algebraic expression）、漸近式（asymptotic expression）。



範例

表達式有簡單的，例如：

　
: : $0+0$

　
: $8x-5$ （線性多項式）

　
: $7{{x}^{2}}+4x-10$ （二次多項式）

　
: ${\frac {x-1}{{{x}^{2}}+12}}$ （有理分式）

也有複雜的：

　
: : $f(a)+\sum _{k=1}^{n}\left.{\frac {1}{k!}}{\frac {d^{k}}{dt^{k}}}\right|_{t=0}f(u(t))+\int _{0}^{1}{\frac {(1-t)^{n}}{n!}}{\frac {d^{n+1}}{dt^{n+1}}}f(u(t))\,dt.$



各種表達式的分類列表

數學表達式的各種形式包括了算術、多項式、代數、閉合形式和解析的表達式。下表列出了這些種類中所可能包含的元素。

 



語法與語義

語法

表達式是一個句法結構，它必須具有良好定義的形式。表達式中的運算符必須在正確位置有正確的輸入數，組成這些輸入的字符必須是有效的，具有明確的運算次序等。違反語法規則的字符，不會構成有效的數學表達式。例如，在一般算術符號中，表達式 1 + 2 × 3 是形式良好的，而下面的表達式則不是：

　
: $\times 4)x+,/y$ .

語義

表達式的語義是對語句意義的研究，邏輯語義學是關於所傳達的意義。在代數中，可用表達式指定一個值；而這個結果值取決於對式中變數所賦予的值，經由附加語義的運算符操作後以確定該值。語義的選擇則根據表達式的上下文。同一個表達式 1 + 2 × 3 可能會有不同結果（依算數慣例的結果為 7，也可能是 9），這取決於上下文中隱含的運算次序。

語義規則可以聲明某些表達式並無指定值（例如，當它們除以 0 時）；對這表達式稱為未定義，但它們仍然以良好的形式表現出來。廣義來說，表達式的意義並不侷限於指定值；例如，表達式可用於指定條件，表示要被求解的方程式，或將其視為可根據某些規則而操作的對象。有指定值的表達式同時也代表了有假設前提，例如與運算符 $\oplus $ 有關的假設前提，會指定一個內部的直接和（direct sum）。

形式語言和 lambda 演算

表達式和其賦值曾在 1930 年代由阿隆佐・邱奇和 Stephen Kleene 在其 $\lambda $ 演算中被公式化。 $\lambda $ 演算對現代數學和電腦程式語言的發展都曾有過重大的影響。

 $\lambda $ 演算有著一個更有趣的推論，在某些情況之下，兩個表達式的等值與否是無法決定的。而且這個推論在任一和 $\lambda $ 演算有同樣功用的系統內也都是成立的。



變數

許多數學表達式中包括變數，變數又區分為自由變數或約束變數兩種。對於自由變數賦值的一給定組合，進行對表達式的評估，然而這些賦值的某些組合在評估整句表達式後的結果，可能沒有定義。因此一個表達式表示一個函數，其輸入是賦予自由變數的值，其輸出是表達式的結果值。

舉例來說，表達式 ${\frac {x}{y}}$ ，分別使自由變數 $x$ 和 $y$ 定值為 $10$ 和 $5$ ，其輸出為數字 $2$ ； 
但注意在 $y$ 值為 $0$ 時，則這表達式_沒有定義_。

數學表達式的評估取決於上下文背景對式中運算符的定義，賦值的定義域和評估結果的域。如果兩個表達式之中的變數，對於它們賦值的每一種組合都產生相同的輸出，則這兩個表達式被認定為相等，即它們實為相同的函數。

例如，表達式 $\sum _{n=1}^{3}2nx$ 有自由變數 $x$ 、約束變數 $n$ 、常數 $1,2,3$ 、兩個內含的乘法算符和一個總和算符。 
此一表達式和另一較簡單的表達式 $12x$ 相等。 $x=3$ 時的值為 $36$ 。



參見


* 表達式 (程式)

* 代數閉包

* 組合子邏輯

* 函數式編程

* 方程式

* 不等



外部連結


* Axiomatic Theory of Formulas - theory of expressions on high abstraction level.

* Plot mathematical expressions （頁面存檔備份，存於網際網路檔案館） this system plots math equations, graphs, diagrams, and even animated cartoons of transformation of math expressions and arithmetic operations. Knowledge of TeX not required.
《數學評論》（英語：Mathematical Reviews）是美國數學學會發行的一份雜誌兼線上資料庫，內含數學、統計學與計算機科學領域出版品的摘要或評價。部份評論也有發行單行本。



評論

《數學評論》於 1940 年創刊，旨在評審所有的數學研究出版品。至 2007 年 11 月為止，已收集超過 220 萬筆資料。作者群由編輯群選出各領域學有專精之志願者組成。目前同質的期刊僅有德文的 Zentralblatt für Mathematik 與俄文的Реферати́вный журна́л。



資料庫

《數學評論》的資料在 1980 年代進行了數位化。這些內容成為《數學評論科學網》MathSciNet 的一部分，這套系統整合了評論與論文引用資訊（然限於 (MathSciNet）所收文章）。《數學評論》與 MathSciNet 已成為數學研究者的常用工具之一，但是此資料庫會辨認 IP，必須在有訂購 MathSciNet 的研究機構方可登入。



參考資料



外部連結


* 《數學評論》資料庫 （頁面存檔備份，存於網際網路檔案館）（英文）
  1. Mathematical Reviews editorial statement （頁面存檔備份，存於網際網路檔案館） outlines the mission of Mathematical Reviews;
  2. Mathematical Reviews guide for reviewers （頁面存檔備份，存於網際網路檔案館）, intended for both reviewers and users of Mathematical Reviews.
  3. MathSciNet FAQ （頁面存檔備份，存於網際網路檔案館）

* Exceptional MathReviews （頁面存檔備份，存於網際網路檔案館） collected by Kimball Martin and sorted by amusement factor.
數學譜系計劃（英語：Mathematics Genealogy Project）是一個針對數學家學術譜系的網絡資料庫。截止至 2015 年 7 月，它已整合超過 190,600 位做出過一定研究貢獻的數學科學家的數據。資料庫中一個典型數學家的內容包含其畢業年份、母校、博士生導師和其帶出的博士學生。

該項目由明尼蘇達州立大學教授哈里・庫恩斯發起，始於 1997 年秋。然而在 2002 年秋天校方停止支持，計劃移至北達科塔州立大學。2003 年和 2005 年，該計劃分別得到美國數學學會和克雷數學研究所的支持。



起源

計劃的創始人哈里・庫恩斯發起項目的初衷是想知道他博士導師的導師是誰。當時庫恩斯是明尼蘇達州立大學曼凱托分校的數學教授，1997 年秋季網站正式上線，1999 年庫恩斯退休，2002 年秋學校決定不再支持該項目，於是被迫轉移到了北達科塔州立大學。自 2003 年，項目主要在美國數學學會的支援下進行，此外在 2005 年克雷數學研究所也捐贈了一筆資金。



目標

該項目旨在「匯集全世界所有數學家的信息」，對象包括「所有獲得數學博士學位的人」。此外項目宣言還提到：「在整個項目中，數學和數學家都是涵蓋面很廣的詞彙。因此，任何來自統計學、計算機科學、哲學或運籌學的數據都歡迎加入其中」。



範圍

譜系信息主要來自國際學位論文摘要（_Dissertation Abstracts International_）和美國數學學會通告（_Notices of the American Mathematical Society_）等來源，但也可能來自任何提供者。該資料庫可供檢索，每個條目包含了數學家的姓名、畢業院校及其所屬國家、畢業年份、學位論文題目、導師和第二導師姓名、其指導過的博士生列表和門生的總數。一些沒有博士學位但頗為重要的人物也列入了資料庫中，如義大利數學家約瑟夫・拉格朗日。



批評

一份發表在《自然》雜誌的報導注意到「數學譜系計劃的數據是人們自己報告上去的，所以沒法保證這一譜系網絡是一份完整描述。實際上，有 16,147 位數學家沒有記錄在冊的導師，其中 8,336 位沒有顯示其門生。」此外，報告還宣稱：「我們認為，只有那些 1900 年和 1960 年間畢業的數學家的信息才是最可靠的。」此外，該網站對於錯誤信息的修訂需要驚人的一個月之久，對於很多明顯的，侵犯他人名譽的錯誤視而不見聽而不聞。



參考來源



外部連結


* 數學譜系計劃主頁 （頁面存檔備份，存於網際網路檔案館）（英文）
數學軟體，是用來建模、分析、計算各種數學資料，包括數值、符號、幾何資料等之電腦軟體。



電腦代數系統

目前比較流行的電腦代數系統有 MAPLE、Mathematica、Maxima、PARI/Gp、Sage 等。



統計

常見的統計軟體有 SPSS、SAS、Minitab、R 語言、PSPP 等。



幾何

常見的交談式幾何軟體有 GeoGebra、幾何畫板等。



數值分析

常見的數值分析軟體有 MATLAB、GNU Octave、Scilab、FreeMat 等。
《數學辭海》是一部收錄數學條目的大型學術性工具書，1986 年開始策劃，2001 年 5 月列入「十五」國家重點圖書出版規劃項目，2002 年 8 月第一次出版。

此書為民間自募經費及共同協作而著成，共有 1500 餘名來自中國大陸、台灣及香港的專家和教授參與編著的工作，當中包括 30 多名中科院院士，及至少 300 多名博士生導師。全書共分 6 卷，包含數學的 100 餘個分支學科或專題項目，收錄多於 30000 個條目。其中第 6 卷的內容為數學史，對古今中外的數學成就都有所敘述。相比同類型的數學百科全書，在中國數學史和珠算方面著筆較多。



內容體例

6 卷書的內容是按「從初等數學到高等數學，從古典數學到現代數學，從理論數學到應用數學」的原則來劃分的，具體可見下面的 #目錄一節。在各卷中會劃分作一級標題、二級標題和三級標題：一級標題是數學的分支學科或專題項目，二級標題是學科內容的一個構成部分，三級標題則為具體條目，例如第一卷中的「立體幾何」—「空間角」—「對頂二面角」。數學概念的條目按知識結構來編排先後，至於數學史類別的，如人物和出版物等，各按出生或創立的時間順序來編排。

數學名詞的命名上盡量與全國科學技術名詞審定委員會於 1993 年制定的《數學名詞》保持一致；外國人名的中譯盡量跟《中國大百科全書・數學卷》及梁宗巨主編的《數學家傳略辭典》保持一致。



編著和出版

編纂《數學辭海》的項目是由數學教授何思謙所發起。1984 年初，他被調到山西省教育學院（現為太原師範學院）數學系任教。在 1985 年和 1986 年的寒暑假，何思謙到各地就數學教育作考察，走訪了中學和大學數學基礎課老師。從這些老師得到的回應是，有很多數學教材中的問題和學生的提問都難以講清，並且難以查找相關資料。故此，需要有一本理想的工具書作為參考。1986 年，何思謙在徵求西安科技出版社的意見後，打算出一本《數學小辭海》，主要面對中學，內容大體為初等數學，篇幅預計為二三百萬字。之後他便到各地找專家約稿，而在一次專家交流會上，山東大學教授裘卓明（有的報道亦寫作裘焯明）建議乾脆搞一部大型工具書《數學辭海》，何思謙接受了這一建議。

當提出了編著《數學辭海》的構想後，引起了熱烈反響。之後又經過調研、磋商及論證，定下了《數學辭海》的總體設計方案。最初，專家們考慮到國家的財政狀況，打算以自籌資金的方式去完成項目。為此，以民間的名義設立了數學辭海編輯委員會及其常設聯絡辦事機構 — 數學辭海編輯部，並得到了相關部門的認可。何思謙擔任總編輯委員會的總編，程民德擔任名譽總編，而擔任顧問的有丁石孫、馮康、江澤涵、蘇步青、李國平、吳大任、吳文俊、谷超豪、陳省身、周培源、柯召、程民德，另外還設有學術指導和總編委的職位。每一卷也設有各自的編輯委員會，而在其之下又設有各分支學科編輯委員會，分別負責要撰寫的學科部分。參與編著的人員多是兩岸三地的專家、教授，分別來自 200 多所高等院校及科研單位，合計約 1500 人。預計出版的卷數有過變更，最後則定為六卷。

撰稿初期進展尚可，但隨著工程的進展，出現了重大困難，例如需組織多次編審會議以統籌工作，開支甚鉅。另一方面是缺乏資金來源，以及缺少專業的工作人員。編輯部的一些人員更需要到處借錢，以解決編輯活動經費。據何思謙所說，在編纂的十八年間，編輯部直接支出近 500 萬，間接支出更是近 1500 萬。縱使如此，在 2005 年時他還未給參與編書的專家和教授們支付酬勞，反而還欠下了 200 餘萬的債項。

在整合好各部分稿件後，何思謙找了多個國家級出版社，卻因為數學編輯太少，而沒有單個出版社肯承擔編輯的責任。結果需要聯合 6 個出版社的 20 多名編輯來進行校對，這項工作用了 3 年時間。2002 年 8 月，《數學辭海》第一次印刷，印裝者為山西新華印刷廠。但由於印刷資金全由印刷廠墊支，而何思謙又未能在 2003 年 10 月 1 日的限期前還清款項，他只好給印刷廠寫保證書，稱若編輯部在同年的 12 月底前尚未能還清款項，則將《數學辭海》的印刷成品交由印刷廠全權處理。後來在 12 月 14 日，有一位惠先生將 30 萬的款項匯給何思謙，幫助他解決了欠款，從而保住了《數學辭海》的版權。



目錄

每一卷的目錄樣式均為：

以下列出各卷所覆蓋之主題：（亦即書中給出的六卷本內容劃分方案）



評價

《數學辭海》開始編撰不久後就得到多份中文報章的報道，主要是持關注和支持的態度。不少數學名家就教育和現代化建設的方面對辭書給予肯定評價。



參考資料



外部連結


* 《數學辭海》官網（已失效，但可經由連結 [1] 檢視部分內容）
數學運算子是一個位於基本多文種平面的 Unicode 區塊，收錄了數學符號、邏輯符號和集合符號。

值得注意的是，本區塊沒有加號（+）、大於號（>）和小於號（<），因爲它們已經出現在基本拉丁字母 Unicode 區塊中。也沒有正負號（±）、乘號（×）和除號（÷），因爲它們也已編碼於拉丁字母補充 - 1 區塊中。但本區塊包含另外一種減號（-），與基本拉丁字母區塊的連字暨減號（-）不同。



區塊



變體序列

本區塊為標準化變體定義了 16 個變體序列。採用 U+FE00 ︀ VARIATION SELECTOR-1（VS01）呈現變體符號（取決於字體）：



歷史

以下 Unicode 文件記錄了定義本區塊中特定字元的目的與過程：



另見


* Unicode 中的數學運算子與符號

* 補充數學運算子

* 雜項數學符號 - A

* 雜項數學符號 - B
金融數學（英語：Financial Mathematics）又稱計量金融學（英語：Quantitative Finance）、數學金融學（英語：Mathematical Finance），是專為金融市場而設的應用數學。其本義上與金融經濟學的範疇有密切的關係，然而前者所涉及的領域比較狹隘，理念也比後者抽象。一般而言，若金融經濟學家研究一所企業當前股價的結構性原因，計量金融學家所做的便是利用當前股價作參考，以金融數學理論為基礎去計算和數值分析並取得相關衍生商品的公平價格（應值價格），以及風險估算。其核心內容就是研究隨機環境下，投資組合、最優選擇、資產定價理論。套利、最優與均衡是數理金融學的三大基本思想。



涉及計量金融的條目

計量工具


* 機率（或然率）

* 機率分布（機率分布）
  
* 對數常態分布

* 期望值

* 風險價值

* 風險管理

* 隨機過程

* 吉爾薩諾夫定理

* 統計模擬方法

* 鞅表述定理

* 費曼－卡茨公式

* 隨機偏積分

衍生商品定價


* 合理定價假設
  
* 風險管理

* 套利定價理論
  
* 套利

* 期貨
  
* 期貨合約定價

* 選擇權（買賣特權）
  
* 沽購平衡（套戥與期貨的關係）
  
* Moneyness
  
* 期貨時限價值
  
* 定價模型
    
* 布萊克 - 休斯模型
    
* Black model
    
* 二項式評價模型
    
* 必然波幅
      
* Volatility smile
    
* The Greeks（衍生商品的市場敏感度）

* Interest rate derivatives
  
* Short rate model
    
* Hull-White model
  
* Brace-Gatarek-Musiela model
  
* Heath-Jarrow-Morton framework

比較


* 計量經濟學

* 極端價值理論

* 物理經濟



參照


* 計量經濟學

* 金融工程

* 衍生商品

* 金融

* 模型

* 會計學

* 經濟學

* 市場學

* 管理學
隨著數學史的推移，數學已成為一個極廣泛的主題，因此有必要對不同的數學領域進行分類。許多不同的分類方案已經出現，有相同點也有不同點，差異的原因主要是它們使用的目的不同。此外，隨著數學的發展，這些分類方案也必須隨之發展，以解釋新創建的領域或者新發現的不同領域間的聯繫。分類通常是困難的，對於那些最活躍的，跨越不同領域邊界的主題往往更加困難。

數學的傳統分支被分類到純數學，主要研究其內在的邏輯性；而應用數學可以直接應用以解決現實問題。這種分類方法並不十分清晰，許多主題是按照純數學發展的，但後來就發現了意想不到的應用。寬泛的分類方法，例如離散數學和計算數學，就是最近才出現的。



分類系統


* 數學學科分類標準



主要數學分支

基礎

趣味數學
: 從幻方到曼德博集合的發展歷程來看，數字已經成為了各個年齡段的人們娛樂和消遣的工具。許多重要而又嚴肅的數學分支的起源曾經僅僅是一個謎題或者遊戲。

歷史和人物傳記
: 數學的歷史不可避免地和數學這門學科本身糾纏在一起。這是很自然的：數學有其內在的組織結構，它總是從以已有的結論導出新的定理。每當新一代的數學家在老一輩數學家的基礎上建立新的理論的時候，數學學科本身的內容也逐漸擴大。

數理邏輯、數學基礎和集合論
: 數學總是與邏輯和符號打交道，但很長一段時間以來一些潛在的邏輯被視作理所當然，並且從來沒有被符號化表達。當人們最終意識到數學能夠被用於解釋邏輯本身的時候，數理邏輯便得到了發展。這個領域迅速的發展，並且通常被細分為幾個不同的領域。


模型論



數學的模型


集合論
證明論和數學結構主義

代數

序理論
廣義代數結構
數論
域論和多項式
交換環和交換代數

分析

組合數學

幾何學和拓撲學

幾何學處理空間關係，使用基本性質或公理。這些公理可以與點，直線，曲線，曲面和實體的數學定義一起使用以得出邏輯結論。另見幾何學主題列表。

應用數學

概率與統計

計算科學

物理科學

其他數學科學



參見


* 中國學科分類國家標準 / 110

* 數學辭海



注釋



外部連結


* The Divisions of mathematics
數學題是用來解答覆雜的數學論點和作為題目來幫助學生充分掌握並瞭解數學知識的習題。一般來說，世界上各國家的學校都採用標準數學題作為課業教材，以讓學生能學習到數學知識，並能把數學知識運用到日常生活中。



歷史

數學題擁有相當久遠的歷史，自從人類文明開始發展，人類就能通過數學知識來運算各式各樣的問題，從永無止境的數理問題中產生了數學題。



數學題格式

數學題擁有很多種格式，例如：單一性數學題，重複性數學題，試卷型數學題，複雜型數學題，擴展性數學題，多方面性數學題以及各種各樣的數學格式。



參考文獻

1. Courant, R. and H.Robbins, What Is Mathematics?: An Elementary Approach to Ideas and Methods, Oxford University Press, USA; 2 edition (July 18,1996). ISBN 978-0-19-510519-3.
數學：確定性的喪失（英語：_Mathematics: The Loss of Certainty_）是莫里斯・克萊因的一部關於數學文化在整個 20 世紀發展變化的著作。

這本書追溯了數學發展中一些令數學家們也表示驚訝的發現，如非歐幾里得幾何的發現如何震驚了 19 世紀的數學家以及哥德爾不完備定理如何讓邏輯學家們沮喪。



參考文獻
數密度（符號： _n_ 或 _ρN_ ）是用於描述可數物體（粒子、分子、聲子、細胞、星系等）在物理空間中的集中程度的密集量：三維體積數密度，二維面數密度，或一維線數密度。_人口密度_是面數密度的一個例子。術語數濃度（符號：小寫 _n_ 或 _C_ ，以避免與大寫 _N_ 表示的物質數量混淆）有時在化學中用於相同數量，特別是在與其他濃度進行比較時。



定義

體積數密度是每單位體積指定物體的數量： 

　
: $n={\frac {N}{V}},$

其中 _N_ 是體積 _V_ 中的對象總數。

這裡假設 _N_ 足夠大，以至於將計數四捨五入到最接近的整數不會引入太多錯誤，但是 _V_ 被選擇得足夠小，以至於得到的 _n_ 不太依賴於大小或形狀由於大尺度特徵，體積 _V。_

面積數密度是單位面積指定物體的數量， _A_ ：

　
: $n'={\frac {N}{A}},$

同樣，線數密度是每單位長度 _L_ 中指定對象的數量：

　
: $n''={\frac {N}{L}},$



單位

在國際單位制中，數密度以 m -3 為單位，但通常使用 cm -3 。在處理室溫和大氣壓下的氣體、液體或固體的原子或分子時，國際單位不太實用，因為所得的數字非常大（大約 10 20 ）。以理想氣體在 0 °C 和 1 atm 的數密度作為衡量標準： _n_0 = 1 amg = 2.6867774 × 1025 m−3 通常作為一種數密度單位引入，對於任何物質在任何條件下（不一定限於 0 °C 和 1 atm 的理想氣體）。 



與其他量的關係

摩爾濃度

對於任何物質，數密度可以用其量濃度 _c_ （以 mol /m 3 表示）表示為

　
: $n=N_{\rm {A}}c$

其中 _N_A 是阿伏伽德羅常數。如果 _n_ 和 _c_ 中的空間尺寸單位米始終被任何其他空間尺寸單位替換，例如如果 _n_ 以 cm -3 為單位且 _c_ 以 mol/cm 3 為單位，或者如果 _n_ 以 L 為單位，這仍然是正確的-1 和 _c_ 以 mol/L 為單位，等等。

質量密度

對於具有明確定義的摩爾質量 _M_ （以 kg /mol 為單位）的原子或分子，數密度有時可以用它們的質量密度 _ρ_ m （以 kg/m 3 為單位）表示為

　
: $n={\frac {N_{\rm {A}}}{M}}\rho _{\mathrm {m} }.$

請注意，比率 _M_ / _N_ A 是單個原子或分子的質量，以 kg 為單位。



例子

除非另有說明，下表列出了 1 atm 和 20 °C 下的數密度的常見示例。



另見


* 柱狀數濃度



參考文獻
資料（英語：data）又稱數據，是通過觀測得到的數字性的特徵或資訊。更專業地說，資料是一組關於一個或多個人或物件的定性或定量變數。資料可以是一堆雜誌、一疊報紙、開會記錄或者病人的病歷記錄。

雖然「資料」和「資訊」這兩個術語經常互相替換使用，但是他們的含義完全不同。在一些流行出版物中，當資料被置於情境之下審視或經過分析之後，「資料」就會變為「資訊」；一般而言，資料（data）經由處理後稱為資訊（information），從這些資訊中分析出來的訊息稱為知識（knowledge），再通過不斷地行動與驗證，逐漸形成智慧（wisdom）；在大數據（big data）興起後，資料科學這門學問顯得非常重要。

然而在學術課題論述中，資料只是「資訊的單元」。在經濟領域上，「資訊」衍生資訊經濟，而「資料」則衍生資料經濟。



分類

原始資料是一組未經過糾正的數字或特徵。原始資料需要通過移除異常值和明顯的儀器或資料錄入誤差來進行糾正（比如溫度計在北極的戶外測量到的熱帶溫度）。資料處理通常分成若干階段，某個階段的「已處理的資料」在另一個階段可能就是「原始資料」。

現場資料是指在不受控的「原位（in situ）」環境中收集的原始資料。而實驗資料是指在科學研究情境中通過觀測和記錄產生的資料。



應用

資料運用在科學研究、商業管理（比如銷售資料、收入、利潤、股價）、金融、政治（比如犯罪率、失業率、識字率）和事實上的其他一切人類組織性活動形式（比如非營利性組織所做的流浪者人口調查）中。

資料會經過測量、收集、報告和分析，因此它可以使用圖表、圖像或者其他分析工具進行視覺化；資料常以「表格」的方式呈現，並以試算表來處理。資料作為一種關於一些已存在的資訊或知識的一般概念，會使用一些可以更好地利用或處理的形式進行呈現或編碼。



參考文獻
數據 - 程序依賴（英語：program-data dependence），是一種軟體數據相互關係。

具體指一旦某個應用程式改變了，相應的數據也要隨之改變。各種不同的傳統電腦程式需要定義數據的位置和屬性。在傳統的文件環境裡，軟體程序的改變要求對於需要訪問的數據也做相應的改變。



出處
資料、場景和互動（Data, context and interaction，簡稱 DCI）是一種在電腦軟體中使用的範例，用於實現內部存在相互通信的物件的系統。它的目標是：


* 通過給予系統行為一等公民的地位來提升物件導向的代碼的可讀性；

* 乾淨地分離高頻變化的系統行為（描述系統做什麼）和低頻變化的領域知識（描述系統是什麼），而非將兩者混合在一個類介面中；

* 幫助軟體開發人員理解系統級狀態和行為，而非僅有物件狀態和行為；

* 支援基於物件而非類別為基的思維方式，前者更接近於人類心智模型，而後者，在物件導向程式設計語言中常導致過早地封鎖了基於物件的思考。

這種範例中，我們把領域模型（data）和用例（context）和物件扮演的角色（interaction）分離開來。DCI 是 MVC 的一種補充。MVC 作為一種範式語言繼續用於分離資料和對資料的處理和對資料的展現。
DCI 由同是 MVC 發明者的 Trygve Reenskaug 發明。而最近的 DCI 的規劃構想主要來自 Reenskaug 和 James O. Coplien 的工作。
數據交換（Data exchange）是指在資料庫規範模式下構建數據並將其轉換為目標模式構建數據的過程，目的是爲了使目標數據能夠準確的表達源數據內容。數據交換允許在不同的計算機程式之間共享數據 。



單一域數據交換

在某些作用域當中，可能會同時並存多種不同的源以及目標格式（專有數據格式）。通常情況下，爲了實現數據交換，需要為單個域開發「交換方法」或者「交換格式」，然後通過使用交換格式將必要的常式（對映）編寫出來，將每個源模式（間接地）轉換為目標格式。與編寫和除錯將每個源模式直接轉換為每個目標模式所需的數百個不同常式相比，這樣只需要很少的工作就可以實現。

通常常見的數據交換實現有：


* 地理數據交換格式 SIF；

* 電子表格數據交換格式 DIF；

* 電子表格，圖表，演示文稿和文字處理文件 ODF；

* 用於描述 GPS 數據的 GPX 或 KML；

* 描述積體電路佈局的 GDSII。



數據交換語言

_另見建模語言。_

數據交換語言格式無關的的一種語言，其可被用於任何類型的學科數據。它們由標記和面向顯示發展而來，進一步支援描述訊息結構屬性和元資料編碼。

實踐證明，某些正式的形式語言比其他語言更適合這項任務，因為它們的規範是由正式流程而不是特定的軟體實現需求驅動的。例如，XML 是一種標記語言，旨在實現方言的建立（特定於域的子語言的定義）。但是，它不包含特定於域的字典或事實類型。可靠的資料交換的好處是能夠有標準詞典 - 分類和工具庫 (如解析器、模式驗證器和轉換工具) 的可用性。

用於數據交換的常用語言

以下是用於多個域中的數據交換的流行通用語言的部分列表。

命名法則


* 模式 - 語言定義是否以計算機可解釋的形式提供；

* 靈活 - 語言是否支援擴展語義表達能力而無需修改模式；

* 語義驗證 - 語言定義是否能夠對語言中表達式的正確性進行語義驗證；

* 字典 - 分類 - 語言是否包含字典和具有繼承的概念的分類（子類型 - 超類型層次結構）；

* 同義詞和同音異義詞 - 該語言是否包括並支援在表達式中使用同義詞和同音異義詞；

* 轉義語言 - 語言定義是否以多種自然語言或方言提供；

* Web 或 ISO 標準 - 將語言作為標準認可的組織；

* 轉換 - 語言是否包含對其他標準的翻譯；

* 輕量級 - 除了完整版之外，是否提供輕量級版本；

* 人類可讀 - 語言中的表達是否是人類可讀的（沒有經過培訓的人可讀）；

* 相容性 - 使用該語言時可能使用或需要哪些其他工具

用於數據交換的 XML

XML 在全球資訊網上進行數據交換的普及有幾個原因。首先，它與先前存在的標準標准通用標記語言（SGML）和超文字標記語言（HTML）密切相關，因此為支援這兩種語言而編寫的解析器也可以輕鬆擴展以支援 XML。例如，XHTML 已被定義為正式 XML 格式，但大多數（如果不是全部）HTML 解析器都能正確理解。

用於數據交換的 YAML

YAML 是一種設計為人類可讀的語言（因此可以使用任何標准文字編輯器輕鬆編輯）。它的概念通常類似於 reStructuredText 或 Wiki 語法，他們也試圖讓人和計算機都可讀。YAML 1.2 還包括一個與 JSON 相容的簡寫概念，因此任何 JSON 文件也是有效的 YAML; 然而，這並不是其的另一種形式。

用於數據交換的 REBOL

REBOL 是一種可以使用任何標准文字編輯器設計的人類可讀且易於編輯的語言。為了實現這一點，其使用了一種簡單的自由格式語法，使之具有最小的標點符號和豐富的數據類型集。REBOL 的數據類型，如 URL，電子郵件，日期和時間值，元組，字串，標籤等，都遵循通用標準。REBOL 旨在不需要任何額外的元語言，以元循環方式設計。語言的元環境性是因為例如用於（不僅僅）用於 REBOL 轉義語言的定義和變換的 Parse 轉義語言本身也是 REBOL 的轉義語言。REBOL 是 JSON 範式的靈感來源。

用於數據交換的 Gellish

Gellish 是自然英語的形式化子集，其包括簡單語法和大型通過分類法而可擴展英語詞典 ，其主要用於定義一般和領域特定術語（概念術語），而概念則按子類型 - 超類型層次結構排列（a 分類法），它支援知識和要求的繼承。Dictionary-Taxonomy 還包括標準化的事實類型（也稱為關係類型）。術語和關係類型可以用於建立和解釋事實，知識，要求和其他資訊的表達。Gellish 可以與 SQL，RDF / XML，OWL 結合使用和其他各種元語言。Gellish 標準是 ISO 10303-221（AP221）和 ISO 15926 的組合。