Results for provable translation from English to Greek

once we have some hard, provable scientific evidence we shall be able to provide answers.
Μόλις αποκτήσουμε ισχυρά, τεκμηριωμένα επιστημονικά στοιχεία, θα μπορέσουμε να δώσουμε απαντήσεις.

they must be clearly linked to the desired objective; their effectiveness must be provable;
πρέπει να υπάρχει σαφής σχέση μεταξύ των μέτρων που θα ληφθούν και του επιδιωκόμενου στόχου θα πρέπει επίσης να είναι αποδεδειγμένη η αποτελεσματικότητα των μέτρων

thus it is possible to exclude counterintuitive results like the banach–tarski paradox which are provable in zfc.
Έτσι, είναι δυνατόν να αποκλειστούν αντιφατικά αποτελέσματα, όπως το παράδοξο banach-tarski που είναι αποδείξιμο σε zfc.

there is no indication that the government of sudan has taken real and provable steps to disarm and neutralise the armed militia,
Δεν υπάρχουν ενδείξεις ότι η κυβέρνηση του Σουδάν έχει λάβει ουσιαστικά και απτά μέτρα για τον αφοπλισμό και την εξουδετέρωση της οπλισμένης πολιτοφυλακής,

some use it to mean just "not provable", leaving open whether an independent statement might be refuted.
some use it to mean just "not provable", leaving open whether an independent statement might be refuted.

only where there is scientifically substantiated and provable cause for concern can the free movement of goods be excluded and suspended in order to protect consumer health.
Μόνο όποιος έχει επιστημονικά θεμελιωμένους και αποδείξιμους ενδοιασμούς μπορεί να κλείσει τις πόρτες του και να διακόψει την ελεύθερη διακίνηση εμπορευμάτων προκειμένου να προστατεύσει την υγεία των καταναλωτών.

kruskal's tree theorem, which has applications in computer science, is also undecidable from peano arithmetic but provable in set theory.
kruskal's tree theorem, which has applications in computer science, is also undecidable from peano arithmetic but provable in set theory.

here are some statements that require the axiom of choice in the sense that they are not provable from zf but are provable from zfc (zf plus ac).
Εδώ είναι μερικές δηλώσεις που απαιτεί το αξίωμα της επιλογής, υπό την έννοια ότι δεν είναι αποδείξιμα από zf, αλλά είναι αποδείξιμες από zfc (zf συν ac).

the presence of acrylamide may not be provable in food (with a detection limit of the analysis method of 0,01 mg/kg).
Η παρουσία ακρυλαμιδίου δεν μπορεί να αποδειχθεί στα τρόφιμα (με όριο ανίχνευσης της μεθόδου ανάλυσης 0,01 mg/kg).

the proof of the independence result also shows that a wide class of mathematical statements, including all statements that can be phrased in the language of peano arithmetic, are provable in zf if and only if they are provable in zfc.
Η απόδειξη του αποτελέσματος της ανεξαρτησίας δείχνει επίσης ότι μια μεγάλη τάξη των μαθηματικών καταστάσεων, συμπεριλαμβανομένων όλων των καταστάσεων που μπορεί να διατυπωθεί στη γλώσσα της αριθμητικής peano, είναι αποδείξιμες σε zf αν και μόνο αν είναι αποδείξιμες σε zfc.

this corollary of the second incompleteness theorem shows that there is no hope of proving, for example, the consistency of peano arithmetic using any finitistic means that can be formalized in a theory the consistency of which is provable in peano arithmetic.
this corollary of the second incompleteness theorem shows that there is no hope of proving, for example, the consistency of peano arithmetic using any finitistic means that can be formalized in a theory the consistency of which is provable in peano arithmetic.

the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.
the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.

the equal opportunities programme e)f the esb. which is organised and implemented in cooperation with the trade unions and which can boast provable success, is therefore an initiative of which many as pects appear suitable for transfer of ex perience to other countries.
Όπως αναφέρθηκε παραπάνω, τα συνδικάτα οργανώνουν επίσης τα δικά τους προγράμ­ματα κατάρτισης για τα μέλη τους, ώστε να στηρίξουν την δημιουργία ίσων ευκαιριών -ένα ζήτημα που υποστηρίζουν σθεναρά. Το

secondly, if we had at the time introduced amendments to the implementing directive on spices, containing the stipulation that the irradiation should be analytically provable or that we would have to have standardized methods, then everybody would have been justified in thinking we were stupid. and they would all have said- i was also the rapporteur at the time, of course- that that blottnitz woman had gone crazy, for at that time, eight and a half years ago- and many still think so today- these methods did not even exist.
Δεύτερον, εάν είχαμε τότε καταθέσει τροπολογίες, με αφορμή την οδηγία για τα μπαχαρικά, σύμφωνα με τις οποίες η ακτινοβολία είτε θα έπρεπε να αποδεικνύεται αναλυτικώς είτε θα έπρεπε να χρησιμοποιούμε τυποποιημένες μεθόδους, τότε όλοι θα μας περιγελούσαν σήμερα, και δικαιολογημένα, και θα έλεγαν για μένα- ήμουν και τότε εισηγήτρια του θέματος- ότι έχω χάσει τα μυαλά μου, επειδή τότε- και μερικοί το πιστεύουν ακόμη και σήμερα- πριν από οκτώμισι χρόνια, οι μέθοδοι αυτοί δεν υπήρχαν καν.