Übersetzung für "Undecidable" in Deutsch

The word problem for an ARS is undecidable in general.
Das Wortproblem für ein ARS ist im Allgemeinen unentscheidbar.
Wikipedia v1.0
We show that the closed formula B(k) is undecidable.
Wir zeigen, daß die abgeschlossene Formel B(k) unentscheidbar ist.
EuroPat v2
The artist translates this undecidable ambivalence in the original into the medium of the video installation.
Diese unentscheidbare Ambivalenz der Vorlage übersetzt die Künstlerin in das Medium der Videoinstallation.
ParaCrawl v7.1
Wang tiles can be generalized in various ways, all of which are also undecidable in the above sense.
Wang-Kacheln können in verschiedenster Weise verallgemeinert werden, die alle unentscheidbar in obigem Sinne sind.
WikiMatrix v1
In a series of papers Robinson showed that a number of mathematical theories are undecidable.
In einer Reihe von Papieren Robinson zeigte, dass eine Reihe von mathematischen Theorien sind unentscheidbare.
ParaCrawl v7.1
At this level the disagreement between analytic and concrete systems theory would seem to be undecidable.
Auf dieser Ebene scheint der Streit zwischen analytischen und konkreten Systemtheorien unentscheidbar zu sein.
ParaCrawl v7.1
This is in strong contrast to many other attempts to derive type inference algorithms, which often came out to be NP-hard, if not undecidable with respect to termination.
Es steht damit in starkem Kontrast zu vielen anderen Versuchen, ein Typinferenzverfahren herzustellen, die sich oft als NP-schwer, wenn nicht unentscheidbar bzgl. Terminierung herausgestellt haben.
WikiMatrix v1
Gödel?s Incompleteness Theorem says that every formal number theory contains an undecidable formula, that is, neither the formula nor its negation are provable in the theory.
Gödels Unvollständigkeitssatz besagt, daß es in jeder formalen Zahlentheorie eine unentscheidbare Formel gibt, d. h. weder diese Formel noch ihre Negation sind in der Zahlentheorie beweisbar.
EuroPat v2
In the proof in Table 3, the undecidable formula is produced by the composition procedure which applies Rules 14-20.
Im Beweis in Tabelle 3 wird die unentscheidbare Formel durch das Kompositionsverfahren erzeugt, das die Regeln 14-20 anwendet.
EuroPat v2
Starting with the work of Novikov and Boone from the 1950's, all three problems turned out to be undecidable in general.
Startend mit Arbeiten von Novikov und Boone aus den 1950er Jahren wurden alle drei Probleme als unentscheidbar nachgewiesen.
ParaCrawl v7.1
From an epistemological point of view the conflict between economic subjectivism and moral objectivism in Christian Social Ethics is undecidable.
Auf rein erkenntnistheoretischer Ebene ist der Konflikt zwischen ökonomischem Subjektivismus und dem ethischen Objektivismus in der christlichen Sozialethik unentscheidbar.
ParaCrawl v7.1
In her thesis Definability and decision problems in arithmetic Robinson proved that the arithmetic of rational numbers is undecidable by giving an arithmetical definition of the integers in the rationals.
In ihrer Diplomarbeit Definability Entscheidung und Probleme in Arithmetik Robinson bewiesen, dass die Arithmetik der reellen Zahlen ist unentscheidbare, indem er ein arithmetische Definition der ganzen Zahlen in die rationale.
ParaCrawl v7.1
Moreover, in cybersecurity, some problems require so much computational capacity – or are so time-consuming – that even a machine learning algorithm would be ineffective in solving them – making them practically undecidable.
Darüber hinaus verlangen einige Probleme in der Cyber Security so viel Rechenkapazität – oder sind so zeitaufwändig – dass selbst ein Machine Learning Algorithmus bei der Lösung eines Problems unwirksam wäre, weil es quasi "unentscheidbar" ist.
ParaCrawl v7.1
Well, to return to our problem, that is, if there can be a program capable of detecting any virus, Leonard Max Adleman has shown that this problem is equivalent to the better known "halting problem" and therefore it too undecidable.
Um auf unser Problem zurückzukommen: Wenn es ein Programm gibt, das Viren erkennen kann, hat Leonard Max Adleman gezeigt, dass dieses Problem dem bekannteren "Stopping-Problem" entspricht und daher auch unentscheidbar.
CCAligned v1
In addition to work on Hilbert 's Tenth Problem, Robinson also wrote other important mathematics papers: on general recursive functions (1950), on primitive recursive functions (1955), on the undecidability of algebraic rings and fields (1959) and on decision problems for algebraic rings in 1962 in which she showed that rings of integers of various fields of algebraic numbers are undecidable.
Neben der Arbeit an Hilbert 's Zehnten Problem, Robinson schrieb auch andere wichtige Papiere Mathematik: über die allgemeine rekursive Funktionen (1950), in primitiven rekursiven Funktionen (1955), in der Unentscheidbarkeit algebraischer Ringe und Felder (1959) und Entscheidung über die Probleme Algebraische Ringe im Jahr 1962, in denen sie zeigten, dass die Ringe von ganzen Zahlen von verschiedenen Bereichen der algebraischen Zahlen sind unentscheidbare.
ParaCrawl v7.1

Ähnliche Begriffe

undecided i am undecided undecidability undecidable