Gödel's Lost Letter and P=NP | a personal view of the theory of computation