The Question No Computer Can Answer

Stages this as a scene: a judge who claims to always deliver a straight verdict, a troll built for the sole purpose of making that verdict wrong, and a contradiction that arrives back at the judge’s own door.

Before you start. You don’t need to know how to program, or anything about computers beyond this: a program is a fixed list of instructions, and running it on some input either finishes, or it doesn’t. That’s the whole vocabulary this lesson needs.