INFOSEKOLAH.NET

nicht semi-entscheidbar. Äquivalenzproblem Berechenbarkeit Endlichkeitsproblem Leerheitsproblem Postsches Korrespondenzproblem Semi-entscheidbare Menge Lothar...

rekursiv aufzählbare Menge (auch semi-entscheidbare Menge, positiv semi-entscheidbare Menge, halb-entscheidbare Menge, berechenbar aufzählbare Menge,...

einer Turingmaschine. Das Halteproblem ist somit algorithmisch nicht entscheidbar. Das Resultat spielt eine grundlegende Rolle in der Berechenbarkeitstheorie...

L {\displaystyle L} liegen. Im Unterschied zu rekursiven Sprachen (entscheidbare Sprachen) muss bei den rekursiv aufzählbaren Sprachen die Turingmaschine...

Deterministisch in Polynomialzeit entscheidbare Sprachen. EXPTIME: Deterministisch in Exponentialzeit entscheidbare Sprachen. NTIME(f): Allgemeine Schreibweise...

Σ ⋆ {\displaystyle L\subseteq \Sigma ^{\star }} heißt rekursiv oder entscheidbar genau dann, wenn es eine Turingmaschine gibt, die L {\displaystyle L}...

Linearzeit entscheidbar. DNF-SAT beschränkt SAT auf Formeln, die in disjunktiver Normalform gegeben sind. DNF-SAT ist in polynomieller Zeit entscheidbar, da...

{\displaystyle L} über einem Alphabet Σ {\displaystyle \Sigma } rekursiv (entscheidbar), wenn eine Turingmaschine M existiert, die auf allen Eingaben w ∈ Σ...

Anzeige eines Fehlers? Ob eine Uhr außer Betrieb ist oder welche falsch anzeigt, ist auf dem Foto nicht entscheidbar....

auch bekannt als die rekursiv aufzählbaren Sprachen (oft auch semi-entscheidbare Sprachen genannt), d. h. die zugehörige Turingmaschine akzeptiert jedes...

durch das Mittelalter wird oft übersehen. Eine erste vollständige und entscheidbare Formalisierung für aussagenlogische Tautologien – allerdings noch nicht...

}}M_{n}{\text{ berechnete Funktion liegt in }}{\mathcal {S}}\right\}} nicht entscheidbar. Nach Konstruktion liegen Indizes äquivalenter Turing-Maschinen entweder...

Schmidt) als erwiesenermaßen nicht getötet sowie zwei weitere nicht entscheidbare Fälle, fügte aber zugleich zwei weitere Opfer (Mosert und Oppenheim)...

jedoch semi-entscheidbar. Es wird auch als das spezielle Halteproblem bezeichnet und ist das klassische Beispiel dafür, dass es semi-entscheidbare Sprachen...

können. Hinreichend einfach bedeutet dabei, dass das Axiomensystem eine entscheidbare Menge ist. Als zweiter Gödelscher Unvollständigkeitssatz wird Gödels...

hinaus ist die Terminierung eines Algorithmus (das Halteproblem) nicht entscheidbar. Das heißt, das Problem, festzustellen, ob ein (beliebiger) Algorithmus...

in einem genügend reichhaltigen mathematischen Axiomensystem nicht entscheidbare, aber wahre Aussagen existieren, begegnet Tegmark, indem er die den...

gehört oder nicht. Das Wortproblem einer Sprache L {\displaystyle L} ist entscheidbar, wenn ihre charakteristische Funktion χ L {\displaystyle \chi _{L}} berechenbar...

innerhalb des vorausgesetzten formalen Systems prinzipiell unlösbar (nicht entscheidbar) ist. Häufig wird auch nach möglichst effizienten Algorithmen zur Lösung...

rekonstruiert knapp 6 cm weit und 7 bis 8 cm hoch war. Allerdings ist nicht entscheidbar, ob der Zahnabdruck von einem jüngeren Individuum von O. megalodon, einem...

sind dies gleichwertige Hypothesen, und die Verwandtschaft ist nicht entscheidbar. Erstes Analyseergebnis ist allerdings einfach ein Verbindungsgraph....

μ-rekursive Funktionen (daher kommt auch die Bezeichnung rekursiv für entscheidbare Mengen). Der untypisierte Lambda-Kalkül ist Turing-vollständig, aber...

