Re: P vs NP craziness & Diaby was already refuted... in 1988

tchow_at_lsa.umich.edu
Date: 10/29/04 

Date: 29 Oct 2004 13:05:41 GMT

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. 

-- 
Tim Chow       tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth.  ---Galileo, Dialogues Concerning Two New Sciences

Relevant Pages

  • Re: Set Theory: Should you believe?
    ... and this makes the independence results of set ... mathematics can't all be reduced to ZFC. ... Let me try to get at what the worry is. ...
    (sci.math)
  • Re: Independent independence
    ... expressing its independence from ZFC is itself independent from ZFC? ... the question becomes trivial if you think of 'the statement expressing independence' as something like: ...
    (sci.logic)
  • Re: Choice and ur-elements
    ... ur-elements, as well as with non-existence of ur-elements. ... but after Cohen proved the independence of choice from other ... axioms of ZFC, it is no longer demanded that a set theory should allow ...
    (sci.math)
  • Re: Independent independence
    ... expressing its independence from ZFC is itself independent from ZFC? ... I suspect you're not asking the question you ...
    (sci.logic)
  • Re: Second-order and Higher-order Logic
    ... Herman Jurjus schrieb: ... Does anyone know if it's possible to prove independence ... probably ZFC and 3rd order arithmetic is not enough. ... You need some forcing notion definitions as well. ...
    (sci.logic)