Translation of "provable" to German language:
Dictionary English-German
Provable - translation :
Examples (External sources, not reviewed)
| It's a provable bit of information. | Es ist ein beweisbares Stück Information. |
| This sentence is true, but not provable. | Dieser Satz ist wahr, aber nicht beweisbar. |
| It isn't a provable or disprovable theory. | Es ist keine beweisbare oder widerlegbare Theorie. |
| And this isn't just Tom Friedman, it's actually provable in case after case after case. | Und das ist nicht nur Tom Friedman, es kann tatsächlich nachgewiesen werden in vielen Fällen. |
| But we have to work within the boundaries of what is scientifically provable and in practical terms possible to implement. | Wir müssen uns dabei aber innerhalb der Grenzen dessen bewegen, was wissenschaftlich nachweisbar und in der praktischen Umsetzung möglich ist. |
| A set of axioms is complete if, for any statement in the axioms' language, either that statement or its negation is provable from the axioms. | Ein System T heißt vollständig , wenn für alle Aussagen A aus T die Aussage A oder deren Negation folgt. |
| The Latin school, which was controlled by Benedictine's monks in the cloister of Mallersdorf on the Johannisberg, is provable there from 1109 to 1803 enjoyed a superior call. | Die von Benediktinermönchen geführte Lateinschule im Kloster Mallersdorf auf dem Johannisberg, die dort von 1109 bis 1803 nachweisbar ist, genoss einen vorzüglichen Ruf. |
| Within the formal system this statement permits a demonstration that it is neither provable nor disprovable in the system, and therefore the system cannot in fact be ω consistent. | Die Motivation hierfür ist, dass einem Beweis zur Widerspruchsfreiheit eines Systems, der in diesem System selbst gegeben ist, nicht getraut werden kann. |
| Springer 1988 (Grundlehren der mathematischen Wissenschaften) Manin Cubic forms algebra, geometry, arithmetics , North Holland 1986 Manin A course in mathematical logic , Springer 1977 Manin The provable and the unprovable (Russ. | Springer 1988 (Grundlehren der mathematischen Wissenschaften) Manin Cubic forms algebra, geometry, arithmetics , North Holland 1986 Manin A course in mathematical logic , Springer 1977 Manin Das Beweisbare und das nicht Beweisbare (russ. |
| I have some sympathy with the remarks made by Mr Maaten about the imperfections of this scheme nevertheless we have to work within the boundaries of what is scientifically provable and practically possible to implement. | Ich habe Verständnis für Herrn Maatens Bemerkungen bezüglich der Unzulänglichkeiten dieses Systems. Doch wir müssen uns innerhalb der Grenzen dessen bewegen, was wissenschaftlich nachweisbar und praktisch umsetzbar ist. |
| 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. | Dieses Korollar des zweiten Unvollständigkeitssatzes zeigt, dass es nicht möglich ist, etwa die Konsistenz der Peano Arithmetik mit finiten Mitteln zu formalisieren, die sich in einer schwächeren Theorie formalisieren lässt, deren Konsistenz die Peano Arithmetik beweisen kann. |
| It is bizarre that some States which are rightly agitated at the amount of transnational boundary pollution on the land of Europe are nonetheless engaged in abusing the maritime environment for all by dumping dangerous wastes which cause provable damage to plankton, other living organisms and sediments, fish life, the quality of sea water and fauna in coastal areas. | Wir haben die Existenz dieser De jure Gemeinschaft, auf die sich unsere Hoffnung und unser Hinarbeiten auf ein vereinigtes Europa gründet, mehrmals durch Entschließungen bestätigt. |
