• Als Spam markieren
• Beitrag melden

• 
  Diese Gruppe Alles

• Archiv
• RSS-Feeds

• Kontakt
• Hilfe
• Impressum
• Datenschutz

Re: Halteproblem

Bernd Strieder wrote:

> Entweder glaubst Du was andere über das Halteproblem gesagt haben, oder
> Du überzeugst dich selbst davon, indem Du die Formalisierung und ihre
> Beweise verstehst. Mit den richtigen Grundlagen ist das Halteproblem
> für jeden einsichtig nicht wegzudiskutieren. Im übrigen hat auch die KI
> trotz aller Erfolge noch nie die Grenzen der formalen Berechenbarkeit
> verlassen.

Ein Beispiel und ein Hinweis auf das richtige Buch wären wohl weitaus
konstruktiver gewesen, als ein Aufsatz über informelles "Wischi-Waschi" =)

Gruß
Dominic

Antworten