com·put·a·bil·i·ty
C2technical계산 가능성; 알고리즘으로 계산하거나 결정할 수 있는 성질
noun명사
- 1
계산 가능성 — 어떤 함수, 문제, 값 등이 유한한 알고리즘이나 형식적 계산 절차로 계산되거나 결정될 수 있는 성질C2〔computer science; mathematics〕
the property of a function, problem, value, or system being calculable or decidable by an algorithm or formal computational procedure
The course introduces computability before complexity theory.
그 강의는 복잡도 이론에 앞서 계산 가능성을 소개한다.
Turing machines are often used to define computability precisely.
튜링 기계는 계산 가능성을 정확히 정의하는 데 자주 사용된다.
뉘앙스 · 쓰임
computability는 ‘계산이 가능한가’라는 원리적 가능성을 말하고, complexity는 계산이 가능하더라도 시간이나 메모리가 얼마나 드는지를 말합니다. calculability도 비슷하지만 더 일반적인 ‘계산 가능성’에 가까우며, computability는 알고리즘과 형식 체계의 맥락에서 더 전문적입니다.
대개 불가산 명사로 쓰이며, 학술적·전문적 맥락에서 자주 나옵니다. ‘computability theory’는 이론 컴퓨터 과학의 한 분야로, 어떤 문제가 알고리즘으로 풀릴 수 있는지를 연구합니다.
유의어 뉘앙스 비교
- calculability
- 더 일반적인 ‘계산 가능성’이라는 뜻이며, computability보다 덜 전문적으로 들릴 수 있습니다.
- decidability
- 특히 어떤 명제가 알고리즘으로 참인지 거짓인지 결정될 수 있는지를 가리키는 더 좁은 의미입니다.
반의어
- uncomputability
- 알고리즘으로 계산할 수 없다는 성질을 직접적으로 가리킵니다.
- undecidability
- 특히 어떤 문제가 알고리즘으로 항상 결정될 수 없다는 더 특정한 의미입니다.
자주 쓰는 표현 · Collocations
noun+noun
- computability theory계산 가능성 이론
noun+prep+noun
- the theory of computability계산 가능성의 이론
- questions of computability계산 가능성에 관한 문제들
- limits of computability계산 가능성의 한계
noun+conjunction+noun
- computability and complexity계산 가능성과 복잡도
어원 · 암기 팁
[English]영어 computable에 명사형 접미사 -ity가 붙어 만들어진 말입니다. compute는 라틴어 computare에서 온 말로, ‘함께 세다, 계산하다’라는 뜻을 가졌습니다.
computable(계산 가능한) + -ity(성질·상태를 나타내는 명사 접미사)
💡 compute는 ‘계산하다’, -ability는 ‘가능성’이므로 computability는 ‘계산될 수 있는 성질’로 기억하면 됩니다.