On 09 Oct 2011, at 22:45, benjayk wrote:

Bruno Marchal wrote:But then, unless you see a flaw in the reasoning, you should knowthatat the obtic level, we don't need more, nor can we use more than the countable collection of finite things, once we assume mechanism.For the flaw in the reasoning, see my post above.

Below. I will see.

Bruno Marchal wrote:The point is that successor and 0 become meaningless, or just mere symbols, when removed from that context.What context are you talking about. The theory is interpretation independent. The interpretations themselves are part of model theory. For using the axiom you need only the inference rules.But just rules give just rules.The context I am talking about are particular measurements, orparticularcountable things. COMP uses it outside of this context, making it meaningless.

What context?

`Also, if you were right here, all theories, especially the first order`

`theory, would be meaningless.`

Bruno Marchal wrote:I don't agree with these axioms removed from any context, as without it, they are meaningless. I don't necessarily disagree with them, either, I just treat them as mere symbols then.They are much more than that. There are symbols + finitist rule of manipulation.Which are just symols as well. The rules are just more then symbolswithunspecified meaning if they represent something.

The rules are algorithmic. They make the theorem checkable by machine. You are arguing against all theories.

Bruno Marchal wrote:The difference is as big as the difference between what you can feel looking at the string "z_n+1 = (z_n)^2 + c" and what you can feel looking at a rendering of what it describes, like this: http://www.youtube.com/watch?v=n7JLHxBm0eYThis just works if we give the rules meaning in terms of particularobjects,namely pixels on the screen. In this context they aren't removed from context, because an image of a screen with measureable distance is an obvious context for numbers.The equation without an geometrical context means very little to anaveragehuman (of course to mathematician it means a lot in terms of other mathematical things, which is no valid context for the average human). COMP doesn't give an adequate context. If it would, you could give particular predictions of what COMP entails in term of measureable or countable objects.

`Comp just do that in the extreme, given that it gives the physical`

`laws. That is what the UDA proves. (And AUDA confirms partially, and`

`shows it consistent, also).`

Bruno Marchal wrote:Of course we can still use them in a meta-sense by using .. = "2"as arepresentation for, say a nose, and ... = "3" as a representation for a rose and succesor= "+1" as a representation for smelling, and then 2+1=3 means that a nose smells a rose. But then we could just as well use any other symbol, like ß or more meaningfully ":o) o-".I am not sure that you are serious.I am serious, I just presented it in a ";)"-manner.

`Well, if you are serious, you have to study a bit about numbers,`

`addition and multiplication. You are confusing the symbol "2", which`

`can indeed represent a nose, and the number 2, which does not`

`represent anything a priori, but is the number 2 that you are supposed`

`to be acquainted with since high school.`

Bruno Marchal wrote:There are intented meaning, and logics is a science which study thedeparture between intended meaning and a mathematical study ofmeaning.Logic studied both the syntactical transformation (a bit like neurophysiologist study the neuronal firings) and the space of the possible interpretations. Interesting things happen for the machine doing that on themselves.This is a lot of talk of how meaningful it is without presenting anyactualrelevant meaning.

What is missing?

Bruno Marchal wrote:Bruno Marchal wrote:Personally, I might prefer to use the combinators. But we have to agree on some principle about some initial universal system to see how they reflect UDA, in such a way that we can explain the quanta and thequalia, with the comp assumption in the background, and in thetheoryitself.Yes, you can use any universal system, which is going to be just as meaningless as numbers.That is like saying that a brain, which only manipulate finite meaningless information pattern (assuming comp) is useless.No, because it is an actual existing real object, you can interactwith,therefore it is not useless.

`I thought only consciousness was real, and now you are telling me that`

`there are actual existing real object?`

It is hard to follow you.

Also, numbers are of course not useless in general, just in thecontext youare using it.

Numbers are not useful in computer science?

So you could say in the context you are using it, that is, inthe context of a TOE, the brain is pretty useless also. It can justgeneratea lot of words and concepts, but no useful TOE is actually found.

`Well, actually the brain, as being a UM, might be used as a TOE,`

`except that we have to provide a first order logical specification of`

`it, and that might be as long as the diameter of the universe`

`containing unreadable symbols. That would not be very useful indeed,`

`so we are glad when we discover very little UMs, like with`

`combinators, numbers, lambda expressions, etc.`

Bruno Marchal wrote:Are you just telling me that, like Craig, you assume non-comp?No, I am saying COMP doesn't make sense, or at the very least isextremelyimplausible.That is the only thing we can discuss, given that your reasoning isjust arestatement (or explantation) of the axiom that we are immaterialmachine("yes" doctor).

`See my answer to the other post. this is plainly faulty. I would not`

`have search for years what has become the movie argument if matter was`

`so easily eliminable.`

The conclusion that if we are immaterial machine then matteris just an appearance that follows from that is pretty trivial, so Isurelydon't disagree there.

`Not only it is not trivial (you really need step-8 or equivalent to`

`meet Peter Jones critics), but the argument is constructive: it`

`explains where the physical laws come from and it shows the actual`

`shape of the physical laws.`

If you don't want to discuss COMP, then just say that and I'll stoptalkingwith you about that subject. It is just a bit dishonest to ask for aflaw ofthe reasoning, apart from the axioms, if the reasoning itself isjust anexplanation of the axiom. Your explanation is fine, if you want tohearthat.