bis unlösbar variieren. Für den Fall der Aussagenlogik ist das Problem entscheidbar (d. h. ein Beweis ist immer erzeugbar, wenn das Theorem logisch gültig...

Roberts’ erweiterter Trick liefert ein Werkzeug, mit dem sich jede (entscheidbare) Frage so einkleiden lässt, dass man von jedem Gott außer dem Zufallsgott...

und β-Konversionen entscheidbar. Es ist bekannt, dass das Matching-Problem auf Lambda-Ausdrücken bis zur vierten Ordnung entscheidbar ist. Das Unifikationsproblem...

N k + 1 {\displaystyle B\subset \mathbb {N} ^{k+1}} , das rekursiv (entscheidbar) ist. Letztere Folgerung ist eine direkte Implikation aus der Definition...

langen Geschichte, die bis in die 1960er Jahre hineinreicht, als nicht entscheidbar herausgestellt, das heißt, die Axiome der Mengenlehre erlauben in dieser...

für reguläre Grammatiken und deterministisch kontextfreie Grammatiken entscheidbar, für nichtdeterministische kontextfreie ist es unentscheidbar. Offenbar...

die Mandelbrot-Menge übertragen. Die Frage, ob die Mandelbrot-Menge entscheidbar ist, ergibt zunächst keinen Sinn, da M {\displaystyle {\mathcal {M}}}...

Unsicherheit in den Datierungsfragen verursacht. Als Beispiel für das kaum entscheidbare Neben- und Nacheinander verschiedener Entwicklungsstufen oder Individualitäten...

1 und 2 wird das PKP entscheidbar. Die Größe 5 reicht aus für Unentscheidbarkeit. Ob für die Größe 3 oder 4 das PKP entscheidbar ist oder nicht, ist noch...

liegt das Halteproblem aber selbst nicht in NP, da es überhaupt nicht entscheidbar ist. Michael R. Garey und David S. Johnson: Computers and Intractability...

berechenbar. Wäre sie es, so wäre das Halteproblem mit leerem Eingabeband entscheidbar, denn eine Turingmaschine mit n {\displaystyle n} Zuständen, die mehr...

weiter, die Quantenphysik axiomatisch aus der Unterscheidung empirisch entscheidbarer „Ur-Alternativen“ aufzubauen. Insgesamt wurden von v. Weizsäcker bzw...

→ Hauptartikel: Abgrenzungsproblem Weil empirische Theorien nicht endgültig entscheidbar sind, entwickelte Popper das Kriterium der Falsifizierbarkeit als alternative...

zwischen diesen Auffassungen aufgrund seines Relativismus für nicht entscheidbar hält. Den ersten beiden Auffassungen entsprechen Radbruch zufolge bestimmte...

Politische Fragen sind also normative Fragen, die nicht wissenschaftlich entscheidbar sind (siehe Politische Theorie und Wissenschaftstheorie). Doch nicht...

heißt entscheidbar, wenn es durch einen Algorithmus, der nach endlich vielen Schritten terminiert, gelöst werden kann. Viele Probleme sind entscheidbar, es...

Damit ist die Authentizität allein mit der äußeren Textkritik nicht entscheidbar. François Bovon begründet eine sekundäre Streichung des Satzes mit „Gründen...

in … DELETE FROM SoftwareVerkaeufe WHERE produkt_id = 123456 … nicht entscheidbar ist, ob Datensätze aus Produkte oder Verkaeufe gelöscht werden sollen...

erfolglos. Später stellte sich heraus, dass die Frage grundsätzlich nicht entscheidbar ist. Neben Cantor war Richard Dedekind ein wichtiger Wegbereiter der...

darüber hinaus lassen sich mit der Web Ontology Language auch vollständig entscheidbare Ontologien beschreiben. Um die Datenqualität und die Einhaltung eines...

Arbeiten von Leopold Löwenheim vorweg, der 1915 bewies, dass dieses Problem entscheidbar ist (siehe auch Satz von Löwenheim-Skolem). Der veröffentlichte Teil...

entstehende logische System, die monadische Prädikatenlogik, hat den Vorteil, entscheidbar zu sein; das bedeutet, dass es mechanische Verfahren (Algorithmen) gibt...

Turingmaschine. Halteproblem Gödelscher Unvollständigkeitssatz Semi-entscheidbare Menge Berechenbare Folge Berechenbare Zahl S. B. Cooper: Computability...

sei partiell. Ist nun χ'A außerdem berechenbar, so nennt man A semi-entscheidbar oder rekursiv aufzählbar, da man zwar alle Elemente aufzählen kann, aber...

mindestens eine Marke. Das Erreichbarkeitsproblem ist entscheidbar. Für jedes Petri-Netz ist es entscheidbar, ob es lebendig ist. Bei allen beschriebenen Eigenschaften...

Cantor aufgestellte Kontinuumshypothese in der üblichen Mengenlehre nicht entscheidbar. Neben der Nichtstandardanalysis sind besonders zur Zeit der Grundlagenkrise...

Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. Ein nicht-entscheidbares Problem...

Axiomatisierung der Physik eine bis heute offene und niemals einseitig entscheidbare Frage bleiben. Mit Blick auf die formalisierte Semantik in der Metamathematik...

Halter geben. Darüber hinaus ist nicht immer eindeutig und objektiv entscheidbar, ob eine Eigenschaft in Form eines Attributes des Objektes oder in Form...

Sozialwahltheorie Dezisionismus (Rechtsphilosophie) Manipulation Triage Entscheidbar Unterschied, Unterscheidung, Gleichheit, Merkmal Wertanalyse Crisis Intelligence...

Für reguläre und kontextfreie Sprachen ist das Endlichkeitsproblem entscheidbar. Dagegen ist es für Sprachen vom Typ-1 und Typ-0 der Chomsky-Hierarchie...

Weiterhin wird eingewandt, dass die Schädlichkeitsvorwürfe auf eine kaum entscheidbare empirische Diskussion hinauslaufen, da eine Gesamtnutzen-Bilanz einer...

Rechenzeit benötigt. Einige Probleme der Kontrolltheorie führen auf nicht entscheidbare mathematische Probleme. Die Reduktion der Komplexität praktisch relevanter...

sind entgegen ihren Bezeichnungen deduktive Verfahren. → Hauptartikel: Entscheidbar Es gibt logische Systeme, in denen Ausdrücke auftreten, die zwar mit...

Bedeutungsunterschied immer erkennbar wäre. Nur in Einzelfällen ist entscheidbar, ob die von ihm benutzten Wörter seinen Zeitgenossen schon bekannt waren...

O I N ( D ) {\displaystyle {\mathcal {SHOIN}}(D)} , welche zu einer entscheidbaren Untermenge der Prädikatenlogik erster Stufe äquivalent ist. Um die Abbildbarkeit...

eingebürgert vor. Wegen ihrer lang zurückreichenden Kultur ist oft nicht entscheidbar, ob ihre Vorkommen natürlich sind. Die ökologischen Zeigerwerte nach...

Septuaginta-Psalter von einem Übersetzer oder eine Gruppe angefertigt wurde, ist nicht entscheidbar. Das Werk wirkt jedenfalls einheitlich. Sprachlich war die bereits vorliegende...

die Kenntnis von Zwischenstadien bei rezenten Arten ist dann schwer entscheidbar, wie die Abwesenheit dieses Merkmals zu deuten ist. Zum Beispiel sind...

Sachverhalte und damit nach Popper wie auch Theorien nicht endgültig entscheidbar. In der Wissenschaftsgeschichte sieht Popper Versuche, Theorien gegen...

Hypothesis“ von 2007 die These, dass unser Universum selbst ein abstraktes, entscheidbares mathematisches Gebilde sei. Eine Simulation wäre lediglich eine Repräsentation...

Hiroshige zu fördern. Welche der Theorien zutreffend ist, ist nicht entscheidbar. Anzunehmen ist, dass Hiroshige mit der Verwendung seiner Motive durch...

trug. Mangels hinreichender Belege ist diese Frage derzeit leider nicht entscheidbar. Idrimi entstammte jedenfalls einer in Halab ansässigen Dynastie, die...

Halteproblem nicht entscheidbar ist, ist auch das Kachelungsproblem von Wang nicht entscheidbar. Umgekehrt ist das Problem semi-entscheidbar, ob eine Parkettierung...

{\displaystyle \Phi _{e}} ist nicht entscheidbar. Kurzfassung: Die im Endlichen erfüllbaren Sätze erster Stufe sind nicht entscheidbar. Die zweite Formulierung wird...

Sprachraum entstanden ist, hält Lasbleiz anhand seiner Untersuchung für nicht entscheidbar. Zwar ist er sich aufgrund eines Vergleiches zweier Texte aus der Mitte...

ist besser / gleich gut / schlechter als y {\displaystyle y} / nicht entscheidbar). Daraus lassen sich in der Regel Rangordnungen (Präferenzordnungen)...

