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


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

Re: The halting problem revisited

Path csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.albasani.net!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 Tue, 05 Apr 2011 01:32:28 +0100
Organization Dirk Bruere at Neopax
Lines 74
Message-ID <8vv68cF4voU2@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> <imutgp$d11$1@news.onet.pl> <indnj4$udl$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 1A+nmlbsmRbFLWixJ+gGqQB4BDHcWoRakie9jpRvbHh+O5O5ii
Cancel-Lock sha1:lBG3lf8RSuhIEe7bb3zI1X1Y0+I=
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 <indnj4$udl$1@speranza.aioe.org>
Xref x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:2870

Show key headers only | View raw


On 05/04/2011 01:26, javax.swing.JSnarker wrote:
> On 30/03/2011 5:35 AM, Michal Kleczek wrote:
>> javax.swing.JSnarker wrote:
>>> Non sequitur.
>>
>> How about: if a theory leads to conclusions that are not verfifyable
>> by (or
>> even contradictory to) "common sense" ( Myself ) - it means the theory is
>> useless (hence parallel world assumption is useless - hence there are
>> either
>> a) other sentences more useful "falling out" from QM or b) QM is
>> useless :)
>> ).
>
> But there is no parallel world "assumption". There is a parallel world
> *conclusion* from the Schroedinger equations, *absent* a *collapse*
> assumption.
>
> And there is no evidence for the need for a collapse assumption.
>
> Ockham's Razor applies to the complexity of the theory's *hypotheses*,
> not its *conclusions*.
>
> In fact, the general preferred theory for phenomenon X should be:
>
> * Of those that do not make already-falsified predictions
> * Of those that explain the most already-observed phenomena
> * Of those with the fewest hypotheses
> * The one with the greatest number of consequences
>
> The first point eliminates outright-wrong theories.
>
> The second prefers the theories that predict not only X but as many
> other phenomena as possible -- so, Maxwell's electromagnetism to
> separate theories of electricity and magnetism, and quantum
> electrodynamics to either. Essentially, the ones with greatest
> explanatory power regarding what we already know.
>
> The third is Ockham's razor.
>
> The fourth prefers, among equally-simple theories, the one that will
> have the greatest predictive power regarding what we still *don't* know.
> In particular, it's probably the easiest to falsify, because the more
> yet-untested consequences the theory has, the more opportunities the
> universe (or an experimenter) has to prove it wrong.
>
> Whereupon it gets eliminated by the first point in the list above, the
> is replaced by its first runner-up in the competition. :)
>
>> My point is that if "parallel world" theory cannot get rid of "the
>> noise" in
>> "this world" it is of no use to me. There is no difference between
>> uncertainty of
>> a) which world I am in
>> b) the cat was dead or not a couple of hours in the past
>
> Funnily enough, there is. In case a), but not in case b), you can
> potentially create interference patterns in cat alive-or-dead-ness. :)
>
>> But I think don't really follow and I am not capable of discussing it
>> further. It may be because:
>> a) my English is not good enough to comprehend such advanced discussions
>> b) I don't have enought background - do you have some pointers that would
>> introduce me to the concepts you're talking about?
>
> http://wiki.lesswrong.com/wiki/The_Quantum_Physics_Sequence
>

MWI subjectively verifiable by suicide

-- 
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