?

`I have serious doubt that you have understood the non triviality of`

`the theorem, and of its proof. But if you get the point that would be`

`nice. But I think you miss Peter Jones-like type of argument. We might`

`be digital and yet primarily physical machine.`

`Also, if you get the point, and if you know (or take my word for) the`

`result that computation are both represented but also emulated by`

`arithmetical truth, then you should grasp that comp makes Robinson`

`arithmetic a Realm of Everything (ROE), and that the Lôbian numbers`

`appearing in that ROE will play the role of observers, and then you`

`could see how physics has to be retrieved technically from the number`

`additive-multiplicative structure.`

Bruno Marchal wrote:Let's take a programming language. When the code says "while(i<5) then i++; print "Nose smells rose" end" then this make sense for the user as he can read "nose smells rose". But in an abstract context, "nose smells rose" has no particular meaning and the while loop is just a loop, which also has no particular meaning (though it has a particular function).This is false, it has a meaning (mainly that if the condition occurithas to print some string). What you do with that information is more complex, as it needs to study your brain, body, context (indeed). But you illustrate that you agree that "xhile (i<5) ..." has a meaning.Yes, but only in a limited context. *That is the point*.

`I guess you miss the theorem alluded above (which is not mine). But`

`comp + that theorem makes that limited context unlimited enough. It is`

`absolutely undecidable, for any machine, to evaluate the cardinal of`

`reality, and with comp, the infinity of the natural numbers is quite`

`enough. That's part of the point.`

Bruno Marchal wrote:Obviously, it has nothing to do with rose and smell. But both mechanist cogniticians and reseracher in AI are not *that* naive.Smell and rose require deeper loops, like the LUMs can manage (butnota two line program).Smell and rose can't arise out of mechanical loops.

Assuming non-comp.

They are objects in consciousness. If you claim they can arise out of them, just give me a program that produces a smell of a rose.

`Imagine a program which emulate your brain activity when you smell a`

`rose, and this at the right level of substitution (which existence`

`*is* the comp assumption).`

It's not possible. Even if you write a detailed simulation, I can't smell it!

`So the 'you' being simulated is a zombie. You are assuming non-comp`

`throughout.`

Bruno Marchal wrote:No matter what the programming code says, it only makes sense through a user, or an intelligent programmer.Comp entails that self-referential machines (UMs and LUMs) can dothat.But COMP doesn't make sense. If you think it does, just make anystatementthat has something to do with the actual world we live in. Yes, we are immaterial, this is the part of the axiom that makes sense.

`For you perhaps, but usually mechanist thought that a machine is`

`typically a material thing.`

`So I insist, the immaterialism is not assumed. It is even the hardest`

`thing to swallow for most people.`

Bruno Marchal wrote:Are you telling me that a human having got an artificial digitalbrainis a zombie?There are no humans with artificial digital brains, and I don'tthink therewill ever be, so the question is meaningless.

`We work in theory, in which the question is meaningful. To say that`

`successful artificial digital brain are not possible is a very strong`

`statement for which you need to argue, like Craig tries to do`

`(unsuccessfully). It means that you have to find in the brain a`

`process which is both relevant for consciousness to be attributable to`

`a person with that brain, and which is not Turing emulable. You`

`already need to grasp well the notion of Turing emulability to find`

`example of non Turing emulable process. Actually, we don't have found`

`in nature something not Turing emulable, except except the collapse,`

`which is a first person indteerminacy notion and so is very well`

`explainable by comp, despite the non-Turing emulability.`

If you are asking if someone who is stupid enough to replace hisbrain witha computer is a zombie? Well he isn't, he is just dead.

`Big statement needs serious argument. You are just saying that it is`

`obvious our bodies (3-I) are not machines, that is, you are saying`

`that it is obvious that comp is false.`

Bruno Marchal wrote:But you remove it from that context also, leaving no meaning left, except empty symbol manipulation which could mean anythingSo a brain in a vat would be unable to make a person feeling like living a dream?I believe dreams are more primary than brains,

`Me too, but that is part of the non triviality of comp, and it remains`

`possible to use a brain to manifest a consciousn experience, and it`

`that sense, the brain in the vat belongs to a dreaming person, and we`

`can (adding the interface) get entagled with the life of that person.`

brains are somethingappearing in the more stable "dreams", so this question can't beanswered.

`Well, with comp, we have to abandon the physical supervenience thesis,`

`and when done properly we can answer such kind of question. It is not`

`always easy, because our natural languages reflect very old,`

`"programmed or engrammed by nature and culture" prejudices. Here`

`logical tools helps a lot to make things as unambiguous as possible.`

If being a brain in a vat appear as content of consciousness, you areprobably *really* dreaming (in the ordinary sense), or you arewatching amoive where something like this happens and for a moment identitfywith thebrain in the vat. Bruno Marchal wrote:I get more and more the feeling that you are assuming non-comp.I am not assuming non-comp, I am observing that non-comp is the case.

`You said yourself that we can only observe consciousness, and now you`

`assert that you can observe that I am not a machine?`

Here you could as well say that "God told me that comp is false".

Consciousness doesn't arise out of anything (it doesn't arise atall, exceptout of it self, if you want to say it this way), it is just there,thereforemetaphysical COMP&C is false.

