公理列表
这是一份数学公理列表。在数学中，公理这一词被用于两种相关但相异的意思之下——逻辑公理和非逻辑公理。 单独的公理一般情况下都是更大的公理系统的一部分。 集合论 策梅洛-弗兰克尔集合论 策梅洛-弗兰克尔集合论是现代数学集合论事实上的标准公理。 他们可以很容易的应用于类似的理论，如分体论 (逻辑学)。 不含选择公理时简写为ZF。 外延公理 空集公理 配对公理 并集公理 无穷公理 替代公理 幂集公理 正则性公理 分类公理 参见 策梅洛集合论。 …
标签：#数学列表
共 47 篇文章
代数数论主题列表
高斯整数, 高斯有理数 二次域 (Quadratic field) 代数数域 戴德金整環 (Dedekind domain) Global field 理想類群 Class number problem for imaginary quadratic fields Stark-Heegner 定理 黑格纳数 Ankeny-Artin-Chowla congruence 单位根 高斯周期, 高斯和 Chowla-Mordell 定理 分圆…
布尔代数主题列表
集合代数 乔治·布尔 布尔代数 布尔域 布尔函数 布尔逻辑 蕴涵项 布尔素理想定理 布尔值函数 布尔值模型 布尔可满足性问题 布尔三段论 规范形式 (布尔代数) 特征函数 紧致性定理 完全布尔代数 德·摩根 德·摩根定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数 指示函数 内部代数 威廉姆·斯坦利·杰文斯 Johnston图 卡诺图 形式定律 Lindenbaum–Tarski代数 逻辑门…
不可判定问题列表
這是一個不可判定问题列表。 逻辑問題 大衛·希爾伯特的可判定性。 二階Λ演算的类型推论和型別檢查。 抽象電腦（Abstract machine）問題 停机问题（決定圖靈機是否停機） 決定圖靈機是否Busy beaver（最長運行的圖靈機有相用的停机问题） 死亡率问题（mortality problem） 萊斯定理指出所有partial方程的非凡屬性，決定機器計算partial方程與其屬性是否未決定。 矩陣問題 矩陣的致命問題：表達，一個…
不可能謎題列表
以下是一些已證明不可能找到答案的智力遊戲列表： 15數字推盤遊戲中，有一些啟始位置是無解的。 肢解西洋棋盘问题 只用三色將佩特森圖的邊著色，而且相鄰邊的顏色不能重覆 柯尼斯堡七桥问题 三個杯子問題 三間小屋問題 相關條目 不可能的謎題：一個看似不可能求解的數學問題
球諧函數表
這裏列出球諧函數 Y_{l}^{m} ，以方程式表示為 : Y_\ell^m( \theta , \varphi ) = \sqrt{{(2\ell+1)\over 4\pi}{(\ell-m)!\over (\ell+m)!}} \, P_\ell^m ( \cos{\theta} ) \, e^{i m \varphi } ； 其中，l 為正值整數，m 為小於或等於 l 的正值整數，P_\ell ^{m} 是伴隨勒讓德多項式，以方程…
數學理論列表
代數 K-理論(Algebraic K-theory) 逼近理论 自动机（Automata theory） Braid theory(braid theory) Brill-Noether theory Catastrophe theory 範疇論 特徵標理論（Character theory） Choquet theory 類域論(class field theory) 编码理论 上同調理論 计算理论（Computation theo…