[AnthonyMouse]

> That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.

http://en.wikipedia.org/wiki/Godel's_incompleteness_theorems

[woodman]

http://en.wikipedia.org/wiki/Open-world_assumption