As a matter of fact, Godel's Incompleteness Theorem, provided that no logical system can show all truths to be true or all falsehoods to be false. In other wrods, using mathematics, some truths will remain unknowable. Turing expanded on this concept wiht his Halting Problem. Roger Penrose presented a fascinating argument that only a non-raitonal intelligence could have developed Godel's Incompleteness Theorem (that is to say, a computer could not, even in princinple, discover Godel's Incompleteness Theorem).