On 09 Oct 2014, at 00:50, Quentin Anciaux wrote:
Waouw, the great John Clark got it all... he knows everything in
nature is computable, that computationalism is true... and the
best, he doesn't need to prove it or provide an argument... it is
so self evident. I wonder why he didn't get the Nobel prize.
Assuming comp, it is even a sort of mystery that things looks so much
computable, because our distribution in the space of the computable is
not itself computable, and a priori we have to manage the non
computable as well as the computable. May be it is part of
incompleteness that we need to survive at the frontier of the
equilibrium.Should it be necessarily linear and symmetrical at the
bottom as well? I think so, and the hypostases are not too much
discouraging in that setting.
Bruno
Le 8 oct. 2014 23:16, "John Clark" <[email protected]> a écrit :
On Mon, Oct 6, 2014 Bruno Marchal <[email protected]> wrote:
> the question is not if human can use nature's solution of an NP-
hard (or even a non computable analog function),
If nature can do it then there is no reason humans can't harness
nature to do it for us, but there is ZERO evidence that nature can
solve NP complete problems (much less non computable problems!) in
polynomial time.
> but if nature does
The question isn't if human beings can devise problems that are NP-
complete, we already know that they can, the question is: Does
nature ever solve NP-hard problems in polynomial time? There is not
one scarp of evidence that it does.
> If our consciousness relies on this [...]
Then it's very odd that we can't find one bit of evidence that it's
true and even odder that we're even worse at solving NP-complete
problems than computers are.
> The point, I thought, was theoretical at the start.
You theory predicted that soap films could solve NP-complete
problems. Experiment showed that it can not. Therefore the your
theory is wrong. A good experiment ALWAYS outranks theory, any theory.
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
