계산 가능한 수

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

\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 - √5 -
γ - φ - β* - δ - α -
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), 계산 가능한 실수수학, 특히 전산학수리논리학에서, 유한한 수의 알고리즘을 통해 임의의 유한한 정확도로 구할 수 있는 수를 말한다. μ-재귀함수, 튜링 기계, λ-칼큘러스 등을 통해 다른 동등한 정의를 내릴 수도 있다. 계산 가능한 수들로 닫힌 실수체를 만들 수 있고, 수학적인 용도로 실수체를 거의 어느 정도 대체할 수 있다.