On Wednesday, October 2, 2013 12:26:45 PM UTC-4, Bruno Marchal wrote: > > > On 02 Oct 2013, at 06:56, Pierz wrote: > > > > On Wednesday, October 2, 2013 12:46:17 AM UTC+10, Bruno Marchal wrote: >> >> Then the reasoning shows (at a meta-level, made possible with the > assumption used) how consciousness and beliefs (more or less deluded) in > physical realities develop in arithmetic. >
Are 'beliefs in' physical realities the same as experiencing the realism of public physics though? For instance, I believe that if I should avoid driving recklessly in the same way as I would in a driving game as I would in my actual car. Because my belief that the consequences of a real life collision are more severe than a game collision, I would drive more conservatively in real life. That's all ok, but a belief about consequences would not generate realistic qualia. If someone held a gun to my head while I play the racing game, the game would not become any more realistic. I always feel like there is an equivalence between belief and qualia which is being implied here that is not the case. It's along the lines of assuming that a hypnotic state can fully replace reality. If that were the case, of course, everybody would be lining up to get hypnotized.There is some permeability there, but I think it's simplistic to imply that the aggregate of all qualia arises purely from the arbitrary tokenization of beliefs. > > But that's the mathematical (arithmetical) part. In UDA it is just shown > that if comp is true (an hypothesis on consciousness) then physics is a > branch of arithmetic. More precisely a branch of the ideally > self-referentially correct machine's theology. (always in the Greek sense). > > There is no pretense that comp is true, but if it is true, the correct > "QM" cannot postulate the wave, it has to derive the wave from the numbers. > That's what UDA shows: a problem. AUDA (the machine's interview) provides > the only path (by Gödel, Löb, Solovay) capable of relating the truth and > all machine's points of view. > > There will be many ways to extract physics from the numbers, but > interviewing the self-introspecting universal machine is the only way to > get not just the laws of physics, but also why it can hurt, and why a part > of that seems to be necessarily not functional. > I don't think that an interview with anyone can explain why they can hurt, unless you have already naturalized an expectation of pain. In other words, if we don't presume that universal machine experiences anything, there is no need to invent qualia or experience to justify any mathematical relation. If mathematically all that you need is non-functional, secret kinds of variable labels to represent machine states, I don't see why we should assume they are qualitative. If anything, the unity of arithmetic truth would demand a single sensory channel that constitutes all possible I/O. Craig > 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 everything-li...@googlegroups.com. >> > To post to this group, send email to everyth...@googlegroups.com. >> > Visit this group at http://groups.google.com/group/everything-list. >> > For more options, visit https://groups.google.com/groups/opt_out. >> >> 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 everything-li...@googlegroups.com <javascript:>. > To post to this group, send email to everyth...@googlegroups.com<javascript:> > . > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > > > 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.