Trap Constructions

Abstract

Here we present unsolvability results of searching problems. They are obtained by suitable trap constructions.

Daedalus,rühmlich bekannt durch Geschick in den bildenden Künsten,

Schaffet das Werk. Merkmale verwirrt er und führt in die Irre

Täuschend den Blick durch die Zahl vielfältig gewundener Wege.

So wie der lautere Strom des Meandrus in phrygischen Auen

Treibt sein Spiel und gewundenen Laufes hin- und zurückfließt,

Wie er begegnet sich selbst und schaut auf die kommenden Wellen

Und,zu der Quelle sich bald,bald wendend zum offenen Meere,

Ziellos irrende Flut abmüht, so machte der Gänge

Wirrwarr Daedalus auch voll Trug,und er fand zu der Schwelle

Selbst kaum wieder den Weg: so ist das Gebäude verfänglich.

Ovid, Verwandlungen ( Metamorphoses )