Re: lowly complexity

2001-07-02 Thread George Levy
Joel Dobrzelewski wrote: I do understand all universal computers are equivalent. But again: What program are these machines running? It is becoming clear to me - that is the real question. They are running COBOL version 5.3. This language has been, and will remain with us for ever. ;-)

Re: lowly complexity

2001-07-01 Thread George Levy
Joel Dobrzelewski wrote: Jacques: You guys are going about it all wrong. Sure, some computers seem simpler than others. But there's no one way to pick the simplest. I agree with Jacques that trying to define a computer is ridiculous. But if we must choose one, there is a way to pick

Re: White Rabbits, WAND gates and WACOs

2001-06-21 Thread George Levy
More on White Rabbits. Here is a thought experiment which attempts to prove the non existence of White Rabbits and of Black Rabbits. Definitions: 1) White Rabbits: phenomena that we cannot understand. Their existence indicates that the set of physical phenomena is larger than the set of ideas

Re: White Rabbits, Consistency and Dreaming

2001-06-14 Thread George Levy
is the hunt for, and extermination of, all white rabbits... I think, they are in for a big surprise the mother of all white rabbits is just around the cornerand she is morphing into a lion. George Levy

Re: Consistency? + Programs for G, G*, ...+ White Rabbits

2001-06-11 Thread George Levy
Marchal wrote: Do you think the dream and awake state are symmetrical? I am not sure. It seems to me that in the dream state you can realise you are dreaming, but that in the "awake" state you can never realise you are awake. "awakenings" go from more relative inconsistencies to less relative

Re: White Rabbits, Consistency and Dreaming

2001-06-10 Thread George Levy
This is a continuation of Consistency? + Programs for G, G*, ...+ White Rabbits Some more thoughts about dreaming. I wrote: To summarize: White rabbits are inconsistent by definition. The issue is inconsistent with respect which frame of reference? If we dream of a real world white

Re: Consistency? + Programs for G, G*, ...+ White Rabbits

2001-06-07 Thread George Levy
Marchal wrote Ok. Physics is pattern of laws perceived by the consciousness observing the plenitude. The consistency filter that restricts consciousness is the same filter that restrict the world that consciousness observes. This is why the world is understandable and this is why there are

Re: Consistency? + Programs for G, G*, ...

2001-06-04 Thread George Levy
Wei Dai wrote: I've changed the max submission size to 60 KB. Thanks Wei George

Re: Provable vs Computable

2001-06-01 Thread George Levy
John and Hal, Bruno and all everythingers, sorry for the delay guys, I was travelling and had lots of work. Bruno, I just scanned your post quickly. It seems to me we are going in the right direction but I shall need time to digest what you wrote. I shall reply to you later Let me first reply to

Re: Provable vs Computable

