"It's not impossible" by BH927... Proven? (Turing Machine Simulation in GKC)

Here is the post: