NounC1en
computability
//kəmˌpjuːtəˈbɪlɪti//
Core Image계산 가능성
여러 요소를 한데 모아(com) 체계적으로 정리하고 셈하여(putare) 결론에 도달할 수 있는(able) 성질(ity).
Etymology Breakdown
Latin
com-
함께 (together)
Latin
putare
정리하다, 셈하다 (to settle, to reckon)
Old French/Latin
-able
~할 수 있는 (capable of)
Latin
-ity
상태, 성질 (state, quality)
Meanings & Expansion
1
Computer Science / Logic
컴퓨터 과학 및 수학에서 어떤 문제가 알고리즘을 통해 해결될 수 있는 성질
핵심 이미지인 '체계적 셈'이 현대의 '알고리즘적 처리'로 확장되어, 기계가 정해진 절차에 따라 답을 낼 수 있는지 여부를 뜻하게 됨.
“The halting problem is a classic example of a problem that lacks computability.”
정지 문제는 계산 가능성이 결여된 문제의 전형적인 예시이다.C2
2
General / Mathematics
수치로 산출하거나 추정할 수 있는 능력이나 성질
추상적인 논리를 넘어 실제 수치나 양을 계산해낼 수 있는 실무적인 가능성을 의미함.
“The computability of the total cost depends on the stability of market prices.”
총 비용의 계산 가능성은 시장 가격의 안정성에 달려 있다.C1
vs. calculability
Calculability는 단순히 산술적으로 셈을 할 수 있다는 넓은 의미인 반면, Computability는 주로 컴퓨터 과학이나 수리 논리학에서 '알고리즘적으로 해결 가능한가'라는 기술적인 맥락에서 사용됩니다.
Cultural Context
앨런 튜링(Alan Turing)의 '계산 가능한 수(Computable Numbers)'에 관한 논문 이후, 이 단어는 현대 컴퓨터 공학의 이론적 토대를 상징하는 단어가 되었습니다.