Godel's incompleteness theorem would suggest the answer is no. It would have to transcend itself.
At the same time, Godel proved that the human mind can intuit things to be true that a computer can never prove. The Nobel Prize-winning physicist and mathemetician Roger Penrose has written extensively on the subject.
Nice home page.