Text this: The P=NP question and godel'™s lost letter