2001-05-22 Thread George Levy
jamikes wrote: George Levy [EMAIL PROTECTED] wrote Saturday, May 05, 2001 : (SNIP Jurgen's remark about such a universe whatever, my remark is not topical, rather principle:) Such a universe would violate Bell' inequality theorem. Quantum randomness cannot be simulated by hidden

Re: Consistency?

2001-05-21 Thread George Levy
Hi Marchal Your expose in a "nutshell" is far too technical to convince me... unfortunately I believe I would have to obtain a post grad education in logic to appreciate your position as you state it. Yet I believe that what you are saying sounds valid. So even though I would like to give you

Re: Belief Knowledge

2001-05-08 Thread George Levy
Marchal wrote: George Levy wrote: Would Descartes' statement be written as : (c - -[]c) - c How would you prove it? As it stands it appears to be a third person statement. How would you make it a first person statement with Kripke's logic? About your formula ( c

Re: The role of logic, planning ...

2001-04-30 Thread George Levy
Hi Marchal, This is a reply to your last two posts. I hope other everythingers beside myself are attempting to follow this adventure in logic. It appears to be really worth the effort. Please feel free to contribute to this exchange. Marchal wrote: And we have as results (including the

Re: Kripke semantics

2001-04-15 Thread George Levy
Reflexive, Transitive and Symmetric applies only to the relation R that define accessibility. So: Reflexive: W | --| Transitive: W1 -- W2 W3 Symmetric W1 - W2 And the Goedel-like formula p -- -[]p means: if p is true in at least one world accessed from w,

Re: Leibniz Semantics

2001-03-28 Thread George Levy
,* it seems so impossible to me, that, I believe the prize should be given by a prestidigitation organization. :-). It will certainly be instructive to go through that process. George Marchal wrote: George Levy wrote: With my background in electronic engineering, I am moderately versed in logic

Re: Modalities

2001-03-22 Thread George Levy
The following post was returned to me I'll try to send it again Marchal wrote: But perhaps there is something more I should ask you before. You said in response to some post of me, in some preceeding dialog: I smell a whiff of third person thinking. Well, I know you are not stuck

Re: on formally indescribable merde

2001-03-21 Thread George Levy
Sorry guys I am running behind in my replies Stephen Paul King wrote: [SPK] It is trivial to show that TM's can not give rise to consciousness for the simple reason that consciousness is not pre-specifiable in its behaviour. Have you read Peter Wegner's papers about this? I just got

Re: A FAQ for the list

2001-03-21 Thread George Levy
Hi Hal The purpose of my post of september 99 was to clarify some of these issues and terminologies. I am still not an expert except for my own position... I certainly could not speak for others. A possible method for performing the tasks I outlined below may be to decentralized them... In

Re: on formally indescribable merde

2001-03-19 Thread George Levy
Stephen Paul King wrote:[SPK] It is trivial to show that TM's can not give rise to consciousness for the simple reason that consciousness is not pre-specifiable in its behaviour. Have you read Peter Wegner's papers about this? and from a previous post: [SPK] I agree. But could you get

Re: Transporter Paradox

2001-03-18 Thread George Levy
James Higgo wrote: Bravo, George. This is a derivation of Liebnitz's point. How many more ingenious 'solutions' will there be to the paradoxes that belief in a 'first person' leads to? Quite a few I imagine, as nobody can countenance for a split-second that they don't exist as a

Re: on formally indescribable ....

2001-03-18 Thread George Levy
Marchal wrote: But the entire UDA TE shows that the mind-body problem is reduced to extracting the physical laws for the measure on that indeterminacy. This explain at least the philosophical shape of QM. OK [BM] And it shows that COMP entails SE is SE is correct. It shows that COMP

Re: on formally describable universes and measures

2001-03-09 Thread George Levy
Russell Standish wrote: ...The plenitude would include all sets that don't contain themselves, as well as sets that do. We know the plenitude contains itself. However, since the set of all sets that don't contain themselves is a logical contradiction, it is presumably excluded from the

Re: on formally indescribable merde

2001-03-07 Thread George Levy
Marchal wrote: ..Positive integers exists. Nothing else. This is a integercentric statement if I ever saw one. And Kroenecker was an old fuddy daddy. If I was a negative number I would be deepely offended! Why not say negative number exist and nothing else? In fact all you need is the null set

Re: on formally describable universes and measures

2001-03-07 Thread George Levy
Hi Stephen Stephen Paul King wrote: Dear George, George Levy wrote: Stephen Paul King wrote: I am suggesting that *all* objects are either an observer or a part of an observer. I am attacking the anthrocentrist definition of observer. I am suggesting that any object that can have

Re: on formally describable universes and measures

2001-03-06 Thread George Levy
Stephen Paul King wrote: I am considering the idea that each observer (consciousness point) has its own set of a priori probable observations, it is when we introduce the possibility of communication between observers that these sets alter... I hope you are not suggesting that

Re: on formally describable universes and measures

2001-03-05 Thread George Levy
Stephen Paul King wrote: Logic just like phycical laws is not abolute. It only exists in the mind of the beholder. So a transition is logical only if it makes sense for the consciousness which experiences it. And a consciousness experiences such a transition only if it makes or can

Re: on formally describable universes and measures

2001-03-05 Thread George Levy
Stephen Paul King wrote: Umm, let me break this down into chucks and try to see if we are understanding each other. My notion of a previous time was couched within a notion that is similar to J. A. Wheeler's notion of a Surprise 20 Questions Game and I did not state so

Re: on formally describable universes and measures

2001-03-04 Thread George Levy
Brent Meeker wrote: On 03-Mar-01, George Levy wrote: I do not view these so called parallel universes as *separate*. It's really one single multiverse and the wave function exists in the multiverse How can this multiverse have a single wave function when it is supposed to have

Re: on formally describable universes and measures

2001-03-04 Thread George Levy
Brent Meeker wrote: A transition from one conscious point (observer moment) to the next must be logical at the conscious level and simultaneously at the physical law level. I'm not sure what you mean by logical transition - entailed by the previous theorems plus rules of inference

Re: on formally describable universes and measures

2001-03-02 Thread George Levy
Marchal wrote: The difference between the first person and the third person is basically the same as the difference between having an headache and having a friend having an headhache. True, but I believe of much greater importance for this discussion is the difference in the obervations

Re: another anthropic reasoning paradox

2001-02-28 Thread George Levy
Wei Dai wrote: The paradox is what happens if we run Alice and Bob's minds on different substrates, so that Bob's mind has a much higher measure than Alice's. I fail to understand the paradox. In the case where they are on the same substrate, they are more likely to push button 2. OK In the

Re: on formally describable universes and measures

2001-02-20 Thread George Levy
[EMAIL PROTECTED] wrote: From [EMAIL PROTECTED] Sun Feb 18 01:16:16 2001 The exchange between Bruno and Juergens is, I believe, instructive and constructive as it forces them to refine their positions. Where did I have to refine mine? JS That' right I guess. You didn't have to refine

Re: on formally describable universes and measures

2001-02-20 Thread George Levy
jamikes wrote: George, ... I have only some remarks: I I think (not a Cartesian wordageG) the first step would be: 0.1: Causality IS, then you may introduce your points. The whole point of starting with I is to avoid starting with a *bare* assumption such as the one you suggest

Re: on formally describable universes and measures

2001-02-17 Thread George Levy
The exchange between Bruno and Juergens is, I believe, instructive and constructive as it forces them to refine their positions. However, while there is a need for some formalism, too much formalism gets in the way. As Einstein said, Imagination is more important than knowledge. Juergens'

Re: 3 possible views of consciousness +

2001-02-04 Thread George Levy
is. The conventional approach of regarding consciousness as discrete and well separated entities obviously does not work. George Levy

Re: on formally describable universes and measures

2001-02-03 Thread George Levy
Thanks to Bruno, I am experiencing a kind of nomenclatorial fusion with Gilles Henri. I have become Gille Levy. I wonder who George Henri is. :-) George Levy Marchal wrote: Jesse Mazer wrote: Are you saying that you support the 2/3 view, meaning that the probability of my next moment

Re: on formally describable universes and measures

2001-01-03 Thread George Levy
On Thu Dec 28 05:19:13 2000 Wei Dai wrote: Even within classic models of computation, there seem to be significant variations in speed. As far as I can tell from my theory of computation book, moving from a multi-tape TM to a single-tape TM can cause a squaring of running time for some problems,

<    1   2   3