[agi] Re: [agi] P≠NP

2010-08-16 Thread Matt Mahoney
o.com From: Kaj Sotala To: agi Sent: Thu, August 12, 2010 2:18:13 AM Subject: [agi] Re: [agi] P≠NP 2010/8/12 John G. Rose > > BTW here is the latest one: > > http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf See also: http://www.ugcs.caltech.edu/~stansife/pnp.html - brief sum

[agi] Re: [agi] P≠NP

2010-08-12 Thread Ian Parker
This is a very powerful argument, but is not quite a rigorous proof. Thermodynamics is like saying that because all zeros below 10^20 have a real part of 0.5 therefore there are no non trivial zeros for which that is not the case. What I am saying is pedantic, very pedantic but will still affect Cl

[agi] Re: [agi] P≠NP

2010-08-11 Thread Kaj Sotala
2010/8/12 John G. Rose > > BTW here is the latest one: > > http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf See also: http://www.ugcs.caltech.edu/~stansife/pnp.html - brief summary of the proof Discussion about whether it's correct: http://rjlipton.wordpress.com/2010/08/08/a-proof-that

[agi] P≠NP

2010-08-11 Thread John G. Rose
BTW here is the latest one: http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf --- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.lis