Re: P vs NP craziness & Oracle's Predictions

From: Poulpes_at_gmail.com (poulpes_at_gmail.com)
Date: 10/30/04 

Date: 29 Oct 2004 17:10:36 -0700

Dear Tim,

Thanks for your kind answer.

You mean you suspect the conjecture to behave differently in NBG, for
instance?

And almost, do you have evidences justifying P<NP behavior in ZFC/PA ?

People like Kreisel have voted for independence... do you think this
opinion should be modified under the light of new evidences ?

Friendly.

Po ;-°)

tchow@lsa.umich.edu wrote in message news:<41824025$0$577$b45e6eb0@senator-bedfellow.mit.edu>...
> In article <71c50479.0410290423.113a0ad6@posting.google.com>,
> Poulpes@gmail.com <poulpes@gmail.com> wrote:
> >Btw, what's your mind on the conjecture Tim : Independence ?
>
> Independence from what system? ZFC? It might be; I would be delighted if
> it could be shown that P != NP is unprovable in ZFC. But my guess is that
> P != NP, and that this is provable even in PA.