No comment.

Bruno Marchal wrote:All the (formal) universal systems you can name have the exact same flaw as numbers. They only make sense in a context, otherwise they just function as symbols making them as useful as saying "ÜGFDÖÜGÖGÜÖFGÜFGÄFÄFÄFGÄFG--#-äsd#-ds#-d##" and then explaining that this means "earth".If that is a flaw, do you agree that you can say the same thing about brains? (even without comp, actually).No, because brains make sense to us, directly (we can even touchthem undersome circumstances and they reflect many of our inner processes if weobserve them), while "ÜGFDÖÜGÖGÜÖFGÜFGÄFÄFÄFGÄFG--#-äsd#-ds#-d##"does not(unless you know some secret code or something).If you mean whether brains make only sense in a context, well,obviouslyyes.

`You confuse mathematical theories with "chinese", and worst, frankly,`

`you are confusing mathematical theories with mathematical realities.`

Bruno Marchal wrote:This is what COMP&C (this means comp and conlusion) does. It makes a lot of complicated assumption and long-winded explantions and interpretation ofsymbols, just to conclude that the 1-p (which is practically theonlyperspective there is) cannot be captured by any rational meansanyway.But it get good formal approximation at the metalevel. Indeed, it can even explain why it has to jump from a level to another to understand its non formal nature.Not really. The explanation is just intelligible with a lot of wordsadditional words to explain the explanation, so the actualexplanation usessomething beyond numbers, which can't even be formalized (naturallanguage).

`Where? It is so vague that it seems like any theory is impossible. I`

`would prefer more specific critics, but I am not sure you have any`

`one. You just believe that computationalist are mad, because`

`apparently you know the truth.`

Bruno Marchal wrote:Thenit claims to be a refutable theory, but without making anyparticularprediction that is not obvious already.This is a gratuitous false assumption showing you don't take the time to study the work, as you have already confess.Instead of making these assertions, just give a concrete predictionof somephysical measurement,

`The Z1* logic is a machine producing a countable of experiment capable`

`of refuting comp. Of course, comp is recent, and up to know the one`

`having been verify are the usual quantum theorem of the usual quantum`

`logic. Science is slow, and contingencies don't always accelerate the`

`research.`

or predict the contents of my dreams, or something.

`You have to understand that the theory of everything (Robinson`

`arithmetic) is a TOE as an unavoidable consequence of saying yes to`

`the doctor (to put it very succinctly). Then you might understand how`

`to use math to derive physics. The only advantage on physics is that`

`it explains simultaneously the quanta and the qualia. Physicists are`

`stuck on this by carrying the primitive matter bullet.`

Maybe I have missed these in your work, in this case I am apologizing,

`It is in the *second part* of sane. The material hypostases gives the`

`logic of "measure one" for the observable.`

and I will begin to take COMP seriously, but please point to them to make it easier for me.

`If you understand the UDA, you understand that a physical laws must be`

`given by a relative measure on the computations extending your current`

`3-computational states. The measure one will be given by Bp & ~B~t &`

`p, for each sigma_1 arithmetical proposition. The sigma_1 proposition`

`correspond to accessible states by a UD written in the arithmetical`

`language (using only "s", "0", "+" and "*", obeying the axiom I gave`

`in the preceding posts.`

`If comp is true the first order extension of those logic leads to a`

`"von Neuman" quantum logic reich enough to have dimension, the right`

`tensor product, and a unique probability measure defining the whole`

`physics: that is rules for predicting the result of any observable.`

Bruno Marchal wrote:You seem to just havea prejudice against machine. You believe that you are different. Itisyour right, but you might try an argument.I have no prejudice whatsoever against machines. Of course I amdifferent, Iam not a machine.

`The theory explains why, if the 3-I is a machine (if we can emulate by`

`brain/body on a computer), then the 1-I cannot be a machine from its`

`point of view (and that 1-I is correct: he is not a machine from the`

`consciousness point of view, it is not nameable, it is not`

`descriptible in any thrid person way, except by going at a higher`

`level, and that all Löbian machine can do for simpler machine than`

`themselves.`

`ZF can study the theology of PA, and ZF can prove that all correct`

`machines have the same abstract theology, with different`

`concretization (I mean the content of Bp changes, but it obeys the`

`same logic, and this for all "hypostases"). So ZF can bet on its own`

`correctness and lift PA's theology on itself, but this comp can warn`

`is only done at its own risk and peril.`

`Comp can explain why it is sane to never take comp for granted. It is`

`a modest theology which almost explains why you can hope for its`

`truth, but can never be sure of it.`

`So if you meant "1-I is not a machine" you are right, in the comp`

`theory.`

I just take a unbiased look at reality,

`The word reality is like the word "God", you cannot talk publicly like`

`if, beyond mere consciousness, you know anything about it.`

there is not much need to argue forit. If you want this is the argument: If one just looks at what isobviouslyhere,

Here I laugh :)

one doesn't find any machines in ones consciousness that somehow giverise to it. The only place I find machines are when I use myrational mindand apply it to this quite abstract concept.

?

Bruno Marchal wrote:Bruno Marchal wrote:If you just have a bunch of words without being able to make sense of them,everything you "derive" from it will just be whatever you happentointerpret in a bunch of non-sensical words.The axioms above are used by all scientists everyday, implicitly or explicitly.Of course they are! I say nothing to the contrary. The axioms are used as *tools* because they reflect some aspect of reality.This contradicts what you said above.What exactly?

