Unbeweisbarkeit oor Engels

Unbeweisbarkeit

naamwoord vroulike

Vertalings in die woordeboek Duits - Engels

unprovability

naamwoord

condition of being unprovable

voorbeelde

Wenn die Gerüchte stimmen, könnte dank Professor Henry Wilkins Bormats berühmtes letztes Theorem in nur wenigen Stunden seine Unbeweisbarkeit verlieren.
If the rumours are true, thanks to Professor Henry Wilkins, Bormat's famous last theorem could cease to be unsolvable in the next few hours.

Dieser Satz bezieht sich nicht direkt auf sich selbst, aber man erhält die ursprüngliche Aussage, wenn man die angegebene Umformung durchführt, und damit behauptet der Satz seine eigene Unbeweisbarkeit.
This sentence does not directly refer to itself, but when the stated transformation is made the original sentence is obtained as a result, and thus this sentence indirectly asserts its own unprovability.

Lange versuchte ich die Unbeweisbarkeit nachzuweisen, obwohl ich sie eigentlich für unmöglich hielt.
For a long while I tried to show that it was unprovable, even though I did not really believe it could be so.

Der nächste Schritt besteht darin, eine Aussage zu konstruieren, die ihre eigene Unbeweisbarkeit behauptet.
The next step in the proof is to obtain a statement that says it is unprovable.

Dieser Satz bezieht sich nicht direkt auf sich selbst, aber man erhält die ursprüngliche Aussage, wenn man die angegebene Umformung durchführt, und damit behauptet der Satz seine eigene Unbeweisbarkeit.
This sentence does not directly refer to itself, but when the stated transformation is made the original sentence is obtained as a result, and thus this sentence asserts its own unprovability.

Doch diese Unbeweisbarkeit des Sohnes Gottes ist kein Fehler und schon gar kein Zufall.
But this improvability of the Son of God is not a mistake, and certainly it is no coincidence.

Die Unbeweisbarkeit, dass es wahrscheinlicher ist, dass ein Stück eingereicht wurde, als dass es nicht eingereicht wurde, müsse daher zulasten des Einreichenden gehen – so die Kammer in T 1200/01.
The impossibility of furnishing proof of a higher probability that an item was filed than that it was not filed, must therefore count against the filing party – as found by the board in T 1200/01.

Der nächste Schritt besteht darin, eine Aussage zu konstruieren, die ihre eigene Unbeweisbarkeit behauptet.
The next step in the proof is to obtain a statement which, indirectly, asserts its own unprovability.

Vor allem auch im Duktus des Kittler eigenen „Hingerissenseins“ durch die Liebe zum Gegenstand, die eben auch „Spekulationen, (...) Fehler, autodidaktische Übertreibungen und Unbeweisbarkeiten“ (Kaube) kennt und duldet.
He does so above all in Kittler’s characteristic style of being “enraptured” through the love of the subject, which also knows and tolerates “speculation, [...] errors, autodidactic exaggeration and unsubstantiated claims” (Kaube).

6 Beispiele für Unbeweisbarkeit konkreter Sätze
5 Examples of undecidable statements 6 See also

Unbeweisbarkeit geht zu Lasten des Einreichenden. 3. Die Beweislast verbleibt beim Einreichenden auch dann, wenn das EPA innerhalb angemessener Bearbeitungszeiten das Fehlen der Eingabe oder Anlage (hier: fehlender Scheck) nicht feststellt und dementsprechend den Einreichenden auch nicht darauf aufmerksam macht, daß er angesichts der noch nicht abgelaufenen Frist die fragliche Handlung noch oder erneut vornehmen kann.
3. The burden of proof also remains with the party doing the filing even when the EPO does not discover within in reasonable space of processing time that the document or enclosure filed (in this case a cheque) is missing and accordingly does not bring to the attention of the said party the fact that because the time limit has not yet expired he may still perform the act in question or repeat it.

Der Unvollständigkeitssatz von Kurt Gödel mit dem Beweis von Unbeweisbarkeit wahrer Aussagen in der Arithmetik ist wohl bekannt.
Kurt Goedel’s incompleteness theorem with the evidence of the unverifiability of true arithmetic statements is well known.