Einblick gewinnen in die Grenzen der Berechenbarkeit von Algorithmen