`That out of context the axioms and theorems are meaningless. If you`

`can recognize just one situation where they can be used as tool, you`

`give them at least one meaning, that situation. You can take that`

`situation as a meaning, even if later you realize that there are other`

`situation, well described by that theory, and this add just more`

`meaning. But you said there are meaningless, and interpreted them in`

`arbitrary nonsensical way. If not, I misunderstand you, and fail to`

`see the relevance with the truth/falsity of comp.`

`May be you meant that we cannot capture some full truth with symbols`

`and rules. But neither can brain with physical laws, etc.`

Bruno Marchal wrote:Then the point is that by assuming comp ("yes doctor"), theobservablefeature of reality are explainable from that aspect of reality, andwedon't need to make anything else explicit. We get also the communicable and non communicable part of that (epistemological) reality.If this is true, just communicate the communicable part and makeconcretepredictions.

`That is basically what human science do. And this is retrieved with`

`the "man" hypostases, which for the case of the ideally correct`

`platonican machine is given by mainly its arithmetical theorem (modulo`

`some recursive equivalence). Exemple of communicable proposition are`

`"17 is prime", or even "Obama is president" if that is part of the`

`machine's belief.`

`And then the laws of physics that we can extract in the way I`

`describe. I wrote theorem prover for all those logic at their`

`propositional level, which are already non trivial.`

Saying physics is non-boolean and follows quantum logic is not a concrete prediction, it is neither concrete, nor a prediction.

`Of course it is concrete. If QM did not violate Bell's inequality, and`

`if nature could not doing that, comp would be refuted.`

`We get the measure one for the observable, so we can test them and`

`compare with nature.`

`To be honest I would be astonished if comp/Theaetetus is not quickly`

`refuted. It would be astinishing that the first guy listen to the`

`machine got the right physics in one strike. But I have illustrate the`

`technics and we might use different theory of knowledge, beliefs, or`

`translate the classical theory of knowledge in some other ways. It is`

`already formidable to find such an arithmetical quantization where the`

`UD argument predicts it should be. I just open a door. Church thesis`

`and computer science do rehabilitate Pythagorism. The real astonishing`

`thing is Church thesis, really. The real astonishing thing which makes`

`AUDA senseful, and also UDA by the step seven, is the closure of the`

`computable for the diagonalization. I have explained this, includig in`

`this list.`

`I tend to think that the discovery/apparition of universal machines is`

`similar to the big bangs, the apparition of life, the apparition of`

`brains, the apparition of thought, the apparition of languages, the`

`apparition of written language, the apparition of computers, etc.`

`Those, when seen in geological times are explosion, but creative one.`

`Now, all that already appears with variants and also a super`

`structured redundancy (like in many-realties theories) in the tiny`

`sigma_1 part of arithmetical truth. And what we see is not exactly`

`that, but a limit projection of that, which makes both physics and`

`consciousness escaping the Turing emulable and climbing the scale of`

`insolubilties.`

`For example a result in theoretical inductive inference is that there`

`is something uncomputably more competent than any inference inductive`

`machine, in recognizing functions (synthesizing programs from input/`

`output samples). What? Two inference inductive machines. That's a`

`rough description of the non union theorem of Blum and Blum. This`

`illustrates tha the UMs and LUMs and very complex behavior whose`

`escape the computable, despite or because, the base phenomena is`

`computable.`

`The UMs and LUMs live at the frontier between the computable and the`

`non computable.`

Bruno Marchal wrote:But they can only be used where this is the case, namely comparable measurements and countable things.On the contrary. It explains why machines, even if they desire to grasp their countable bahaviors only, HAVE to believe in the uncountable, big infinities, etc.Then show what the axioms mean apart from comparable measurements andcountable things. It does not count to just interpret whatever youwant intothem, because this has nothing to do with numbers (or any thingcomputablefor that matter) in particular.

`It has to do with numbers because I have chosen the numbers as initial`

`programming language, and initial (and final) ontic reality to`

`describe the block-mindscape of the UMs and LUMs.`

Bruno Marchal wrote:COMP claims to explain quanta and qualia, which as such are not measurable and countable (of course particular quanta can be measured, butnot quanta as such), therefore it uses a tool that is useless inthisendavour (and useless here means meaningless).Hmm... What can I say. from this I can only encourage you to studythetheory.This is just not possible if you can't explain what even only theaxiomsmean, except giving definitions that explain nothing at all, orrefer tonumbers in their usual sense, that makes no sense, as you don'trefer toanything in particular that is countable or measurable.

`I refer to the computational state captured by the doctor when you`

`have accept the digital brain substitution.`

OK?

`Now study the theory, and ask when you don't understand. Better to get`

`well UDA before AUDA (unless you have already study Mendelson and`

`Boolos' books in logic and self-reference).`

Bruno Marchal wrote:The result is the same as just using the axioms p and ~p. You get whatever you manage to interpret into the axioms, which doesn't mainly depend on the axiom, but rather your compassity to be creative with your ability of interpretation.I just assume we can survive with digital brain, and then I explain that Aristotle naturalism must be replaced by Platonian form of reality view.This argument just goes through if a digital brain is purelydigital, whichis just not the case in practice. There are no "pure" digitalmachines. Ifthe digital machines are not actually digital, but justapproximately, andfundamentally are material, or made of spririt, no conlusion can bedrawnthat rests on the basis that there are actual pure digital machinesand acorrect substitution level.

