On 10 May 2015, at 04:41, LizR wrote:
On 10 May 2015 at 12:08, John Clark <[email protected]> wrote:
On Sat, May 9, 2015 Russell Standish <[email protected]> wrote:
> including abstract systems. It is an abstract concept after all.
No it is not! Computation is a physical process just like any other
that uses energy, takes time, and creates entropy.
Well this is the so-called Aristotle-Plato thing again, isn't it?
Not really. Penrose is Aristotelian, but still believe in arithmetical
realism (and even in a vaster mathematical realism).
I think it is just the ignorance of the basic of computer science.
Since computation is allegedly implied by number theory, claiming it
isn't an abstract process is the same as denying the objective
existence to number theory (or, in an nutshell, denying that 2+2=4
independently of anyone knowing that it does).
Exactly, and *all* physical theories assumes this. In fact, they have
to assume this if they want to prove the exosyence of physical
computation, which use the mathematical notion in its definition.
To prove your point you need to explain why maths is so
"unreasonably effective in the physical sciences", something I've
long been hoping someone will do so I can stop wasting time worrying
about whether I may be just a bunch of equations.
Yes, with comp the relation between math and physics is close to the
relation between mind and matter.
But the basic idea is simple, number explains the dreams, and the
logic of the dreams explains the development of persistent sharable
(multi-universal beings) dreams.
The explanation is enough constructive to be already tested today, and
up to now, it works? Which says nothing on the future.
Physics does not explain the numbers, but assumes them at the start,
which is natural, as number incarnate themselves in all the ohysical
things which we are confronted to. But it does not address the
question of the origin of math, and the differentiation of physics
from math, which comp explains (correctly or incorrectly: that is what
can be tested).
bruno
Bruno
--
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.
