Comment by borisonanovitch on Re-formalizing PD · 2009-04-28T18:55:08.618Z · LW · GW

Slightly tangential question about source code swapping: If A's source code depends on what it reads from B, and B on what it reads from A... Is there any chance of a Halting problem?