`That difficulty is handled by the notion of digital substitution`

`level. The non digital material difference is by definition not`

`relevant, or it would mean we have to take a lower level. Then the`

`reasoning works, or tell me where you remark applies precisely.`

If you insists that they are, then you just have the conlusion inthe axiom,

That is the case in *all* theory.

since pure digital machine would necessarily be immaterial, makingthemindependent of material reality, and as you assume we are them, theyhave tobe the actual reality.

`I don't assume we are "pure digital machine". I assume that I can`

`survive with a physical substitution by virtue of preserving the`

`relevant physical (non digital indeed) implementation of a`

`computation. Many materialists, if not all believes this, but for very`

`different level. Even Searles betrayes is mechanism in some place. The`

`only explicitly non-mechanist scientist I know is Penrose.`

`I agree with you that comp entails quickly that "I am immaterial"`

`relatively to a material world. It is less obvious to get the point`

`that the "material worlds" is only an appearance growing from a non`

`material reality. The dreaming ability of the LUMs numbers relatively`

`to the infinities of UM numbers.`

Bruno Marchal wrote:Bruno Marchal wrote:What you say does not make sense.Then just explain what numbers mean.The numbers are the object of discussion. They *are* the meaning,whenI talk about them.If they are the meaning, what is the meaning?

`They are discrete finite quantity that you can add and multiplies, and`

`have many possible properties.`

Or do you mean numbers are meaning itself? If this is the case, what's the evidence for that?

?

`You lost me completely here. You are still confusing symbols and what`

`they are used to refer to. If I talk to you about the sun, you might`

`as well ask me "and what are the evidence that you are not talking`

`about Saturn".`

`The numbers are not so important. I can take the combinators, or the`

`java programs.`

`What is important are the relations that the number can have. If you`

`understand a proposition like`

`"all the positive integers can be written as the sum of four squares`

`of integers", you know enough. This is actually true but not so easy`

`to prove.`

`May be you could read the book by Conway to get familiar with the`

`richness of the natural numbers (alias the non negative integers).`

Bruno Marchal wrote:If you have forget what they mean, just buy a book on arithmetic.They just provide definitions, or explain numbers as measurementdevices of(relatively) concrete things (for example lines on paper, in thecase ofgraphs or geometry).

I mean book *on* numbers. Buy this one: http://www.amazon.com/Book-Numbers-John-H-Conway/dp/038797993X Read book on prime numbers, there has been nice popular book.

`I fear the number theorists discovering the laws of physics before the`

`number theologians, that could mean one milleniaum more of elimination`

`of person and qualia ... But the natural numbers, the primes notably,`

`are already close to a quantum universal machines;`

Bruno Marchal wrote:Then computer science explain how numbers can develop themselves and becomes conscious (together with the whole context of arithmetic), etc.No, it doesn't. If it does, give an explanation, or link to anexplantion,how consciousness can rise out of anything other than consciousness.Justinterpreting consciousness into numbers doesn't count. I can just aswellinterpret consciounsess into apples.

`This is what UDA explains, and you need enough knowledge of how a`

`computer really functions to get the point that some true number`

`relation emulates the computations. Especially that some nuances have`

`to be added for being precise.`

Bruno Marchal wrote:You could have asked me what is the meaning of "brain", or of "neural firing".That would be entirely justified if you wanted to make a TOE basedon brainsor neuronal firing.

`Yeah! TOE are given by any UMs. But a human adult brain contains also`

`many non relevant information, and also prejudice. but in principle,`

`it could work (in practice you will need to be patient because the`

`first order specification will be very long, as I said).`

`Numbers are just shorter to describe. The theory of matter and mind in`

`comp admit any ontological initial theory. It can be seen as a choice`

`of coordinate for computable functions, or for computations.`

Bruno Marchal wrote:And no, repeating the axioms does not constitute an explantion. They just make (obvious) sense with regards to countable things. Please explain the sense beyond that.Once you are willing to suppose that your physical brain is a finite machine, then many things I am saying are rather easy to figure out.Obviously they are not. Many people here expressed problems withwhat yousay, and this probably doesn't mean that all of them are terriblyignorant.

`Of course. I am saying something which, with the exception of the`

`platonists and mystics, contradict the most common paradigm, which`

`makes reality WYSIWYG (what you see is what you get). All animals like`

`that. The greeks, and Indians, and well many thinkers took distance`

`with that idea, with the feeling that what you see is only the tip of`

`the iceberg.`

Bruno Marchal wrote:If not, then you are obliged to study computer science to get the point that numbers can at least behave (relatively to other numbers) in an intelligent way.As it happens, I do study computer science full-time (well, full-time intheory at least :D). There is nothing at all there that explains thatnumbers behave in an intelligent way, except in the usual sense thattheyare a useful structure, and in that sense "behave" "intelligently".

`Good news. It is not the numbers who think, nor the brain, but the`

`person. If you read enough theoretical computer science, you know that`

`machine can prove proposition on themselves at different levels. And`

`you will know that all this talks and behavior of machine can be`

`tranlated in arithmetic (which is Turing universal). I insist, if you`

`don't like the numbers take the combinators or the lambda terms, or`

`take my word for it. For the understanding of the reasoning, including`

`that it is not so trivial, you don't need much. To really prove of`

`addition and multiplication is enough for Turing universality needs`

`mainly the fundamental theorem in arithmetic that each numbers have a`

`unique multiplicative decomposition in prime factors (that is not`

`trivial at all to prove, but i well known).`

Bruno Marchal wrote:Bruno Marchal wrote:What axioms are you disagreeing with?All. They make little to no sense in the context you use them.You could say: Einstein theory of gravitation makes no sense at all.Right, in the context of explaining the fundamental reality itdoesn't. Itis just a useful theory, because it predicts useful, concretethings. COMPdoesn't, or if it does, I haven't yet seen it (then please mentionit, withprecise numbers).

`Comp forces us to reduce the mind-body problem into a body problem.`

`That's the main result 1. (including first person indeterminacy).`

And the LUMs interview shows some pictures on the body apparition. But if you have better, please explain.

Bruno Marchal wrote:The guy does not explain why 1+1=2, but is using all the time thatidea.Yes and this makes perfect sense, as he deals with things that areactuallymeasurable, like time and space. In this context I know what 1+1=2means, asI am not complete moron. ;)

`OK. So you can see that a number like 754 just measure the numlber of`

`time you have to iterate the successor operation to get it from zero.`

`And if you like concreteness, let us define zero by the number of`

`french which are exactly 42 km high, in the year 1998.`

`OK. I have many concrete definition like that, but you have to be`

`careful by chosing not something too much instable. Good idea to use`

`past events, which are stable (modulo revisionism). You can define 0`

`by the amount of money in your bank account at this year and hour.`

Bruno Marchal wrote:If for you something like " different natural numbers have different successors" makes no sense, I can hardly help you.Of course it does make sense. I never pretended the opposite. Itseems youare just ignoring what I say. I am saying it makes no sense to usethem outof the context that they are describing, namely measurable orcountablethings.

`No, they are use also as addresses, like with phone numbers. And they`

`can be used on themselves at many different level. You can ask how`

`many divisors has a number, and thinks like that. All this can be`

`understood without mentioning "concrete things".`

But COMP wants to explain quanta and qualia as such

`This is your main misunderstanding. I think. Comp asks for nothing. It`

`gives no choice. To relate first person and thrid person in a coherent`

`way, matter becomes the study of coherent brain.`

`If you want, if comp is true, we are already in a matrix, which is`

`defined in arithmetic.`

(of course *apart of them in concrete instances* is measurable, I am not denyingthat),which is just nonsense, as numbers don't relate to these things in apreciseway (as far as I can see). So I am asking you to make sense of theaxioms ofnumbers *with respect to this*.

`Take any of your concrete example, and verify the axioms by yourself.`

`The axioms are supposed to not depend on *their* interpretation, so if`

`you make sense of the axioms, for any of your own intuitive`

`understanding of 0 and the positive integers, then that is enough to`

`use them as a programming languages, and the whole first and second`

`order arithmetical language (no more necessarily computable) is`

`suitable to talk about the machine and their dreams, etc (assuming`

`comp, a local implemetation of a dream is just a computation done by a`

`local universal machine. The modalities (defined in or with respect to`

`arithmetic) distinguish the dream "computation", from the private`

`experience of the dreamer, etc.`

`I assume comp (which is a priori neutral on materiality, and all`

`that). The reversal occurs in all big physical universe.`

Bruno Marchal wrote:Bruno Marchal wrote:Bruno Marchal wrote:Bruno Marchal wrote:The diophantine equation x^2 = 2y^2 has no solution. That fact does not seem to me to depend on any concreteness, and I would say thatconcreteness is something relative. You seem to admit thatnaivematerialism might be false, so why would little "concrete"piecesonstuff, or time, helps in understanding that no matter what:thereare no natural numbers, different from 0, capable to satisfy the simple equation x^2 = 2y^2.This is just a consequence of using our definitionsconsistently.Not really. In this case, we can indeed derived this from ourdefinitions and axioms, but this is contingent to us. The veryideaof being realist about the additive and multiplicative structure of numbers, is that such a fact might be true independently of our cognitive abilities.Yeah, so I ask what is the meaning of being realist about it? I can't see any. The only meaning is when we work with countable objects, or measurements, which indeed follow some rules that mathematics describe.Mathematics is born from the fact that abstract things can have meaning.Obviously. So what? I am not denying that.OK. Then it is just a question of patience and technic to graspthat Iam not using anything more than that.You have to. The fact that abstract things can have meaning is notan axiomyou derive anything from in a precise way.

`I bet I survive a digital substitution. This is what relate`

`consciousness with computation, and the phi_i, and the numbers.`

If you admit that you justinterpret something into that, this is another thing. That's OK, butthat'sjust what everyone does when we speculate about metaphysical things,so youcan have no claim to rigor in this case.

`Which I do, indeed. The simple trick here, is that I *assume*`

`mechanism, computationalism. That makes a link between consciousness`

`and physical computations. And the reasoning shows that if that is the`

`case, the physical computations arise from gluing number's dream. That`

