un·de·cid·a·ble
C1technical결정하거나 해결할 수 없는
adjective형용사
- 1
결정할 수 없는, 판가름할 수 없는 — 어떤 문제나 논쟁, 상황에 대해 결정을 내리거나 판가름할 수 없는C1〔general〕
not able to be decided, settled, or determined
The evidence was too weak, so the case remained undecidable.
증거가 너무 약해서 그 사건은 판가름할 수 없는 상태로 남았다.
For many voters, the issue felt morally undecidable.
많은 유권자에게 그 쟁점은 도덕적으로 결정을 내리기 어려운 문제처럼 느껴졌다.
- 2
판정 불가능한, 결정 불가능한 — 수학·논리학·컴퓨터 과학에서, 어떤 형식 체계나 알고리즘으로는 참·거짓이나 답을 일반적으로 판정할 수 없는C2〔mathematics; logic; computer science〕
in mathematics, logic, or computer science, impossible to determine by any general algorithm or formal procedure
The halting problem is a famous undecidable problem in computer science.
정지 문제는 컴퓨터 과학에서 유명한 판정 불가능 문제이다.
Gödel showed that some statements are undecidable within a given formal system.
괴델은 어떤 명제들이 주어진 형식 체계 안에서 판정 불가능하다는 것을 보였다.
뉘앙스 · 쓰임
undecidable은 단순히 ‘아직 결정되지 않은’ undetermined보다 더 강하게, 원칙적으로 결정할 수 없거나 확정할 방법이 없다는 느낌을 줍니다. unsolved는 ‘아직 풀리지 않은’ 상태를 말하지만, 나중에 풀릴 가능성을 남깁니다. indecisive는 보통 사람이 결정을 잘 못하는 성격을 가리키므로 undecidable과 다릅니다.
전문 분야에서는 ‘an undecidable problem’, ‘an undecidable proposition’처럼 자주 쓰이며, 특히 계산 가능성 이론에서 엄밀한 의미를 갖습니다. 일상 대화에서는 다소 딱딱하거나 학술적으로 들릴 수 있어, 보통은 impossible to decide 또는 impossible to settle이라고 풀어 말하는 경우가 많습니다.
유의어 뉘앙스 비교
- indeterminable
- 원인, 값, 결과 등을 알아내거나 확정할 수 없다는 뜻으로 더 형식적입니다.
- inconclusive
- 증거나 결과가 결론을 내리기에 충분하지 않다는 뜻에 가깝습니다.
- unsettled
- 아직 합의나 해결이 되지 않았다는 의미로, 나중에 해결될 가능성이 더 큽니다.
- algorithmically unsolvable
- 알고리즘으로 풀 수 없다는 점을 더 직접적으로 강조하는 전문 표현입니다.
- uncomputable
- 계산으로 구할 수 없다는 뜻이며, 문제보다 함수나 값에 더 자주 쓰입니다.
- formally unprovable
- 특정 형식 체계 안에서 증명할 수 없다는 뜻으로, undecidable과 겹치지만 항상 같은 의미는 아닙니다.
반의어
- decidable
- 알고리즘이나 형식 절차로 판정할 수 있다는 전문적 반의어입니다.
- settled
- 문제나 논쟁이 이미 해결되거나 결론이 난 상태를 말합니다.
- conclusive
- 증거나 결과가 최종 결론을 내리기에 충분하다는 뜻입니다.
- computable
- 계산 가능한 함수나 값을 말할 때 쓰이며, decidable과 관련 있지만 용법이 다릅니다.
- provable
- 명제가 어떤 체계 안에서 증명 가능하다는 뜻입니다.
자주 쓰는 표현 · Collocations
adj+noun
- an undecidable problem판정 불가능한 문제
- an undecidable question결정할 수 없는 질문
- an undecidable proposition판정 불가능한 명제
adv+adj
- formally undecidable형식적으로 판정 불가능한
- algorithmically undecidable알고리즘적으로 판정 불가능한
verb+object+adjective
- prove something undecidable무엇이 판정 불가능함을 증명하다
어원 · 암기 팁
[Latin]영어 접두사 un- ‘아닌, 반대의’와 decidable ‘결정할 수 있는’이 결합한 말입니다. decidable은 decide에서 왔고, decide는 라틴어 decidere ‘결정하다, 잘라 내다’에서 프랑스어를 거쳐 영어에 들어온 말입니다.
un- ‘아닌’ + decide ‘결정하다’ + -able ‘~할 수 있는’ → undecidable ‘결정할 수 없는’
💡 decide가 ‘결정하다’이고 -able이 ‘~할 수 있는’이므로 decidable은 ‘결정할 수 있는’입니다. 앞에 un-이 붙으면 반대가 되어 ‘결정할 수 없는’이 됩니다.