不可判定的英文

發(fā)音:

英文翻譯
造句

entscheidungsproblem

判定 judge; decide; vote; determi ...
不可判定的 entscheidbar decidable; entscheidend decidable; undecidable
不可判定性 [數學] undecidability
不可判定理論 undecidable theory
不可判定問題 infeasible decision problem
本質不可判定性 essential undecidability
不可判定性定理 undecidability theorem
一階邏輯的不可判定性 the undecidability of first-order logic
半可判定的 semi-decidable
遞歸可判定 recursively decidable
可判定的 decidable; decideable
可判定性 decidability; entscheidungsproblem
可判定子句 decidable subclause
可判定子類 decidable subclass
不可判明的 adiagnostic
可決定性可判定性 decidability
圖靈可判定語言 recursive language
無乘法算術的可判定性 decidability of arithmetic without multiplication
判定 judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
可判處 punishable
可判讀的 decipherable
可判斷的 interpretable
可判死刑罪 capital crime
可判死刑案件 capital case
不可 1.(不可以) cannot; should not; must not; not allowed; forbidden 不可一概而論 must not make sweeping generalizations; 不可剝奪的權利 an inalienable right; 不可抗拒的歷史潮流 an irresistible historical trend; 兩者不可偏廢。 neither can be neglected. 我們不可這樣匆促作出決定。 no (such) hasty decision should be made by us.2.(“非 ...不可”表示“一定”) must 這部電影太精彩了, 我非看不可。 the film is extremely good, i just cannot miss it. 這個會太重要了, 我非去不可。 the meeting is very important. i simply must go

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

So , once again , there is a class of problem for which we conclusively believe that no solution or answer is possible
不可判定的。因此，又有一類問題我們認為是沒有可能的解決方案或答案的。
The reached conclusion shows that no matter how advanced the programming language is , if the real computer is based on the model of " turing machine " , the ability of the program will always be limited , i . e . there are many undecidable programs
由得出的結論可知：無論程序設計語言如何進步，只要最終的實際計算機是基于圖靈機模型，則程序的功能總具有局限性，即存在大量不可判定的程序。
Through such a study , it is also shown that when the time delay is long enough such that the stability switches of the equilibrium of system halt , the bifurcation branches originated from the critical time delays cannot be surely stable or unstable in the whole solution space , that is , their stability depends on cases . this phenomenon also implies that the stability of the periodic solutions on the bifurcation diagrams indicates only the stability on the local center manifo ld . some distinguished features of delay dyn
利用打靶法的數值結果說明了當系統(tǒng)平衡點不再發(fā)生穩(wěn)定性切換時，源自這些臨界時滯處的解支的穩(wěn)定性在整個解空間的穩(wěn)定性具有不可判定性，這也說明由多尺度法所得高階近似判定的解支的穩(wěn)定性事實上只表示解支在局部中心流形上的穩(wěn)定性，而非在整個解空間中的穩(wěn)定性。
The paper also analyzes " the undecidable propositions " in the conclusion of godel ' s incompleteness theorem , and finds that they are often mistakenly explained in three ways : propositions whose truth are undistinguishable ; propositions whose truth are uncertain ; and any other propositions than the self - reference and substitution propositions whose truth are unprovable
結論中的“不可判定”命題，現(xiàn)在有三種不同的錯誤解釋：是非不可分辨的命題（三值）、是非可分辨但不確定的命題（二值）、除自指代命題之外的是非都不可證的其他命題，它們都不是哥德爾的證法所支持的結論。