계산 가능한 수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
수학 체계
기초

\mathbb{N}\sub\mathbb{Z}\sub\mathbb{Q}\sub\mathbb{R}\sub\mathbb{C}

복소수의 확장
기타

i 허수 단위 = \sqrt{-1}
\pi 원주율 ≈ 3.14159 26535 ...
e 자연로그의 밑 ≈ 2.71828 ( \notin \mathbb{Q})

주요 상수

π - e - √2 - √3 - γ -
φ - β* - δ - α - C2 -
M1 - B2 - B4 - Λ - K -
K - K - L - μ - EB -
Ω - β - λ - D(1) - λμ -
Cah. - Lap. - A-G - Λ - K-L -
Apr. - θ - Bac. - Prt. - Lb. -
Niv. - Sie. - Kin. - F - L

계산 가능한 수(computable number) 또는 재귀적 수(recursive number), 계산 가능한 실수수학, 특히 전산학수리논리학에서, 유한한 수의 알고리즘을 통해 임의의 유한한 정확도로 구할 수 있는 수를 말한다. μ-재귀함수, 튜링 기계, λ-칼큘러스 등을 통해 다른 동등한 정의를 내릴 수도 있다. 계산 가능한 수들로 닫힌 실수체를 만들 수 있고, 수학적인 용도로 실수체를 거의 어느 정도 대체할 수 있다.