Gap in P $\neq$ NP proof

[martdowd at aol.com]

FOM:

I have found a gap in my proof of P $\neq$ NP.  The function
$\ulcorner F\urcorner\mapsto \ulcorner P(G(\Rep_F(x)))\neq\Rep_F(x)\urcorner$
is an $\LA$ function.  However, the existence of a fixed point $\Phi$           
does not follow by a simple Godel diagonalization.  The question is
complicated but not hopeless.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210923/e2ba3f61/attachment.html>