Entscheidungsverfahren Verfahren im Sinn der Logik und Informatik, siehe Entscheidbar Instrument der mathematischen Statistik, siehe Allgemeiner Test Siehe...

Untersuchung entscheidbarer Mengen auf. Die Theorie der retraceablen Mengen geht auf Arbeiten von Dekker und Myhill zurück. Für entscheidbare Mengen A =...

{\displaystyle w} von einer kontextfreien Grammatik erzeugt werden kann, ist entscheidbar. Auf dem Weg der Lösung des Wortproblems kann zusätzlich ein Ableitungsbaum...

Kämpfe wurden nie eindeutig entschieden und waren auch nicht eindeutig entscheidbar. (…) Die oft wiederholte Behauptung seiner Verteidiger, er habe unter...

Ethiken versuchen. Gemäß seiner metaethischen Position soll intuitiv entscheidbar sein, welche Dinge als gut (oder auch als schlecht) klassifiziert werden...

Typ 2 oder höher in der Chomsky-Hierarchie ist das Leerheitsproblem entscheidbar, für die Grammatiken bis Typ 1 im Allgemeinen jedoch nicht. Gegeben ist...

jenseits des substantiellen Wertrealismus nur durch weitere Evidenzen entscheidbar wären, stellt sich die Frage, wer die bessere Intuition hat. Das kann...

