I present an argument that for any computer-simulated civilization
we design, the mathematical knowledge recorded by that civilization
has one of two limitations. It is untrustworthy, or it is
weaker than our own mathematical knowledge. This is paradoxical because it seems
that nothing prevents us from building in
all sorts of advantages for the inhabitants of said simulation
