Quoted
Original von Joachim
Ja, steht doch so im Skript.
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Naja, wenn im Skript die Aussagen A => B und B => A stehen, dann gilt ja wohl auch A <=> B.Quoted
Original von absynth
Quoted
Original von Joachim
Ja, steht doch so im Skript.
Nanu? Seh ich nicht, ich sehe nur die beiden bereits erwähnten Sätze, die Konklusion aus beiden (zumindest im Kontext von S. 15) nicht.
Quoted
Original von JoachimNaja, wenn im Skript die Aussagen A => B und B => A stehen, dann gilt ja wohl auch A <=> B.
This post has been edited 1 times, last edit by "Mister X" (Sep 30th 2007, 6:33pm)
Quoted
Original von Mister X
3. Können unendliche Mengen endscheidbar sein? z.B. die Menge der natürlichen Zahlen?
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Es gibt auch einfachere Beispiele: wie etwa die bereits angesprochene Menge aller natürlichen Zahlen. Sollte nicht schwer sein, einen Algorithmus (eine TM) anzugeben, der diese Menge entscheidet.Quoted
Original von Arne
Quoted
Original von Mister X
3. Können unendliche Mengen endscheidbar sein? z.B. die Menge der natürlichen Zahlen?
Die Menge L = {a^nb^n | n ist eine natürliche Zahl} ist unendlich und entscheidbar, da es einen Kellerautomaten für L gibt.
Quoted
1. Kennt jemand ein Beispiel für eine Funktion, die definierbar ist, aber nicht repräsentierbar? Wo genau liegt der genaue Unterschied zwischen Definierbarkeit und Repräsentierbarkeit?
Quoted
2. Ist vollständig = widerspruchsfrei? Gibt es Theorien, die vollständig und widersprüchlich sind?
Quoted
3. Können unendliche Mengen entscheidbar sein? z.B. die Menge der natürlichen Zahlen?
Quoted
4. Warum führt K arithmetisch auf T* nicht entscheidbar?
Quoted
5. Was bedeutet "Unentscheidbarkeit" der Arithmetik?
Quoted
6. Wie zeigt man den Satz von Church (Seite 14) anhand der in Prädikatenlogik verpackten Turingmaschinen?
This post has been edited 1 times, last edit by "mtx" (Oct 6th 2007, 12:07pm)