Wörterbuch der philosophischen Begriffe, Sonderausgabe, 2006, Stichwort: „entscheidbar“; ISBN 3-7873-1761-9 Rudolf Grünig/Richard Gaggl, Entscheidungsverfahren...

Termersetzungssysteme. Für terminierende Termersetzungssysteme ist die Konfluenz aber entscheidbar. Denn nach dem Diamond Lemma ist die Konfluenz für ein terminierendes...

\cdot 2} , ist jedoch nicht berechenbar. Es gibt nur abzählbar viele entscheidbare Relationen, daher haben die berechenbaren Ordinalzahlen ein höchstens...

alleinigen Beweggründe für die Einwanderungen waren, ist nicht mit Belegen entscheidbar. Das Push-Pull-Modell der Migration unterscheidet zwei Kategorien von...

Sternefeld (2006, S. 339), wo diese Frage aber als nicht eindeutig entscheidbar beurteilt wird. Hubert Haider: Topicalization and other puzzles of German...

injektiv und berechenbar, die Bildmenge g ( M ) {\displaystyle g(M)} entscheidbar sowie die auf g ( M ) {\displaystyle g(M)} definierte Umkehrfunktion...

Klasse NP. Die Probleme aus NP sind zwar ebenfalls in Polynomialzeit entscheidbar, jedoch wird hierfür ein nicht realisierbares, nämlich nichtdeterministisches...

(besonders nur kleinräumig eingesprengter) nicht durch die Pollenforschung entscheidbar. Belegt ist jedoch, dass die Waldkiefer im Präboreal, der Vorwärmezeit...

theoretischen Informatik, genauer in der Berechenbarkeitstheorie, bestimmte entscheidbare Relationen. Sie bilden den Ausgangspunkt für semi-berechenbare Mengen...

echt schwächer als die Turing-Reduktion ist, und ist die zweite Menge entscheidbar oder rekursiv aufzählbar, so kommt diese Eigenschaft auch automatisch...

eingedrungen. Dies ist anhand der heutigen Situation nicht mehr sicher entscheidbar. Der Vulkanismus am Hohen Hagen ist ein nördlicher Ausläufer des nordhessischen...

(Theodor Schmidt) als definitiv nicht getötet sowie zwei weitere als nicht entscheidbar, fügte aber zugleich zwei weitere Opfer (Mosert und Oppenheim) hinzu...

Sprachspiele in den verschiedenen Diskursarten, so dass diese nicht entscheidbar, sondern hinzunehmen sind. Das Verhältnis zum Anderen ist nicht bestimmt...

Der Mathematiker Paul Erdős hat in seinen Arbeiten viele Vermutungen in verschiedenen Bereichen der Mathematik aufgestellt. Siehe auch: Zahlentheorie ...

dann immun, wenn sie keine unendliche entscheidbare Teilmenge enthält. Einfache Mengen sind daher nicht entscheidbar. Immune Mengen sind per Konstruktion...

Gerharde eine Person sind oder nicht, ist nach bisheriger Quellenlage nicht entscheidbar. Gerhard II. heiratete Ermengarde († 1138), die Tochter des Grafen Otto...

Bildproblem ist für kontextfreie formale Grammatiken G {\displaystyle G} entscheidbar und für kontextsensitive formale Grammatiken G {\displaystyle G} unentscheidbar...

kann nur über Fragen urteilen, die mit juristischen Mitteln erkenn- und entscheidbar sind. So zum Beispiel war die Tatsache, dass jeder Bezirk Floridas die...

Riemannsche Geometrie voraussetzt, folgerte Whitehead, dass es nicht entscheidbar ist, welche Geometrie den Raum tatsächlich beschreibt. Ebenso hat sich...

