provable u rečniku italijanskog jezika Oksford‒Paravia

provable u rečniku PONS

Jednojezični primeri (nisu ih verifikovali PONS urednici)

engleski
In the later case, we have a statement (not "p") which is false but provable, and the system is not -consistent.
en.wikipedia.org
It was originally issued using a provable method called proof of burn.
en.wikipedia.org
Eventually it was realized that this postulate may not be provable from the other four.
en.wikipedia.org
Some use it to mean just not provable, leaving open whether an independent statement might be refuted.
en.wikipedia.org
A converse to completeness is soundness, the fact that only logically valid formulas are provable in the deductive system.
en.wikipedia.org
The theory can be taken to include just those axioms, or their logical or provable consequences, as desired.
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
Together they imply that all and only validities are provable.
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
Alternatively, a number of techniques exist for efficiently generating provable primes.
en.wikipedia.org

Da li Vam nedostaje određeni izraz ili prevod?

Poziv za kompajliranje OD unosa

Strana na Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski