On 20 Feb 2012, at 17:02, 1Z wrote:
On Feb 20, 3:32 pm, Bruno Marchal <marc...@ulb.ac.be> wrote:
On 20 Feb 2012, at 09:59, 1Z wrote:
On Feb 20, 6:52 am, Bruno Marchal <marc...@ulb.ac.be> wrote:
On 20 Feb 2012, at 05:20, 1Z wrote:
On Feb 20, 4:10 am, Craig Weinberg <whatsons...@gmail.com> wrote:
On Feb 19, 10:57 pm, meekerdb <meeke...@verizon.net> wrote:
Comp says that any UM's
experience is indistinguishable from primitive physics, right?
Computaionalism or Bruno's comp?
We have already discussed this. Comp, as I use it, is a much weaker
hypothesis than most forms of CTM,
given that comp allows the
substitution level to be arbitrarily low, and is based on the
of generalized brain. So comp's logical consequences are
lifted on all forms of CTM, which presuppose some high subst.
Now comp makes almost all (not any) UMs' physics identical.
That is not a weak assumption. In CTM, there is just physics, not
one physics for each UTM,
That's exactly what I am saying above.
No it's the opposite. One global physics is a weaker, simpler ontology
than multiple solipsistic physicses.
I show that the CTM theory entais that physics is the same for all
Löbian entity (machine or not), so that we canb derive physics from
machine's introspection. The general shape is given by a relative sum
on all computations. It depends for each machine to the competition
between infinities of machines. Negative amplitude of probability
comes from the formula p-><>p satisfied by the sigma_1 arithmetical
sentences (that is the UD). Without this I would have already conclude
that comp and/or the classical theory of knowledge is refuted.
there is a physical hardware platform at level 0.
A level 0 that nobody has ever seen, nor even defined or use in
Occam;s razor says we should assume what we see is level 0.
Occam razor says that we must not assume ontologicaly what we can
That why QM + Occam = MWI = QM without collapse.
With CTM, we have that the theory of everything is arithmetic, for it
explains why and how numbers, relatively to other numbers develop
stable and persistent beliefs and knowledge about quanta and qualia.
And which comp shows to be the bullet preventing progress in
fundamental cognitive science.
Computationalism is just epistemologically incompatible with
materialism (weak materialism).
According to a string of controversial arguments.
You have already acknowledge that there is no error in UDA1-7,
I never said anything of the kind.
I asked you, after a summing up of the argument, and we got into a
long conversation on step 8 only. I debunked earlier critics of the
step 0 (the definition of comp) because you asserted it was platonist,
when I insist that it is only realist on arithmetic, and this means
that we just agree with the validity of (A V ~A) for arithmetical
when I asked you about the UDA-8 (MGA), you did not mention an error,
but make a confession of faith in Primitive Matter instead. Then I
asked you to define it, and I am still waiting for a reply making
to computationalists, 99% of whom have have never questioned
and brains are
made of matter.
Give me definition and proof. Physicists acknowledge the fuzziness of
the notion of matter, even with the MWI, even more with any candidate
for marrying GR and QM.
Not being able to define matter and disbelieving in it are two
very different issues.
I am OK with this. For example consciousness, reality, truth, etc. are
all concept which are intuitively not definable, and have been proved
to be not definable in the comp (meta) theory, and in the machines'
discourse (that is formally).
But "primitive matter" is different. Not only we cannot define it, but
we cannot experiment with it, we cannot experience it, nor find any
use of the notion in physics, nor even mention of it. It is only a
vague everyday-like extrapolation from our animal experience. In
occident, science is born from taking some distance from such kind of
Given more than 2000 years of not being able to solve the mind body
problem, we should not take it for granted, at the least.
It is true that almost all computationalist philosophers believe in
matter, but they are unaware of both computer science and of the UDA
Lucky them. The UDA argument rests on Platonism.
Oh no! You are coming back with this?
I already answer this by asking you to prove this. To show me where in
the paper I assume Platonism. The Platonism comes from the conclusion.
I use only the minimal amount of arithmetical realism to give sense to
Church thesis. Nothing else.
are fully entitled to disregard it. Others might wish to treat it
as a reductio of Platonism.
This is philosophical nonsense.
COMP + the usual occam used in any applied field makes some Platonism
Just show us what you think to be a flaw (I ask again, but you have
already failed to do that).
They are just following Aristotle metaphysics, which is
itself a regression to the pre-platonist time, which extrapolated
naturally from our animal sensations and survival programs or
Anyway, argument of majority have zero value in science.
The majority get to define meanings. What they mean by
is 180 degrees aways from what your mean. You should choose another
Well, if your conception of science and meaning is the belief of the
majority, then I understand better your difficulties.
It will be simpler for you to find a flaw in MGA than trying to
matter, I think.
1) a little does not equal none
I don't use this. In MGA I use the fact that Physical Supervenience
Thesis (PST) entails that consciousness need to be attributed to
*arbitrary" physical activity, including none, and that is absurd for
If you don't see this, quote the passage, and let us discuss it really
2) redefine computation so that comptuational states must be causally
define "causally", and tell me in which theory you work. Usually, when
we implement a computation physically, or in any UMs, we just manage
to implement the arithmetical "causality" in terms of the UMs capacity
to link the computational states. Without this, the concept of
implementation would not make sense.
3) Given a choice between materalism and CTM, keep materialism, a la
[CTM implies ~MAT] is equivalent with [MAT implies ~CTM]. You are not
giving a refutation, but a rephrasing of a (partial) result.
I comment some other posts by you:
Shouldn't we open up our mind?
Maybe all multiversal theories are wrong and there is one univese. Is
open to that?
Sure. But then QM and CTM are both false. The point is a point of
reasoning, validity, not of conviction or truth.
On Feb 20, 7:43 pm, Bruno Marchal <marc...@ulb.ac.be> wrote:
On 20 Feb 2012, at 14:45, Craig Weinberg wrote:
How do you know? Comp says we can't know whether we are artificial
simulation or not.
I am sorry, but I think this is false. I would say that comp says
we are in infinitely many simulations at once, from a third person
point of view on the first person points of view. This leads to
verifiable (empirically) constraints.
With comp we are in a complex "matrix" whose existence is deducible
from the existence of universal numbers, whose existence is deducible
from numbers and their two fist basic simple laws of + and *.
Of course, Platonism/AR cannot be deduced mathematically: it is
We can do a theory for the ontology, then we can make ontological
deduction, and epistemological deduction for some notion of reasoners
or observers. That's the best we can do if we want to keep the
Both. What would be the meaning of any form of computationalism
without the notion of computational realism?
Peter alludes to the fact that most materialist ignores the
incompatibility between comp and weak materialism, including
There is no such incompatibility. It is mutual redundancy, not mutual
contradiction. What BM calls incompatibility actually
hinges on Occams Razor, and O's R cuts both ways: AR/Platonism is
No. If you keep materialism *and* CTM, the reasoning shows that you
need to eliminate person or consciousness.
On Feb 20, 6:37 pm, Craig Weinberg <whatsons...@gmail.com> wrote:
Right, but true = a true reflection of the simulation.
No. True = true of unsimulated reality.
Right. And with CTM, reality = (sigma_1) Arithmetical Truth. But
physical reality is a complex structure emerging in first person
plural way in collection of UMs.
No but you have to agree that it is possible to believe that it is a
The ability to beieve falsehoods has no interesting implications.
It has. Like it is a key of mathematical logic that rich and sound
(Löbian) theories cannot prove that they do not prove falsehoods. The
possibility of believing falsehoods is also a key in the dream
metaphysical argument, which steps six gives again in a modern
Perhaps you tell us that you have some direct access to reality, in
which case you behave as a pseudo-mystic, I am afraid.
Bruno;s theory or the Computational Theory of Mind.
Nonsense. CTM is a scientific theory.
I agree, despite it is also religion/theology (the belief in a form of
possible in principle reincarnation). But computer science (with
Church thesis) made if scientific. Comp is a weaker version of the
usual version of CTM, so what you derive from comp remains valid for
all form of CTMs.
False, false, false , false false!!!! Standard CTM has nothing
to do with Dreaming Machines in Platonia, or any other fanciful
notion Bruno has come up with.
You have always failed to make this precise. It is not a question of
agreeing with philosophical principles, but of valid deduction in a
The opinion of the programmer *is* truth to the programmed.
It still isn't truth. As soon as you add a "to" or "for" clause,
you are actually talking about opinion, even if you are using the
I agree. Craig seems to confuse belief and knowledge, which in comp
are distinct, from the points of view of the correct machine. They
obeys to different logics, even if G* knows they have the same
arithmetical extension (for each correct machine).
The matter doesn't matter. What matters is that there is always
some matter. I have never seen a simulation run on arithmetic.
Read any (good) textbooks in computer science. Computations have been
discovered in arithmetic, or equivalent. See the book of Matiyasevich
for a proof than even a very tiny part of arithmetic already emulates
all computations. It is standard material.
That is the way you define "god". That is both an argument from
authority and a straw man.
It is the way god *is* defined, which makes the argument valid
analytical apriori, not from authority.
Of course if you use the term God as presented by those who redefine
it for a clear political purpose! Better to use the larger concept
introduced by the original founders, or crystalizers, of the notion.
By using the confessional notion of God, you just agree that they
continue to have credit on God, like if such fairy tales have not been
You are defending fake theology and pseudo-science, in doing so. And
you ask us to accept a new fake theology, with a metaphysical notion
of primitive matter, which is already shown meaningless with comp,
because we cannot relate consciousness with it.
My point is that that argument requires the meaning of "god" to
change, and, since language us public, you don't get to change it
Ah! But then why do you keep the definition given by the romans, who
changed it unilaterally for what we can understand today was pseudo-
political criminal reasons, despite a preceding millennium of fruitful
scientific (dialog, critics, modesty) studies of the concept, which
indeed has led to current sciences (but not yet current theological
studies, except in the dark).
Someone send me recently a PDF of "God and Golem", by Norbert Wiener,
the founder of cybernetics/IA. He can be considered as a father of
comp, (with many others from different periods, to be sure).
I read it in my youth, and I cite it in "Conscience & Mécanisme" (or
elsewhere?), but by rereading it, I realize that it is *very* good,
and relevant for the "GOD/mechanism" question.
The subtitle of "God and Golem" is "A comment on certain points where
cybernetics impinges on religion".
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at