L3 Computability: Berechenbarkeit

Autoren: Beat Trachsler und Paul Miotti

Der naive Fortschrittsglaube an das übermässige Potenzial der Computer und ihrer Wissenschaften wird durch die Erkenntnisse der Berechenbarkeitsforschungen wird in Frage gestellt. Es gibt unüberwindbare Schranken.

1. Ich erkenne, was überhaupt berechnet werden kann und weshalb.
2. Ich verstehe die Auswirkungen solcher theoretischer Erkenntnisse in der praktischen Informatik.

1. Ich kann das Halteproblem als Beispiel der Entscheidbarkeit in eigenen Worten beschreiben.
2. Ich kann das Halteproblem mit der TM modellieren.

• Halteproblem (TM)

• Der Kreis schliesst sich zum Thema „Algorithmus“. Was ist ein berechenbares Problem? Aber hier nicht die Grenze zu philosophischen Problemen, sondern vereinfacht gesagt: immer noch innerhalb des Bereichs des Rechnens. — Paul Miotti 2008/06/24