Logik sollte widerspruchsfrei sein. Paradoxien, d.h. Widersprüche, sind deshalb etwas, was Logiker tunlichst vermeiden. Auch als Informatiker mögen wir Widersprüche nicht. Sie stören uns bei der Programmierarbeit, verhindern ein sinnvolles Programm-Design und führen möglicherweise sogar zu Programmabstürzen. Also geht es darum, Paradoxe zu vermeiden. Dazu müssen wir die paradoxen Kerne in der Logik genau erkennen. Wenn nicht, tauchen wir orientierungslos in die Unbillen und Tiefen der Widersprüche ab. Worum geht es nun in logischer Hinsicht bei den Paradoxien? Logik in Praxis und Theorie Computerprogramme bestehen aus Algorithmen, d.h. aus Anweisungen, wie und in welcher Reihenfolge eine Eingabe zu bearbeiten ist.