Re: A way for P!=NP

From: Daniel McLaury (daniel_mcl_at_hotmail.com)
Date: 09/21/04


Date: 20 Sep 2004 18:44:45 -0700


"Yes but I think that a logical formula is a polynomial complexity
program."

What do you mean by this? It does not make sense, and that is what is
wrong with your argument. Pc is a program with recursion; you cannot
express its return value as a logical formula (unless perhaps you know
the return values in advance; this is not the problem you are trying to
solve, however.)