Download
Translate Files
search close
    https://lingvanex.com/translate/ Translate Text https://app.lingvanex.com/ Translate Files

    Dimostrabile (en. Provable)

    Translation into Italian

    The question that they all faced was what proofs will a given formula have, if it is provable?
    La domanda davanti alla quale si sono trovati tutti era quale prova avrà una data formula, se è dimostrabile?
    Example taken from data source: ELRC-CORDIS_Results_v1
    Provable Things, the blockchain oracles company, first called Oraclize, was acquired by the Poseidon Group.
    Provable Things, l’azienda degli oracoli blockchain, prima chiamata Oraclize, è stata acquisita dal Gruppo Poseidon.
    Example taken from data source: ParaCrawl_v9
    You don't domicile here, you have no job your existence is not provable.
    Il tuo domicilio non è qui, tu non hai un lavoro La tua essitenza non è dimostrabile.
    Example taken from data source: OpenSubtitles_v2018
    You require provable financial support to study.
    Aver bisogno di un supporto finanziario dimostrabile per studiare.
    Example taken from data source: CCMatrix_v1
    The only provable fact we have about Antony is he had sex with Mandy, possibly more than once.
    L'unico elemento probante che abbiamo su Antony è che ha fatto del sesso con Mandy, forse più di una volta.
    Example taken from data source: OpenSubtitles_v2018
    The metalanguage includes primitive notions, axioms, and rules absent from the object language, so that there are theorems provable in the metalanguage not provable in the object language.
    Un metalinguaggio, infatti, include nozioni primitive, assiomi e regole che sono assenti nel linguaggio formale e per questo motivo ci sono teoremi dimostrabili nel metalinguaggio che non sono dimostrabili nel linguaggio formale.
    Example taken from data source: WikiMatrix_v1
    The proof of this implication can be formalized within the system, and therefore the statement "p is not provable", or "not P (p)" can be proved in the system.
    La dimostrazione di questa implicazione può essere formalizzata nel sistema stesso, e quindi l'affermazione "p non è dimostrabile", o "¬P (p)" può essere dimostrata nel sistema.
    Example taken from data source: WikiMatrix_v1

    Synonyms

    • ascertainable
    • demonstrable
    • establishable
    • verifiable