One wouldn't really cxpect a random scattering of atoms to produce a correct proof A subtle error, unknown through the decades, has still been unnoticed or perhaps not actually unnoticed, but the friends of Godel.