Part one of term paper
In 1931, logician Kurt Godel developed a proof. It stated that to prove every conceivable statement about numbers within a system by going outside the system in order to come up with new rules and axioms...by doing so you’ll only create a larger system with its own unprovable statements. Godel’s results also imply that arithmetic can n ...

Part two of term paper
... adjustments to logic as a human brain can. It is also thought that humans can not understand all the thinking of their own innermind. It seems that the proof is saying that we can not understand ourselves or the reason the computer can not never be as smart as a human is that rational thought can never penetrate to the final ultimate truth. The proof seems to demonstrate that science is not enough to solve all. Reason and logic can never bring together all things, but through imagination and f ...