Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.programmer > #2594

Re: The halting problem revisited

Path csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.tele.dk!feed118.news.tele.dk!news.tele.dk!small.news.tele.dk!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From Dirk Bruere at NeoPax <dirk.bruere@gmail.com>
Newsgroups comp.lang.java.programmer
Subject Re: The halting problem revisited
Date Wed, 30 Mar 2011 15:42:38 +0100
Organization Dirk Bruere at Neopax
Lines 59
Message-ID <8vgtqrFikcU4@mid.individual.net> (permalink)
References <ld2ro6t4dpbhbvgvll9pr0am27ssp4s1v2@4ax.com> <imk3as$b20$1@lust.ihug.co.nz> <8v727mF46lU1@mid.individual.net> <imor91$g40$2@news.albasani.net> <imovud$827$1@speranza.aioe.org> <8vbuiaFbm7U1@mid.individual.net> <Turing-machine-20110328193430@ram.dialup.fu-berlin.de> <imqvof$e1o$1@dont-email.me> <slrnip235j.phi.avl@gamma.logic.tuwien.ac.at> <imr30v$vo7$1@dont-email.me> <randomness-20110329010322@ram.dialup.fu-berlin.de> <8vd51lFlq1U1@mid.individual.net> <imsh0v$11t$1@speranza.aioe.org> <8ve17fFto9U1@mid.individual.net> <imsuev$v96$2@news.albasani.net> <8vedndFt19U1@mid.individual.net> <imsvl0$2gn$1@news.albasani.net> <8vef1uF8n9U1@mid.individual.net> <imt71n$jtj$1@news.albasani.net> <8ver27F5ouU1@mid.individual.net> <imtt7r$csp$1@speranza.aioe.org> <imuo94$jo1$1@news.onet.pl> <imuqc8$a3j$1@speranza.aioe.org>
Reply-To dirk.bruere@gmail.com
Mime-Version 1.0
Content-Type text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding 7bit
X-Trace individual.net qjhBgrsri8n7KEE/ARkN6gs8wNNY4/Vx6wStcP/rpLIeaFoqBs
Cancel-Lock sha1:Bejs4bqOKJepRzzMcDNpmW7daTo=
User-Agent Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.15) Gecko/20110303 Thunderbird/3.1.9
In-Reply-To <imuqc8$a3j$1@speranza.aioe.org>
Xref x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:2594

Show key headers only | View raw


On 30/03/2011 09:41, javax.swing.JSnarker wrote:
> On 30/03/2011 4:05 AM, Michal Kleczek wrote:
>> javax.swing.JSnarker wrote:
>>> Or we can posit that Wigner's friend is also a "material device", in
>>> which case you realize that Wigner's friend just gets replicated into
>>> parallel worlds, and so does Wigner, and so does everyone eventually.
>>
>> I'm not an expert in all this stuff at all but my thinking is:
>> If existence of parallel Wigners cannot be disproved experimentally (by
>> definition of "parallel") the whole idea is not really science anymore.
>> Since Wigner is not able to verify existence of parallel Wigners then by
>> applying Ockham's razor he should just ignore them (and try another
>> explanation which would be more scientific).
>
> Ockham's Razor requires us to accept the *simpler hypothesis*. If we
> assume only what's already proven about QM, e.g. the Schroedinger
> wave-function evolution, then parallel Wigners fall out of that
> naturally. We have to posit something *extra* (a collapse mechanism) to
> get *rid* of them.
>
> Absent experimental evidence one way or the other we should prefer the
> theory *without* a collapse postulate.
>
>> You cannot easily say "commonsense intuition is wrong" because then your
>> sentences about real world become meaningless.
>
> Non sequitur.
>
>> It is not that easy to get rid of "the existence of some dude whose name
>> rhymes with Todd" :)
>
> How about the observation that any phenomenon in the universe that has
> no detectable effect at all has no practical significance and may as
> well not exist; whereas if it has detectable effects, those effects can
> be partially modeled, at least statistically. The model, if made as good
> as possible, should end up as a mixture of structured behaviors, with
> patterns to them, and a random noise source of some sort.
>
> The model of the structured behaviors, however, amounts to a
> naturalistic explanation of those aspects of the phenomena more or less
> by definition. And what's left over is unstructured noise!
>
> This leaves no room for the supernatural in *any* form. A sufficiently
> good model crushes it between the parts explained naturalistically and
> the parts that are just noise. In fact, MWI QM even gets rid of the
> noise, simply making it a lengthy bit-string parameter that varies
> across the many worlds; the noise we observe is then just a reflection
> of our uncertainty as to which bit-string our particular universe has
> (even after we've observed an arbitrarily long prefix of it).
>

Unless QM is nonlinear somewhere, in which case it might allow 
communications across parallel worlds. And that would mean a whole heap 
of "supernatural" style problems and phenomena

-- 
Dirk

http://www.neopax.com/technomage/ - My new book - Magick and Technology

Back to comp.lang.java.programmer | Previous | NextPrevious in thread | Next in thread | Find similar


Thread

Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-29 14:05 -0400
  Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-29 20:43 +0100
    Re: The halting problem revisited "javax.swing.JSnarker" <gharriman@boojum.mit.edu> - 2011-03-29 20:24 -0400
      Re: The halting problem revisited Michal Kleczek <kleku75@gmail.com> - 2011-03-30 10:05 +0200
        Re: The halting problem revisited "javax.swing.JSnarker" <gharriman@boojum.mit.edu> - 2011-03-30 04:41 -0400
          Re: The halting problem revisited Michal Kleczek <kleku75@gmail.com> - 2011-03-30 11:35 +0200
            Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-30 07:38 -0400
              Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:48 +0100
                Re: The halting problem revisited Lew <lew@lewscanon.com> - 2011-03-30 10:35 -0700
                Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 19:46 +0100
                Re: The halting problem revisited Lew <lew@lewscanon.com> - 2011-03-30 13:24 -0700
                Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-31 00:04 +0100
                Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-31 00:00 -0400
              Re: The halting problem revisited "javax.swing.JSnarker" <gharriman@boojum.mit.edu> - 2011-04-04 20:28 -0400
            Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:44 +0100
            Re: The halting problem revisited "javax.swing.JSnarker" <gharriman@boojum.mit.edu> - 2011-04-04 20:26 -0400
              Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-04-05 01:32 +0100
          Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:42 +0100
            Re: The halting problem revisited Lew <noone@lewscanon.com> - 2011-03-31 08:31 -0400
        Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:41 +0100
          Re: The halting problem revisited "javax.swing.JSnarker" <gharriman@boojum.mit.edu> - 2011-04-04 20:34 -0400
      Re: The halting problem revisited Dirk Bruere at NeoPax <dirk.bruere@gmail.com> - 2011-03-30 15:38 +0100

csiph-web