Englisch » Polnisch

Übersetzungen für „provable“ im Englisch » Polnisch-Wörterbuch (Springe zu Polnisch » Englisch)

provable [ˈpru:vəbl̩] ADJ

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Englisch
This approach requires more propositional axioms and each equivalence between logical forms must be either an axiom or provable as a theorem.
en.wikipedia.org
A simple instance of this is the "global consistency" theorem: "true" is not provable.
en.wikipedia.org
For example, consider the set of (natural number codes for) provable first-order formulas and the set of codes for disprovable first-order formulas.
en.wikipedia.org
Her current research interests include information theoretic security, provable security, network security, digital and privacy rights management, and multimedia security.
en.wikipedia.org
They started a trend towards provable or verifiable distributed algorithms for the control of large numbers of modules.
en.wikipedia.org
Together they imply that all and only validities are provable.
en.wikipedia.org
Something could be plausible (on the face of it, it makes sense), but not (yet) provable.
en.wikipedia.org
The function is then called provably secure, or just provable.
en.wikipedia.org
The completeness property means that every validity (truth) is provable.
en.wikipedia.org
Eventually it was realized that this postulate may not be provable from the other four.
en.wikipedia.org

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

Seite auf Deutsch | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina