Although, if "Mr. Jones" is interested in mathematics, then he should know about Godel's (just imagine that the diaeresis is there, sorry) Incompleteness Theorem....
Also: "Although, that would make an interesting video game..."
OBJECTION, YOUR HONOR! That video game would be completely immoral! If I were to define something's morality based on how interesting it is, horrific breaches of scientific ethics could be legal. I would basically be agreeing with the statement that Morality is determined by the Individual.
You know, I actually thought that this would be a fun game like Spectromancer, or an online game similar to Magic, and not a self-playing game with a bunch of women in skimpy outfits.
Even the Tyrant series was better than this!