undecidable
UK/ˌʌndɪˈsaɪdəbl/US/ˌʌndɪˈsaɪdəbl/
Meaning
1形容詞
決定できない、判定不能な
Structure
word structure
1
un
否定
2
decid
決定する
3
able
可能
Usage
The halting problem is undecidable in computer science.
停止問題は計算機科学において決定不能である。
In some logical systems, certain statements are undecidable.
いくつかの論理体系では、特定の命題は決定不能である。
The question of whether the universe is infinite remains undecidable.
宇宙が無限であるかどうかという問いは、依然として決定不能である。
Etymology
「undecidable」は、接頭辞「un-」(否定)と「decidable」(決定可能な)から成る。decidableは、ラテン語の「decidere」(決定する)に由来し、英語では「decide」の形容詞形として「決定できる」という意味を持つ。
Analysis
元々は「決定できない」という一般的な意味で使われていたが、20世紀の数学と計算機科学において、特定の命題や問題に対してアルゴリズムによる決定が不可能であることを指す専門用語として確立した。