On 27 Aug 2015, at 21:14, John Clark wrote:
On Wed, Aug 26, 2015 at 5:59 AM, Bruno Marchal <[email protected]>
wrote:
I don't know why people want hardware for computation,
I know, it's because in the history of the world NOBODY has
ever been able to perform one single calculation without using
hardware. No hardware = no calculation.
Consult Turing or Church, or a textbook on computability, for the
definition of computation. Their existence are demonstrated to be
realized or implemented in arithmetic (RA is already enough).
> Once you assume the basic laws of the natural numbers,
(mainly the laws of addition and multiplication), then, all
computations exist
That's backwards. We know for a fact that computations exist
because we've observed them,
Assuming that observation is an ontological criteria, that is assuming
Aristotelianism, which I do not assume, and actually is refuted in the
computationalist frame.
but we don't know for fact that the natural numbers exist, in
fact nobody has been able to observe an infinite number of
anything.
Platonists believe in what they understand, not necessarily in what
they observe or believe to observe. Platonists are aware that we can
dream doing observation of things which do not exist.
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.