Mengen nichtleer ist, ist mit der Zermelo-Fraenkel-Mengenlehre ZF nicht entscheidbar; die Behauptung, dass es nichtleer ist, ist eine Formulierung des Auswahlaxioms...

Berechenbarkeitstheorie rekursiv aufzählbare Mengen gibt, die nicht entscheidbar sind (nach einem Argument basierend auf Cantor-Diagonalisierung wie beim...

oder falsch sein. Deskriptive Aussagen sind für den Realisten eindeutig entscheidbar. Nun wendet Dummett unter Bezugnahme auf Frege und den späten Wittgenstein...

abzählbarer Signatur und einer rekursiv aufzählbaren Axiomatisierung sind entscheidbar. Um dies einzusehen, setze man eine Aufzählung sämtlicher Sätze der vorgegebenen...

Sprache hätte nicht genug Selbstreferenz. In dieser Form ist der Satz auf entscheidbare Axiomensysteme wie die der Euklidischen Geometrie oder der reell abgeschlossenen...

in Heidelberg und promovierte dort 1969 bei Gert Heinz Müller über entscheidbare Probleme in der monadischen Prädikatenlogik zweiter Stufe. 1970 und...

L 2 {\displaystyle L_{1}\subseteq L_{2}} ? Alle diese Probleme sind entscheidbar. Michael Sipser: Introduction to the Theory of Computation. PWS Publishing...

Form von Schweiz (schweizerdeutsch: Schwyz) hat, ist letztlich nicht entscheidbar. Zu den bekanntesten Schwyzerörgeli gehören jene von Josef Nussbaumer...

muss nicht als eine unendliche Menge aufgefasst werden. Es muss aber entscheidbar sein, ob ein gegebener Ausdruck ein Axiom des Systems ist. Ein Axiomenschema...

sein soll). Es ist aber allgemein nicht in endlich vielen Schritten entscheidbar, welchen Typ der durch ein vorgegebenes Element gehende Pfad hat. Die...

das Orakel in keiner Weise beschränkt ist. Auch Sprachen, die nicht entscheidbar sind, kommen als Orakel in Frage. Also kann man zum Beispiel das Halteproblem...

vier Grundrechenarten exakt zu rechnen, auch der Zahlenvergleich ist entscheidbar. Mit dem vollständig gekürzten Bruch existiert sogar eine eindeutige...

wesentlich unentscheidbar ist. Dies bedeutet, dass es keine konsistente entscheidbare Erweiterung der Robinson-Arithmetik gibt. Es gibt damit insbesondere...

teilt. Damit wäre auch die unentscheidbare Menge A {\displaystyle A} entscheidbar. George Boolos, John P. Burgess und Richard Jeffrey: Computability and...

und der Leistung entscheidbar ist. Viele Fälle sind aber erst auf Ebene der Spezialisierungen Motorrad, PKW und LKW entscheidbar, so dass diese Methode...

aber verschieden vom Minimalkalkül Kolmogorows. Die strenge Logik ist entscheidbar. Die strenge Logik ist etwas anderes als die strikte Implikation und...

Frage vor, die implizite Voraussetzung fallen zu lassen, dass Sätze voll entscheidbar sein müssen. Er sieht stattdessen Naturgesetze wie Theorien als „teilentscheidbar“...

Turingmaschine der Definition einer Problemkern-Reduktion für die (nicht semi-entscheidbare) Frage, ob die Turingmaschine eine partielle Funktion berechnet. Sei...

polynomiellem Platz von einer nichtdeterministischen Turingmaschine entscheidbaren Probleme. Für die Komplexitätsklasse IP, die alle Entscheidungsprobleme...

ausschließliche Landeskompetenz gewesen sei. Dispensehen nicht von Gerichten entscheidbar Die so genannten Sever-Ehen (auch Dispensehe) bewirkten jahrelange Unsicherheit...

unterscheiden. Das Bekenntnis zu einer Minderheit ist in Deutschland frei entscheidbar. Zu ihrer Anzahl werden keine bevölkerungsstatistischen und sozio-ökonomischen...

schon darauf oder noch auf "Lucky Luke" bezieht ist nicht eindeutig entscheidbar. 12 Lucky Luke Western-Zirkus 25.3.1976 Hier nun eindeutig als "Zack...

Frage in seiner Erstbeschreibung von Gattung und Typusart für nicht entscheidbar, da weder Fossilbelege noch die sedimentologischen Merkmale der Fundstellen...

zahlreicher Einzelheiten ausbrachen, die mit den damaligen Methoden nicht entscheidbar waren. Das Hauptinteresse der Forschung wandte sich daraufhin neuen Disziplinen...

