formeel bewijs oor Engels

formeel bewijs

Vertalings in die woordeboek Nederlands - Engels

formal proof

establishment of a theorem using inference from the axioms

Lijst A betreft formele bewijzen die, tenzij weerlegd door bewijs voor het tegendeel, verantwoordelijkheid vestigen.
List A refers to formal proof which determines responsibility as long as it is not refuted by proof to the contrary.

voorbeelde

Maar zonder formeel bewijs kan de koning niemand veroordelen.
Without evidence, the King cannot act.

Hij vraagt met nadruk, hem zo spoedig mogelijk een formeel bewijs van inbeslagneming te sturen.
He insists we send him an official requisition application as soon as possible.’

Ons slachtoffer interesseerde zich voor de schat van zeerover Lavisé, maar er is geen formeel bewijs.
Our victim was interested in Lavisé's treasure, but we've no proof.

-Het vooronderzoek heeft acht maanden geduurd, want men vond geen formeel bewijs.
‘Inquiries lasted eight months, for no formal proof of guilt was ever found.

Zonder enig formeel bewijs kunt u me wel van alles wijsmaken.
Without any formal proof, you could be telling me anything.

Het ontbreken van een formeel bewijs van de overlegging van de dossiers is daartoe geenszins van beslissend belang .
In that connection, the absence of a formal certificate evidencing the forwarding of the files is in no way decisive .

Vrijstelling van een formeel bewijs van oorsprong 1.
Exemptions from formal proof of origin 1.

Alleen de effectieve volledige betaling van het bepaalde bedrag aan de definitieve begunstigde moet met formeel bewijs worden gestaafd.
Only the actual full payment of the defined amount to the final beneficiary has to be supported by formal evidence.

Alleen de effectieve volledige betaling van het bepaalde bedrag aan de definitieve begunstigde moet met formeel bewijs worden gestaafd
Only the actual full payment of the defined amount to the final beneficiary has to be supported by formal evidence

Hij gebruikte deze vergelijking, om aan te geven dat menselijke wiskundigen geen systemen van formeel bewijs zijn; die lopen op een computable algoritme.
He took this disparity to mean that human mathematicians are not formal proof systems and are not running a computable algorithm.

De Griekse wiskunde vormt een belangrijke periode in de geschiedenis van wiskunde, fundamenteel door de geavanceerde meetkunde en het idee van het formeel bewijs.
Greek mathematics constitutes a major period in the history of mathematics, fundamental in respect of geometry and the idea of formal proof.

Betaling van premies kan alleen plaatsvinden wanneer de bewerker het betaalorgaan een formeel bewijs kan overleggen waaruit blijkt dat de tabak onder controle is geplaatst.
The payment of premiums depends on the presentation by the processor to the paying agency of a formal proof that the tobacco has been taken under supervision.

Dit geldt temeer daar het LBOR een schriftelijk en formeel bewijs vormt van de kwaliteit van het werk dat die ambtenaar gedurende de betrokken periode heeft verricht.
That applies a fortiori since a CDR constitutes formal evidence in writing of the quality of the work which that official has carried out during the period under consideration.

Het formele bewijs van de stelling maakt alleen gebruik van de voorwaarde van invariantie om een uitdrukking af te leiden voor een stroom, die geassocieerd wordt met een behouden natuurkundige grootheid.
The formal proof of the theorem utilizes the condition of invariance to derive an expression for a current associated with a conserved physical quantity.

De verklaring van de Italiaanse autoriteiten dat de banken niet bereid waren hun goedkeuring schriftelijk te bevestigen, maar deze wel hadden gegeven, is geen formeel bewijs voor het standpunt van de banken.
In the case at hand, the statement by the Italian authorities that the banks which had not felt that they could confirm in writing that they were in agreement had nevertheless expressed approval does not constitute formal proof of the position of the banks concerned.

Het CHMP was over het geheel genomen van mening dat de aanvrager adequaat heeft gereageerd door de resultaten van een additionele studie, BES No.#, te overleggen en formeel bewijs van bio-equivalentie heeft aangetoond
Overall, the CHMP considered that the applicant had responded adequately by providing the results of an additional study, BES No.#, and had demonstrated formal proof of bioequivalence

Dit laatste vormt het formele bewijs van een geregistreerde rechtshandeling (bijvoorbeeld dat zich een huwelijk heeft voltrokken van twee homoseksuelen in Nederland). Dit authentieke document is het effect van de akte van de burgerlijke stand.
The latter bears full witness to what is documented (for example, that a homosexual marriage has been entered into in Holland) and this public witness is the effect of the official marital status document.

Anderzijds wil ik erop wijzen, dat ook al ontbreekt in casu het bewijs van de door verzoeker gestelde fysieke agressie door Constantinou, al evenzeer het formele bewijs ontbreekt dat verzoeker bij zijn voorstelling van zaken heeft gelogen .
In my view, it is also important to point out that, in this case, although it is true that it has not been possible to establish whether the assault allegedly committed on Mr Katsoufros by Mr Constantinou actually took place, it is equally true that it has in no way been established that the applicant lied when giving his version of the incident .

Hier hebben wij het formele bewijs - en de voorzitter van de Commissie vervoer en toerisme, Jean-Pierre Bazin, heeft dit op mijn vraag bevestigd - dat duizenden jonge Franse bestuurders hun rijbewijs hebben behaald via het begeleid rijden.
We have here the categorical proof - and the chairman, Jean-Pierre Bazin, has confirmed it on my request - that thousands of young French drivers have obtained their driving licences through accompanied driving.

Ondanks de vooruitgang die de afgelopen jaren op het gebied van harmonisatie en vereenvoudiging is gemaakt blijven de oorsprongsregels, zowel materieel (criteria voor de verwerving van de oorsprong) als formeel (bewijs van en controle op de oorsprong) complex.
Despite the progress made over the years towards harmonising and simplifying them, preferential origin rules remain complex in both practical terms (criteria for acquiring originating status) and procedural terms (proof and control of origin).