How do you use "decidable" in a sentence?

The equivalence of two regular expressions is a decidable problem, solvable by converting both to minimal deterministic finite automata. Gödel's work proved that the set of true statements in arithmetic is not decidable by any single formal system. Whether these planning applications meet the revised criteria is, at least in principle, a decidable question for the inspectorate.

decidable

Advanced Vocabulary Word British ★★☆☆☆ Uncommon Formal

Practice this with flashcards, quizzes & audio on WordLoci →

Meaning: Capable of being resolved or determined by an algorithm that is guaranteed to terminate with a correct yes-or-no answer for every possible input.

可判定的，指能够由一种保证终止并对每个可能输入给出正确'是'或'否'答案的算法来解决的问题。

Susceptible de ser resuelto o determinado por un algoritmo que garantiza su terminación con una respuesta correcta de sí o no para cada entrada posible.

判定可能であること。あらゆる入力に対して必ず停止し、正しい「はい」か「いいえ」の答えを出すアルゴリズムによって解決できる問題を指します。

판정 가능한 것. 모든 가능한 입력에 대해 반드시 정지하고 올바른 '예' 또는 '아니오' 답을 내놓는 알고리즘에 의해 해결될 수 있는 것.

Decidability is a cornerstone of mathematical logic and theoretical computer science. A problem is decidable if there exists an effective procedure — an algorithm — that will always halt and give the correct answer. Arithmetic truth, for instance, is not decidable, as Gödel's incompleteness theorems showed. The concept is closely related to computability but focuses specifically on decision problems with binary outcomes. Outside formal logic, the word occasionally appears in legal and philosophical writing about questions that admit definitive resolution.

可判定性是数理逻辑和理论计算机科学的基石。如果存在一种有效的程序——一种算法——能够总是停止并给出正确答案，则该问题是可判定的。例如，算术真理是不可判定的，正如哥德尔不完备性定理所证明的那样。这一概念与可计算性密切相关，但专门关注具有二元结果的判定问题。在形式逻辑之外，该词偶尔出现在关于可以做出确定性裁决的法律和哲学写作中。

La decidibilidad es una piedra angular de la lógica matemática y la informática teórica. Un problema es decidible si existe un procedimiento efectivo —un algoritmo— que siempre se detiene y proporciona la respuesta correcta. La verdad aritmética, por ejemplo, no es decidible, como demostraron los teoremas de incompletitud de Gödel. El concepto está estrechamente relacionado con la computabilidad, pero se centra específicamente en problemas de decisión con resultados binarios. Fuera de la lógica formal, la palabra aparece ocasionalmente en escritos jurídicos y filosóficos sobre cuestiones que admiten una resolución definitiva.

判定可能性は数理論理学と理論計算機科学の礎石である。有効な手続き——アルゴリズム——が存在し、常に停止して正しい答えを与えるならば、その問題は判定可能である。例えば、算術的真理は判定不可能であることをゲーデルの不完全性定理が示した。この概念は計算可能性と密接に関連するが、二値の結果を持つ決定問題に特化している。形式論理以外では、確定的な解決が可能な問題に関する法律・哲学的著述にこの語が時折登場する。

판정 가능성(decidability)은 수리 논리학과 이론 컴퓨터 과학의 초석입니다. 어떤 문제가 판정 가능하다는 것은 항상 정지하고 올바른 답을 내는 효과적 절차—알고리즘—가 존재한다는 의미입니다. 예를 들어, 산술적 진리는 판정 불가능한데, 이는 괴델의 불완전성 정리가 보여준 바와 같습니다. 이 개념은 계산 가능성과 밀접하게 관련되어 있지만, 이진 결과를 갖는 결정 문제에 특별히 초점을 맞춥니다. 형식 논리학 밖에서도 확정적 해결이 가능한 문제에 대한 법률적·철학적 글에서 때때로 사용됩니다.

Examples

The equivalence of two regular expressions is a decidable problem, solvable by converting both to minimal deterministic finite automata.
两个正则表达式的等价性是一个可判定问题，可以通过将两者转换为最小确定性有限自动机来求解。
La equivalencia de dos expresiones regulares es un problema decidible, resoluble convirtiendo ambas en autómatas finitos deterministas mínimos.
2つの正規表現の等価性は判定可能な問題であり、両方を最小の決定性有限オートマトンに変換することで解ける。
두 정규 표현식의 동치성은 판정 가능한 문제로, 둘 다 최소 결정적 유한 오토마타로 변환하면 풀 수 있다.
Gödel's work proved that the set of true statements in arithmetic is not decidable by any single formal system.
哥德尔的工作证明了算术中的真命题集合不能由任何单一形式系统来判定。
La obra de Gödel demostró que el conjunto de enunciados verdaderos en aritmética no es decidible por ningún sistema formal único.
ゲーデルの研究は、算術における真の命題の集合がいかなる単一の形式体系によっても判定できないことを証明した。
괴델의 연구는 산술에서 참인 명제들의 집합이 어떤 단일 형식 체계로도 판정될 수 없음을 증명했다.
Whether these planning applications meet the revised criteria is, at least in principle, a decidable question for the inspectorate.
这些规划申请是否符合修订后的标准，至少在原则上是督察局可以判定的问题。
Si estas solicitudes de planificación cumplen los criterios revisados es, al menos en principio, una cuestión decidible para la inspección.
これらの開発申請が改訂された基準を満たすかどうかは、少なくとも原理的には、検査局にとって判定可能な問題である。
이러한 개발 신청이 개정된 기준을 충족하는지 여부는, 적어도 원칙적으로는 감사 기관이 판정할 수 있는 문제이다.

Pronunciation

Usage Guide

Context: academic, scientific, technology

Tone: neutral

Origin & History

From Latin decidere (to cut off, to determine), from de- (off, away) + caedere (to cut). The technical sense in logic was developed in the early 20th century by Hilbert, Gödel, and Turing.

Cultural Context

Era: Modern

Generation: All ages

Social background: Universal