> On 2 Jul 2019, at 00:38, Bruce Kellett <[email protected]> wrote: > > On Mon, Jul 1, 2019 at 10:16 PM Quentin Anciaux <[email protected] > <mailto:[email protected]>> wrote: > Le lun. 1 juil. 2019 à 13:35, Bruce Kellett <[email protected] > <mailto:[email protected]>> a écrit : > On Mon, Jul 1, 2019 at 5:32 PM Quentin Anciaux <[email protected] > <mailto:[email protected]>> wrote: > > But you spend more 'time' living between the ages of 40 and 90 than you do > between the ages of 1 and 20! > > And so what ? you have to have been 20 to be then between 40 and 90... your > moments are successive *and not picked up at random*. > > That does not address the point that I made -- there are more moments between > 40 and 90 than between 1 and 20, so you spend more time in your mature years. > Pick a time at random, you are likely to be mature. Your points about > ordering and succession are completely irrelevant to the main point being > made. > > Again *we don't pick our life moment at random*... I'm living *every day, > every second* of my life, there is no wonder to live your life, if your > theory is that every human should be between 40 and 90, because they have > more moments between 40 and 90 than between 1 and 20, it's absurd... and > false. > > That is not my theory -- straw man argument on your part. > > The point of the argument I seek to make is that we can "pick a moment at > random”.
With mechanism, the “moment” can be modelled by open set (in some topological space, associated with S4Grz). It cannot be represented by a point or by any close set. That is the first mistake here, I would say. The second mistake is what Quentin is talking about: computations have steps, and the probability are always conditionalised by the fact that we are at some step of (infinitely many) computations. We just cannot know which one with any certainty. > If at age 90 you look back on your life, you will conclude that you spent > more time between 40 and 90 than between 1 and 20. That is a simple fact of > arithmetic. So if, at 90, you decide to pick a moment at random from your > life to typify what your life, on the whole, has been like, putting a uniform > distribution over conscious moments and picking one at random, you are more > like to pick a moment in which you are elderly, and are surrounded by younger > people. This becomes even more likely the longer you live. So looking back at > age 500 years, you will have spent most of your life as an elderly person. Which time? I can access only my subjective time, and I would say that my period between birth and the age of ten has been considerable longer that the once between 10 and 60. > > Your objection seems to be that we don't come into existence at a random > moment over our lifespan. True enough. But that is not what the argument > depends on. The truth here is bound toi be be counter-intuitive. At some point, I think we have no choice that to make everuthg precise (which mechanism allow to do thanks to computer science) and do the math. In all the talk here, we never know if we talk about the machine ([]p), or its soul ([]p & p), or its observable ([]p & <>t), which obeys quite different logics (intuitionist for the soul, quantum for the observable), etc. Keep in mind that []p (etc.) are purely arithmetical objects, and that we are constrained by elementary arithmetical truth. Bruno > > Bruce > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAFxXSLQscxLFqc5%2BfrfwhCbbGhB3Lz4xv_toh-ouCWdBuPVhVg%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAFxXSLQscxLFqc5%2BfrfwhCbbGhB3Lz4xv_toh-ouCWdBuPVhVg%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/28AE5871-FD95-4197-A27B-D51766AC5FB8%40ulb.ac.be.
