On 14 Jun 2014, at 02:26, meekerdb wrote:
On 6/13/2014 4:48 PM, LizR wrote:
On 14 June 2014 10:01, meekerdb <[email protected]> wrote:
Consequently, neither computation, nor the epistemological states it
emulates, are dispensable (i.e. fully reducible) in this schema.
It's not clear what "emulates" means. I think Bruno proposes that
arithmetical computation actually instantiates modal states like
belief. But I think that may be stretching the meaning of
"belief". If belief is defined in terms of propensity
to act certain ways in certain contexts, then it seems it can be
physically instantiated too.
Yes, as a propensity to act in a certain way, a belief is doubtless
a complex data structure. (But if comp is correct it's a finite one.)
Of course saying "physically instantiated" is assuming what you're
trying to prove.
Proof is for logicians and mathematicians who come armed with
assumptions they call "axioms".
Proof is for all human beings, and alien or machines, who does not
want to waste time with contradictory beliefs.
Logicians just studies proofs and their working, like entomologists
studies insects. But they proves their metatheorem about proofs and
meaning in the usual informal ways, using english or natural
languages, like all scientists.
It happens that the working of universal machines has many relation
with proof systems, although those are not equivalent. basically
computability is sigma_1 provability, but provability is a quite
different notions, it obeys different laws than the computable.
"Physically instantiated" isn't even a sentence, so you must be
referring to "If belief is defined in terms of propensity to act
certain ways in certain contexts, then it seems it can be physically
instantiated too." I don't think that's just an assumption, it's an
inductive inference given some ostensive definitions.
Right. But you computer has been able to get the point, and send the
mail. The net physically instantiantes application and their
computations, and we can argued that the part of computations
physically instanciated has always grown since the
"invention:discovery" of the DNA. Acceleration occurs with the
successive layers of universal systems, like DNA, cells' colony, brain
(the amoebas get the cable!), languages, thought, computers, the
internet, etc.
Bruno
Brent
--
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.