`it the result of a reasoning, not a possibility on which we can`

`speculate. We speculate only on the idea that there is no magic, and`

`Church thesis is true (so that we do have the correct notion of`

`computability).`

`Materialism and mechanism does no more fit together, and mechanism`

`invites us to listen already to machine to see how they figure out the`

`difficulty (with Gödel, Löb and Solovay having done the hard work).`

`I will have to go. I will answer Stephen. I comment the rest tomorrow`

`or later.`

Bruno

Bruno Marchal wrote:Having meaning does not mean "being realist about".The idea is that the meaning is independent of the machine which handle that meaning.This could well be the case, yet this still does not entail "beingrealistabout". It could be true that Harry Potter is an idea of a person that existsindependent of the book Harry Potter, I actually bet he does, as thesameidea is probably manifested in countless other books in paralleluniverses.Still I don't have to be realist about Harry Potter, except in thetrivialsense that it is a real idea. I am not even sure there is such athing as anunreal idea. Maybe an idea that has hardly any meaning in it, like"bluecloudlike triangle squares with i-sides". Bruno Marchal wrote:They are real as epistemological constructs, and what they describe is a part of reality. But real in an ultimate sense is only reality itself (awareness).I am not again the idea that reality is awareness, and I show comp go in that direction. But comp makes it possible to explain this fromsimpler third person communicable proposition (like "the primenumbersbehave randomly", etc.).No, it doesn't. It doesn't for the simple reason that you canexplain ideas,concepts, things, objects from something, but you can't explainawarenessfrom something, since it is the thing that is required for anyexplanationat all to arise in the first place. Just like you can't explainwheels frombikes (you don't get what a bike is if you have no clue whatsoeverwhat awheel is) you can't explain awareness from anything (you don't getanythingat all if you don't already have a faint clue what consciousness is).Another way to state it: Everthing comes from awareness, thereforeawarenesscomes from nothing. Bruno Marchal wrote:Just awareness does, and these things are expressions of it (the more concrete things just temporary expressions, like my body).OK, but if you say "yes" to the doctor (and agree that you survived) then you can understand where awareness come from (as amazing as it might seem: I agree it is not obvious at all).This statement just doesn't make sense, as awareness doesn't "comefrom". Itis simply is already here. And don't say that that is a dogma, itsimply thecase as you can see for yourself. Bruno Marchal wrote:Got the feeling that you want awareness to be more primitive than the numbers. You might try a theory going in that direction, and then we will see if your theory forces you to say "no" to the doctor. That would be interesting.There is no theory needed for that, as it is already the case thatawarenessis primitive, and is the thing everything arises in, and out of. Without awareness nothing at all can arise, therefore it is primitive.It is nonsense to want a theory for that. It is like asking for atheory toshow that existence exists (awareness is existence itself). Youcan't askfor as theory for something which by its very nature is primary to anytheory, and beyond any theory. The only theory I can give about thatis"What is obvious is obvious, and this is required for anything to make sense, therefore it is primary. The only thing that can be obvious isconsciousness, since without it nothing whatsoever can be obvious.Thistheory is refuted if you show that something cannot be obvious." or"!" or"Axiom 1: Axiom 1". Really every theory is just as good if it onlyreallyexplains that no theory suffices, or can even touch awareness. Butwe shouldbe honest about that, and not claim that it explains "99%" or someBS likethat. Bruno Marchal wrote:Bruno Marchal wrote:Bruno Marchal wrote:We don't know if there is an infinity of twin primes, but we can still believe that "God" has a definite idea on that question.We could as well say that our definitions make the answer to that questionwell-defined, even if we haven't yet figured out what the answeris.So the answer does no more depend on us. That is what I mean bybeingrealist.The answer depends on us as we invented the numbers (we = rationally intelligent beings., including all forms of aliens that might exists, I guess that they are probably humanoid as well). There is no requirement that we know all the consequences of everything we invent.Numbers have been discovered by humans, not invented. You put too much, or not enough, credits in the humans.It depends on what you mean by invented. Ultimately nothing can beinventedif you require invention to be something fundamentally else thandiscovery.Every invention is a discovery of some kind. Bruno Marchal wrote:Bruno Marchal wrote:This doesn't mean that the answer describes an independently existent entity.It implies that the truth of existential arithmetical proposition does not depend on us.It doesn't in the way that when the humans on this earth die there will most probably still be other intelligent beings left that can assert the proposition. But even if they do not depend on us as humans, they may not be true independently of the context, that is, they only make sense with respect tosome aspects of reality, not all of it (which would be requiredfor ameaningful TOE).That's the case for all theories.Right. That's why a TOE is nonsense, as it has no (fixed) context,since"everything" is not a fixed context. Bruno Marchal wrote:Bruno Marchal wrote:but this doesn't mean they have any independent aspect.You said yourself that the question is well defined.So? Why does that entail that they are independent?It means that once we agree *enough* on what are the natural numbers, the truth on the twin prime numbers is independent of us. It is the same with the electron or any stable patterns we can approximate. Then with comp even a proposition like "Mister X suffer from headache during a major part of its life" will be independent of you (and of the big bang, electron, etc.).So? Even when they are not dependent on us, it doesn't mean they arereal inany sense other than everything else you can think of is real.Without compa proposition like "Mister X suffer from headache during a majorpart of itslife" will also be independent of you (and of the big bang,electron, etc.)(if you think of big bang and electron as independent materialentities, ifyou don't then the statement doesn't make sense as Mister X requireselectrons and the big bang to exist, as he can think of electronsand thebig bang if he couldn't he wouldn't be himself anymore). Bruno Marchal wrote:but let's just call the regularities laws, even if they can't be written down). This choice can be an abitrary thing whatsoever. If I decide to explain everything with the word "Kartoffelbrei" the universe will still be the same.Not exactly. If the commandant of a plane you are in asks an explanation on the climate, an justification like "Kartoffelbrei" might just end your terrestrial life, making in change in that universe. Explantion have to be as much as possible referentially correct for species to develop (instead of disappearing).Yes, but COMP explains not much more than "Kartoffelbrei". At leastKartoffelbrei is a concrete thing that we can eat (mashed potatoes),whileCOMP is just an insanely complicated way of stating the obvious factthat weare non-material, and includes the unfounded assumption that we are machines. It obfuscates more than it explains. Bruno Marchal wrote:Of course you can use numbers (or other computations), the point is rather that this is pointless, even if "theoretically possible". Using some convoluted way of reprenting things beyond numbers with numbers is justuseless, as we can more easily represent these things withconcepts inlanguage (you have to resort to that anyway, as examplified by your heavy use of words in critical points).The question is not can we think. The question is can a machinethink?Can we continue to think when we got a digital body? is there a physical primary universe or are we in a video game, etc.There is no such thing as a digital body. Bodies by their verynature areanolog.We are not in a video game, since video games are something weinvented toplay.If a machine can think or not depends on what you mean withthinking. Ofcourse it can think if you count mechanistic thought, it can't ifyou meantruly creative thought. Machines can't be truly creative, becausethey can'thandle direct, infinite self-reference, which is required forcreativity (ifyou give a computer an infinite loop or an infinite recursion hewon't bevery creative, he will just give you an error massage). Bruno Marchal wrote:Bruno Marchal wrote:Some universal system can play some more important role to figureoutsome aspect of reality, but that has to be deduced from a theory independent approach to computation if we want to extract and distinguish the quanta and the qualia (like trough the logics of self- reference).Why make it so complicated?We have no choice, when we tackle a complex question.But it isn't a complex question. Qualia are obviously here already,and theydon't need a theory, as they are self-explanatory and quanta arecontent ofqualia, which science has made sense of pretty well already (andexplainedas far as it can). Bruno Marchal wrote:Ulitamtely, logic can't capture self-reference anyway,That is what logic handles the better. That's "Cantor Post Gödel Turing revolution".It isn't much use to say "I can't capture that". It is precisely astatementof the fact that it can't handle it. Bruno Marchal wrote:so why not skip that stage and just go to the source of self-reference, the self itself (yourself).I agree the main point relies there. But then it is fun to see that the numbers can go there too.Numbers can go nowhere. They are tools to express measurements. Orweirdsymbols that weird people use to express obvious things in a terrible complex way. Bruno Marchal wrote:It is deep also, and it makes us more modest, and it changes the world around us.Thinking that numbers can be conscious is very immodest. The onlything thatis conscious s consciousness and it is modest to accept that. It isimmodestto want something more than everything, or something more than theunlimitedfreedom of existence. Or more accurately, is is just stupid to wantmore(not to say the people that want more are necessarily stupid), asthere isnothing more. Bruno Marchal wrote:My deepest goal is humanitarian. I sincerely believe that the more we will be rigorous (and thus modest to begin with) in theology (as opposed to centuries of dogma), the most we will be happy and peaceful.I like very much that you want all of us to be happy and peaceful(indeed Ithink if you truly sincerely want this as your *highest priority*,and seethat this depends on your own happiness and peace, you are on thebest wayto your own peace), and I like that you want to be modest.What I don't like so much is that you want to be rigorous withsomethingthat is completely beyond rigor, namely consciousness itself. Youwill justfail in that endavour, I am sorry.Rigor is just another dogma when it comes to this. Are you dogmaticaboutrigor? If yes, why is this better than other dogma, if no, whyshould we berigorous when it comes to this? Bruno Marchal wrote:Possible truth might be a bit frightening, for the unprepared, but hiding them is worst in the mid run, and fatal in the long run.Hm, I think hiding is impossible, but the attempt is inevitable, andindeedfatal in the long run. It will lead to the death of "I", since atsome pointyou just can't stand to hide anymore from the fact that there is no"I" thatis somehow not equal to God, and at some point God will just awakenand thusdismantle the "I".But there is nothing bad about that honestly. Yes, it leads tosuffering,but suffering also plays a part in realizing enlightenment. It is justtemporary, and honestly no big deal for God. It just appears to be abigdeal because we think we are the sufferer, and we think we aresomethin thatcan be hurt. Suffering is finite (and based on an illusion), so it is basically nothing at all for the infinite being. It is so strong thatbearing all the suffering in the world is its easiest task. Ofcourse, ithas no choice but to bear whatever comes up. benjayk -- View this message in context: http://old.nabble.com/COMP-is-empty%28-%29-tp32569717p32620919.html Sent from the Everything List mailing list archive at Nabble.com. --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To post to this group, send email to everything-list@googlegroups.com.To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com.For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.