prouvable dans le dictionnaire Oxford-Hachette

Traductions de prouvable dans le dictionnaire français»anglais

prouvable [pʀuvabl] ADJ

prouvable

provable

prouvable dans le dictionnaire PONS

Traductions de prouvable dans le dictionnaire anglais»français

Autres traductions et expressions typiques avec les termes de votre recherche

provable

prouvable

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

français

Il y a équivalence entre être une tautologie et être prouvable.

fr.wikipedia.org

Cette preuve est historiquement la première de son genre et a participé à développer la notion de sécurité prouvable en cryptologie.

fr.wikipedia.org

On en déduit, par simple contraposition, que si le séquent vide n'est pas prouvable, c'est qu'il n'y a pas de contradiction.

fr.wikipedia.org

Elle est donc également prouvable au moyen de systèmes de déduction, par exemple la déduction naturelle.

fr.wikipedia.org

Il ne fournit pas un scénario unique, cohérent, scientifiquement raisonnable ou prouvable.

fr.wikipedia.org

Toutefois, de nombreux cas particuliers sont prouvables dans un contexte constructif.

fr.wikipedia.org

Cela ne revient pas à dire que le principe du tiers exclu est complètement interdit ; des cas particuliers de ce principe seront prouvables en tant que théorèmes.

fr.wikipedia.org

La complétude énonce que toutes les phrases vraies sont prouvables.

fr.wikipedia.org

Un ensemble d'axiomes est cohérent lorsqu'aucune contradiction n'est prouvable à partir d'un nombre quelconque, fini, de ces axiomes.

fr.wikipedia.org

Voici quelques-unes des principales formules prouvables (par exemple en calcul des séquents) en logique linéaire.

fr.wikipedia.org