I Am Retracting My Godel's Lost Letter Proof
While applying to jobs, I have been working somewhat on P vs. NP. I realized that the issue is, if you have, say, a wf that is 1000 characters long that you want to prove, and ZFC is consistent...then yes, the proof of the inconsistency might be, say, 8000 characters long. The problem is, to fully write out the proof in this way, you will have to write down the wf some number of times--say, 13 times (not just 1). (There is a specific number of times at minimum but I haven't calculated it out.). The issue, in addition to the relativization barrier, is, there might be another proof where enough space to prove the wf using the inconsistency has not ben provided, but, there might or might not be a shorter proof that does not use the (possibly very long) proof of the inconsistency that writes down the (also possibly very long) wf fewer than 13 times, or however many times at minimum the wf must appear. I am considering a different approach to P vs. NP. ...