[agi] Re: [agi] P≠NP

2010-08-16 Thread Matt Mahoney
From: Kaj Sotala xue...@gmail.com To: agi agi@v2.listbox.com Sent: Thu, August 12, 2010 2:18:13 AM Subject: [agi] Re: [agi] P≠NP 2010/8/12 John G. Rose johnr...@polyplexic.com BTW here is the latest one: http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf See also: http

[agi] Re: [agi] P≠NP

2010-08-12 Thread Kaj Sotala
2010/8/12 John G. Rose johnr...@polyplexic.com 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:

[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