可計算數

各种各样的数

基本

$\mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C}$

正數 $\mathbb {R} ^{+}$
自然数 $\mathbb {N}$
正整數 $\mathbb {Z} ^{+}$
小数
 有限小数
 无限小数
 循环小数
 有理数 $\mathbb {Q}$
代數數 $\mathbb {A}$
实数 $\mathbb {R}$
複數 $\mathbb {C}$
高斯整數 $\mathbb {Z} [i]$

负数 $\mathbb {R} ^{-}$
整数 $\mathbb {Z}$
负整數 $\mathbb {Z} ^{-}$
分數
 單位分數
 二进分数
 規矩數
 無理數
 超越數
 虚数 $\mathbb {I}$
二次無理數
 艾森斯坦整数 $\mathbb {Z} [\omega ]$

延伸

二元数
 四元數 $\mathbb {H}$
八元数 $\mathbb {O}$
十六元數 $\mathbb {S}$
超實數 $^{*}\mathbb {R}$
大實數
 上超實數

雙曲複數
 雙複數
 複四元數
共四元數（英语：Dual quaternion）
超复数
 超數
 超現實數

其他

質數 $\mathbb {P}$
可計算數
 基數
 阿列夫數
 同餘
 整數數列
 公稱值

規矩數
 可定义数
 序数
 超限数
 $p$ 進數
 数学常数

圓周率 $\pi =3.14159265$ …
自然對數的底 $e=2.718281828$ …
虛數單位 $i={\sqrt {-{1}}}$
無限大 $\infty$

可計算數（computable numbers）是数学名詞，是指可用有限次、會結束的算法計算到任意精確度的实数。

等效的定義可以用递归函数、图灵机及Λ演算等演算法的正式表示方式而得。可計算數形成實閉域，可以在許多數學應用上取代实数。

參考資料

Oliver Aberth 1968, Analysis in the Computable Number Field, Journal of the Association for Computing Machinery (JACM), vol 15, iss 2, pp 276–299. This paper describes the development of the calculus over the computable number field.
Errett Bishop and Douglas Bridges, Constructive Analysis, Springer, 1985, ISBN 0-387-15066-8
Douglas Bridges and Fred Richman. Varieties of Constructive Mathematics, Oxford, 1987.
Jeffry L. Hirst, Representations of reals in reverse mathematics, Bulletin of the Polish Academy of Sciences, Mathematics, 55, (2007) 303–316.
马文·闵斯基 1967, Computation: Finite and Infinite Machines, Prentice-Hall, Inc. Englewood Cliffs, NJ. No ISBN. Library of Congress Card Catalog No. 67-12342. His chapter §9 "The Computable Real Numbers" expands on the topics of this article.
E. Specker, "Nicht konstruktiv beweisbare Sätze der Analysis" J. Symbol. Logic, 14 (1949) pp. 145–158
Turing, A.M., On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, 2 42 (1), 1936, 42 (1): 230–651937, doi:10.1112/plms/s2-42.1.230 (and Turing, A.M., On Computable Numbers, with an Application to the Entscheidungsproblem: A correction, Proceedings of the London Mathematical Society, 2 43 (6), 1938, 43 (6): 544–61937, doi:10.1112/plms/s2-43.6.544 ). Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
Klaus Weihrauch 2000, Computable analysis, Texts in theoretical computer science, Springer, ISBN 3-540-66817-9. §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.
Klaus Weihrauch, A simple introduction to computable analysis
H. Gordon Rice. "Recursive real numbers." Proceedings of the American Mathematical Society 5.5 (1954): 784-791.
V. Stoltenberg-Hansen, J. V. Tucker "Computable Rings and Fields" in Handbook of computability theory edited by E.R. Griffor. Elsevier 1999

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。

相關條目

參考資料