undecidable中文什么意思

發(fā)音:

用"undecidable"造句

不可判定的

undecidable theory: 不可判定理論
undecidability theorem: 不可判定性定理
undecide: 未卜
undecidability: n. 【邏輯學(xué)】【數(shù)學(xué)】不可決定性〔指以某系統(tǒng)的公理既不能證明某命題的成立，又不能證明其不成立的情況〕。
undecided: adj. 1.未決的，未定的。 2. (天氣等)不穩(wěn)定的。 3.優(yōu)柔寡斷的。 4.(形狀等)不明確的，模糊的。 n. -ness

下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

例句與用法

Determining whether a piece of code always produces a certain co tant value is the same as determining program equivalence , which is an undecidable problem
確定一段代碼是否總是產(chǎn)生某個(gè)常數(shù)值，等同于確定程序等效物，無法保證一定能做到。
Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence , which is an undecidable problem
確定一段代碼是否總是產(chǎn)生某個(gè)常數(shù)值，等同于確定程序等效物，無法保證一定能做到。
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
由得出的結(jié)論可知：無論程序設(shè)計(jì)語言如何進(jìn)步，只要最終的實(shí)際計(jì)算機(jī)是基于圖靈機(jī)模型，則程序的功能總具有局限性，即存在大量不可判定的程序。
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
結(jié)論中的“不可判定”命題，現(xiàn)在有三種不同的錯(cuò)誤解釋：是非不可分辨的命題（三值）、是非可分辨但不確定的命題（二值）、除自指代命題之外的是非都不可證的其他命題，它們都不是哥德爾的證法所支持的結(jié)論。

其他語言

undecidableとは意味

undecidable meaning

undecidable перевод

√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

undecidable中文什么意思

例句與用法

相關(guān)詞匯

其他語言

相鄰詞匯

相關(guān)閱讀