provable 在《牛津英西词典》中的词汇

词条provable在西班牙语»英语中的译文

provable 在《PONS词典》中的词汇

词条provable在英语»西班牙语中的译文 (跳至 西班牙语»英语)

词条provable在西班牙语»英语中的译文 (跳至 英语»西班牙语)

到英语_美式英语

单语范例(未经PONS编辑处理)

英语
Alternatively, a number of techniques exist for efficiently generating provable primes.
en.wikipedia.org
A simple instance of this is the "global consistency" theorem: "true" is not provable.
en.wikipedia.org
Together they imply that all and only validities are provable.
en.wikipedia.org
Then the -conjecture implies that if there are arbitrarily large models containing a large cardinal, this fact will be provable in -logic.
en.wikipedia.org
In his opinion, "suspicion" suggests a belief that something that may not be provable could still be possible.
en.wikipedia.org
Unlike heuristics, which usually only find reasonably good solutions reasonably fast, one wants provable solution quality and provable run-time bounds.
en.wikipedia.org
It was originally issued using a provable method called proof of burn.
en.wikipedia.org
They started a trend towards provable or verifiable distributed algorithms for the control of large numbers of modules.
en.wikipedia.org
Most variants of realizability begin with a theorem that any statement that is provable in the formal system being studied is realizable.
en.wikipedia.org
Another element would be the loss, so far as provable, resulting from the repudiation of clause 9.
en.wikipedia.org

是否要添加一些单词、短语或翻译?

请发送新条目。

语言 Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | 中文