dass die Frage nach der Gleichheit zweier beliebiger Perioden stets entscheidbar ist. Weitere offene Fragen bestehen darin zu beweisen, welche bekannten...

(leihweise) Dass solche „in der Schwebe“ befindlichen Fälle formal nicht entscheidbar sind, stellt die Korrektheit der theoretischen Voraussetzungen des Begriffs...

} )? Die oben aufgezählten Probleme sind bei kontextfreien Sprachen entscheidbar (das Wortproblem durch den Cocke-Younger-Kasami-Algorithmus). Das Äquivalenzproblem...

Im Gegensatz zur Peano-Arithmetik ist die Presburger-Arithmetik eine entscheidbare Theorie, d. h., es lässt sich für jede in der Sprache der Presburger-Arithmetik...

Charakterisierung von Klassen zeitgesteuerter Automaten, für die das Vakuum-Problem entscheidbar ist. Es wurde 2004 in einer gemeinsamen Arbeit mit Catherine Dufourd...

{\displaystyle x\in L} (Wortproblem), mit L kontextsensitive Sprache, entscheidbar. Die folgende Sprache ist ein typisches Beispiel für CSL: count 3 :=...

beschrieben. Sei A {\displaystyle A} eine rekursiv aufzählbare, aber nicht entscheidbare Menge natürlicher Zahlen, und sei ( a i {\displaystyle a_{i}} ) eine...

Zählproblemen (im Gegensatz zu den meist betrachteten Komplexitätsklassen, die Entscheidbar behandeln). Viele #P-Probleme sind eng verwandt mit den zugehörigen NP-Problemen...

