-
1 beweisbar
beweisbar adj доказуем, който може да се докаже.* * *a доказуем; -
2 beweisbar
beweisbar adj ispatı mümkün -
3 beweisbar
beweisbar a доказу́емый, могу́щий быть дока́занным (о фа́кте)beweisbare Aussage f доказу́емое выска́зывание -
4 beweisbar
-
5 beweisbar
Adj. provable, demonstrable; das ist nicht / leicht beweisbar that is difficult / easy to prove* * *demonstrable; provable* * *be|weis|baradjprovable, demonstrable, capable of being proved* * *be·weis·baradj provable* * ** * *beweisbar adj provable, demonstrable;das ist nicht/leicht beweisbar that is difficult/easy to prove* * ** * *adj.demonstrable adj.provable adj. adv.demonstrably adv.provably adv. -
6 beweisbar
bə'vaɪsbaːradjprobable, demostrableprobable, demostrableAdjektiv -
7 beweisbar
-
8 beweisbar
-
9 beweisbar
beweisbar bevislig -
10 beweisbar
dający się udowodnić [o dowieść]diese Anschuldigungen sind nicht \beweisbar tych oskarżeń nie można dowieść -
11 beweisbar
-
12 beweisbar
прил.общ. могущий быть доказанным (о факте), доказуемый -
13 beweisbar
доказуемыйвыводимый -
14 beweisbar
be·weis·bar adjprovable -
15 beweisbar
доказуемый -
16 beweisbar
adj (što) se može dokazati, dokaziv -
17 beweisbar
-
18 beweisbar
bewéisbar aдоказу́емый -
19 beweisbar
be'weisbar dający się udowodnić, poparty dowodami -
20 beweisbar
Современный немецко-русский словарь общей лексики > beweisbar
См. также в других словарях:
beweisbar — beweisbar:erweisbar·nachweisbar·erweislich+unwiderlegbar·unwiderleglich … Das Wörterbuch der Synonyme
Beweisbar — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis … Deutsch Wikipedia
beweisbar — erwiesenermaßen; nachweislich * * * be|weis|bar 〈Adj.〉 so beschaffen, dass man es beweisen kann ● diese Behauptung ist (nicht) beweisbar * * * be|weis|bar <Adj.>: sich beweisen lassend: eine nicht, nur schwer, kaum e Behauptung; es ist b.,… … Universal-Lexikon
beweisbar — be|weis|bar; kaum beweisbar sein … Die deutsche Rechtschreibung
Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Completeness — Vollständigkeit ist eine Eigenschaft formaler Systeme bzw. Kalküle. Man unterscheidet semantische Vollständigkeit („Alles, was wahr ist, ist beweisbar.“), klassische Vollständigkeit („Eine der zwei Aussagen und ist stets beweisbar.“) und… … Deutsch Wikipedia