Artur_B schrieb am 21. Dezember 2011 07:16
> Member of the Inner Party schrieb am 21. Dezember 2011 03:31
>
> > "(bis eine Haltebedingung erreicht wird)"
> >
> > Nein. Eine Turing-Maschine hat keine Haltebedingung.
> >
>
> [...], die "Bombe",
> wie er sie nannte. Zentralteil war eine sich drehende Walze und wenn
> die stehen blieb, hieß das, dass die richtige Lösung gefunden war,
> der Code also geknackt war.
Das Halteproblem besagt, dass es keine Turing-Maschine M gibt,
die berechnen kann, ob eine Turing-Maschine M', angesetzt auf
ein Eingabewort w, anhalten kann.
Das Beobachten einer anhaltenden Maschine auf einem speziellen
Eingabewort ist kein Beweis/Widerspruch.
Der Satz fordert die Existenz einer Turing-Maschine, die fuer
jede Maschine M' und fuer jedes beliebiges, aber fixes Wort w
berechnen (nicht: beobachten) kann, ob M' auf w haelt oder nicht,
in endlicher Zeit/nach endlich vielen Schritten.
> Um dem Ganzen ein theoretisches Fundament zu geben, hat er sich dann
> ausführlich mit Abbruchbedingungen befasst. Von der "Bombe"
> herkommend, waren die natürlich fundamental.
>
> Ein Ergebnis habe ich noch präsent : ein Prozess kann niemals
> entscheiden, ob ein anderer endlich ist.
Was bedeutet "endlich sein"?
> Ein Programm also, das alle Programme stoppt, die auf einer
> Endlosschleife basieren, kann es nicht geben.
$kill -9
Oder was meinst du?
O'Brien
> Member of the Inner Party schrieb am 21. Dezember 2011 03:31
>
> > "(bis eine Haltebedingung erreicht wird)"
> >
> > Nein. Eine Turing-Maschine hat keine Haltebedingung.
> >
>
> [...], die "Bombe",
> wie er sie nannte. Zentralteil war eine sich drehende Walze und wenn
> die stehen blieb, hieß das, dass die richtige Lösung gefunden war,
> der Code also geknackt war.
Das Halteproblem besagt, dass es keine Turing-Maschine M gibt,
die berechnen kann, ob eine Turing-Maschine M', angesetzt auf
ein Eingabewort w, anhalten kann.
Das Beobachten einer anhaltenden Maschine auf einem speziellen
Eingabewort ist kein Beweis/Widerspruch.
Der Satz fordert die Existenz einer Turing-Maschine, die fuer
jede Maschine M' und fuer jedes beliebiges, aber fixes Wort w
berechnen (nicht: beobachten) kann, ob M' auf w haelt oder nicht,
in endlicher Zeit/nach endlich vielen Schritten.
> Um dem Ganzen ein theoretisches Fundament zu geben, hat er sich dann
> ausführlich mit Abbruchbedingungen befasst. Von der "Bombe"
> herkommend, waren die natürlich fundamental.
>
> Ein Ergebnis habe ich noch präsent : ein Prozess kann niemals
> entscheiden, ob ein anderer endlich ist.
Was bedeutet "endlich sein"?
> Ein Programm also, das alle Programme stoppt, die auf einer
> Endlosschleife basieren, kann es nicht geben.
$kill -9
Oder was meinst du?
O'Brien