für algebraische Rechenmodelle derzeit offen) Welche Struktur haben entscheidbare Probleme? (Führt über R {\displaystyle \mathbb {R} } zum Begriff der...

übergehen. Insbesondere wird davon ausgegangen, dass das Axiomensystem entscheidbar ist. Gödel bewies den Satz ursprünglich für das viel stärkere System...

thousand voices bei hymnary.org Mildenberger hält die Frage für nicht entscheidbar, siehe Mildenberger / Klek, S. 23. Mildenberger / Klek, S. 23. Thust...

vermerkt Hartmut Bobzin, dass „aus dem Zusammenhang heraus nicht sicher entscheidbar“ sei, ob „der Satz als Imperativ zu verstehen ist (‚es darf keinen Zwang...

unmöglich ist, da das Gültigkeitsproblem in der Prädikatenlogik nicht entscheidbar ist. Baumkalkül: in gewisser Weise unter den Kalkülen der nächste Verwandte...

Urteile möglich macht. Niemann hält, anders als Popper, eine objektiv entscheidbare und sogar wissenschaftliche Ethik für möglich, die auf dem Gebiet der...

k{:=}k+1} Halt. (Ausgabe: unerfüllbar) Man sieht, dass der Algorithmus semi-entscheidbar ist, da er nur in endlicher Zeit hält, wenn er Unerfüllbarkeit feststellt...

Komplexitätstheorie zur Definition der Klasse NC der effizient parallel entscheidbaren Probleme. Auch wenn Registermaschinen im engeren Sinne nur einen sehr...

{\displaystyle {\mathcal {RG}}} entscheidbar ist, ist also auch das Berechnungsproblem, welche Sätze in fast allen Graphen gelten, entscheidbar. Das Null-Eins-Gesetz...

Logikkalkülen normalerweise nicht (würde er gelten, wäre jede Aussage entscheidbar, was entweder Ausdrucksschwäche oder Inkonsistenz nach sich zieht). Eine...

übernehmen. Logiker untersuchen Logiken unter anderem daraufhin, ob sie entscheidbar sind; so wurde auch dieses Logiksystem ausgiebig untersucht. Die Regel...

N {\displaystyle \mathbb {N} } . Indexmengen sind dann und nur dann entscheidbar, wenn sie trivial sind (d. h. ∅ {\displaystyle \emptyset } oder ganz...

So schreibt Rafael Ferber (1991), die Frage sei wohl „nicht objektiv entscheidbar“, da „die meisten Argumente für die Echtheit auch als Argumente dagegen...

insgesamt aus O ( 2 k ⋅ n ) {\displaystyle O(2^{k}\cdot n)} ist. Ein entscheidbares Problem ist genau dann fixed parameter tractable, wenn dafür eine...

Prädikatenlogik ist jedoch, dass viele beschreibungslogische Sprachen entscheidbar sind. Dies ermöglicht über eine Beschreibungslogik zu schließen, d. h...

{\displaystyle K} systematisch aufzählen und damit ist das Wortproblem stets semi-entscheidbar: Wenn w ∈ K {\displaystyle w\in K} gilt, dann findet man dies nach endlich...

gepaddet wird, wird von Arora und Barak 2009 beschrieben. Sei eine entscheidbare Sprache A ∉ P {\displaystyle A\notin \mathbf {P} } gegeben. Unter der...

gibt rekursiv aufzählbare Turinggrade, die echt zwischen 0 (Grad der entscheidbaren Mengen) und 0’ (Grad der Halteprobleme) liegen. Satz von Herbrand: Sei...

würden andere Kriterien gelten, die nicht demokratisch verfügbar und entscheidbar seien. Die Hauptgefahr bilde dabei „gegenwärtig die Neigung, den Begriff...

In der Mengenlehre postuliert die Suslin-Hypothese (benannt nach dem russischen Mathematiker Michail Jakowlewitsch Suslin) eine spezielle Charakterisierung...

Alfred Tarski zeigte, dass die Theorie reeller Zahlen ohne Exponentiation entscheidbar ist und fragte nach der Entscheidbarkeit der Theorie reeller Zahlen mit...

Konstruierbarkeitsaxiom V = L {\displaystyle V=L} gilt, erweist sich als nicht entscheidbar. Ersetzt man in den ZF-Axiomen alle Quantoren ∀ x {\displaystyle \forall...

Ausgangswort stammt oder wie bei der i-Trunkierung angehängt wird, ist nicht entscheidbar. Bedeutungsunterschiede bei dieser Art der Trunkierung bleiben im Deutschen...

Logik erster Stufe formulieren lassen? Sind diese elementaren Theorien entscheidbar? Beide Fragen wurden im Jahr 2006 gelöst: Zlil Sela hat gezeigt, dass...

gravierender werde, je größer die Anzahl und Tragweite der kontrovers entscheidbaren Fragestellungen sei. Diese Kritikpunkte setzen an Punkten an, die der...

natürliche Zahlen n. Die niedrigste Stufe bilden Formeln, die eine entscheidbare Relation definieren. Diese bilden die Klasse Δ 0 0 = Π 0 0 = Σ 0 0 {\displaystyle...

{\displaystyle H=\{(p;x)|\varphi _{p}(x){\downarrow }\}} : Angenommen es sei doch entscheidbar, dann ist sein Komplement rekursiv aufzählbar. Das heißt, es gibt eine...

X ) ) = { > 0 , wenn CpG-Insel < 0 , wenn keine CpG-Insel = 0 nicht entscheidbar {\displaystyle S(X):=\log \left({\frac {P(+|X)}{P(-|X)}}\right)={\begin{cases}>0...

starb. Ob hier ein Versehen oder eine Fälschung vorliegt, ist nicht entscheidbar. Sigrid Damm schreibt zusammenfassend, dass Faustina Antonini (geb. Di...

die anderen drei Karten sagen (ist ein THOG / ist kein THOG / nicht entscheidbar)?“ Wie bei allen von Wasons Logikfragen ist es auch bei der THOG-Aufgabe...

konjunktive Anfragen umgeschrieben werden. Im Allgemeinen ist es nicht entscheidbar, ob für ein Datalogprogramm ein äquivalentes nicht-rekursives Programm...

solche Systeme existiert zu jedem Term eine eindeutige Normalform. Es ist entscheidbar, ob ein terminierendes Termersetzungssystem konfluent ist. Als mathematisch...

einen anderen Baum der Menge enthält, nicht in der Peano-Arithmetik entscheidbar ist. Der Satz war zwar mit ZFC beweisbar, doch fand Friedman später auch...

0′ liegen. Damit gibt es also rekursiv aufzählbare Mengen, die nicht entscheidbar sind, aber im Sinne der Turingreduktion leichter als das Halteproblem...

sind also produktive Mengen stets unendlich. Kreative Mengen sind nicht entscheidbar, denn dazu müsste ihr Komplement rekursiv aufzählbar sein. Eine Menge...

als üblich. Die Aussagen müssen nicht von vornherein wertdefinit oder entscheidbar sein. Metaaussagen über die dialogische Logik sind auf einer Strategieebene...

Isomorphie zu einem beliebigen Graphen für fast alle Graphen in linearer Zeit entscheidbar ist. Mithilfe von Zufallsgraphen lassen sich untere Schranken für Ramsey-Zahlen...

Beisein des Herzogs zum Zweikampf. Denn eine Streitfrage ist nicht anders entscheidbar: Welche Angebetete der beiden Kämpen ist von größerem Liebreiz – Dulcinea...

{\displaystyle n=3} gibt oder ob die Frage im Sinne von Gödel nicht entscheidbar ist. Für n = 4 {\displaystyle n=4} und 5 {\displaystyle 5} gibt es keine...

{\displaystyle x\in L} gilt) für kontextsensitive Sprachen L {\displaystyle L} entscheidbar. Grzegorz Rozenberg, Arto Salomaa: Handbook of Formal Languages. Volume...

einstellige Prädikatenlogik – und damit die traditionelle Begriffslogik – ist entscheidbar. Begriffslogik mit den relationalen Erweiterungen, wie sie von De Morgan...

Konflikte auf einer transpolitischen, eben wissenschaftlichen Ebene entscheidbar. Darin ist die szientokratische Kritik populistischer Anti-Wissenschaft...

als Erfüllbarkeitsproblem für Wortgleichungen bezeichnet. Dieses ist entscheidbar. Ein wichtiges Resultat ist auch der Defect Effect. Dieser besagt, dass...

ausgeschlossenen Dritten doch gilt, z. B. weil sie ableitbar sind, heißen entscheidbar. Ebenso hat ¬ ¬ φ → φ {\displaystyle \lnot \lnot \varphi \to \varphi...

entscheidet. Die Sprache L {\displaystyle L} ist dann in Exponentialzeit entscheidbar, indem für eine Eingabe x {\displaystyle x} die Maschine D {\displaystyle...

Pannenbergs, Halle/S. 1979 (Diss.) Der Streit der Religionen – rational entscheidbar? Zum Problem objektiver Beurteilungskriterien für religiöse Aussagenzusammenhänge...

Randwerte sind fett ausgezeichnet. Die Menge der Erdős-Woods-Zahlen ist entscheidbar, das heißt für jede Zahl kann in endlicher Zeit bestimmt werden, ob sie...

¬ A {\displaystyle A\lor \neg A} beweisen (eine solche Aussage heißt entscheidbar). Der Satz von Diaconescu-Goodman-Myhill zeigt daher, dass das Auswahlaxiom...

der jedes C++ Programm übersetzt, beziehungsweise nicht mehr allgemein entscheidbar ist, ob ein C++-Programm korrekt ist. In der Templatemetaprogrammierung...

irgendwann anhält oder endlos weiterläuft (die Frage ist algorithmisch nicht entscheidbar). Landauer-Prinzip: es ist nicht möglich, ein Bit an Information zu löschen...

dass das Problem für Rekursionen bis zur Ordnung 4 {\displaystyle 4} entscheidbar ist. Das ist der letzte Stand. Es ist bekannt, dass das Problem NP-schwer...

Probleme zielt. Normative Diskussionen werden als wissenschaftlich nicht entscheidbar behandelt. Ein Kennzeichen des Behavioralismus ist die Interdisziplinarität...

{\displaystyle X\leq _{T}Y} . Es gibt einen Turinggrad, der genau die entscheidbaren Mengen enthält, und dieser Grad ist kleiner als alle anderen. Er wird...

erster Stufe erweitert um den transitiven Abschluss. Sie ist also nicht entscheidbar. Deshalb wird für die Analyse von Spezifikationen im Alloy Analyzer eine...

eine Statue, eine Säule oder etwas anderes tragen sollte, ist nicht entscheidbar. Dübellöcher sind nicht vorhanden. Löwe von Karakız seitlich Löwe von...

gleichen Feldern wie auf S stehen und die zusätzliche Dame auf einem Feld steht, das auf S frei war. Kreativproblem Entscheidbar Suche künstliche Intelligenz...

hinzuzufügen. Ein häufig genutzter Ansatz aus dem Semantischen Web ist entscheidbare Teillogiken der Prädikatenlogik erster Stufe wie Beschreibungslogik...

der Wissensmodellierung ergibt sich aus der kontextbedingten, nicht entscheidbaren Mehrdeutigkeit gesprochener Sprache, die in der Chomsky-Hierarchie als...

diese Frage nach dem Verhältnis von Realität und Fiktionalisierung nicht entscheidbar, da Herbsts Exfreundin keine Person der Zeitgeschichte und über sie deshalb...

die Version ([A,2],[C,1]) zurückgeliefert. In diesem Fall ist nicht entscheidbar, ob die Version von B oder C die neuere ist, und die Auflösung wird in...

wie Erreichbarkeit, Beschränktheit und Lebendigkeit sind nur teilweise entscheidbar. Die Arbeit von Köhler-Bußmeier gibt einen Überblick über Entscheidbarkeitsfragen...

zu Unruhen und wurde von Domitian wieder aufgehoben. Nicht eindeutig entscheidbar bleibt dabei, ob mit den veteres possessores diejenigen gemeint sind...