On 27 May 2015, at 17:48, John Clark wrote:
On Wed, May 27, 2015 Bruno Marchal <[email protected]> wrote:
>> The Church-Turing thesis says something about intelligence but
not consciousness, it says that any real world computation, like a
intelligent action, can be translated into a equivalent program on a
Turing machine.
> Church thesis does not invoke ideas of real-world computation
Wrong yet again. From Wolfram Mathworld, the makers of Mathematica:
"The Church-Turing thesis (formerly commonly known simply as
Church's thesis) says that any real-world computation can be
translated into an equivalent computation involving a Turing
machine. In Church's original formulation (Church 1935, 1936), the
thesis says that real-world calculation can be done using the lambda
calculus, which is equivalent to using general recursive functions."
http://mathworld.wolfram.com/Church-TuringThesis.html
> This is either a confusion between [...]
Obviously somebody around here is very confused indeed!
Citing Wolfram is a per-authority argument. That is not valid.
The expression "real-world" is ambiguous, what does it mean?
A function computable by a physical device,
A function intuitively computable, or mechanically computable, that is
having some algorithm describable in some language.
Better read the original papers. Buy the cheap Davis books in the
Dover edition. His book "computability and unsolvability" is quite
good, and the Dover edition contains his paper on the Hilbert 10th
problem, leading to (Turing) Universal Diophantine Polynomial.
Bruno
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.
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.
