L_R is not decidable. Deciding if x##y is in L requires simulating y until it produces |x| digits of output. x being anything and y = “while(true) {}” is a counterexample. Another way to look at it is that for any fixed x, "y produces x as its first |x| digits of output" is a nontrivial semantic property of y, so Rice's theorem shows that the property is undecidable.
post the paper on https://arxiv.org/ or speak with your local university mathematics department. These would be far more qualified to assess a proof than HN.
I only ask because people who do mathematics in isolation are often quite naive and people reacting to such a fantastical proof on social media like here, are not equipped to evaluate it on its merits, (I’m certainly not, and unless you’re an active researching mathematician you’re probably not either)
Very unlikely that a half page proof of P!=NP is correct.
Please provide a formalization of your argument in any widely-used theorem prover (I'd recommend Lean) configured with options widely accepted to be sound.
BTW, the argument seems trivially bullshit because you say that L is in NP, and then claim that L is not P because "there exists no algorithm that...", but if L is in NP there is of course an exponential-time algorithm for L.
Congrats sir!! What comes next? Do you view this as the end of this line of research or just the start of something new?? What consequences are there from this?? Hacker news is fantastic in that we get to rub shoulders with the greats like here and tptacek. -Armond
