On Branching vs Probability 2011-03-21T20:14:08.063Z
What is Wei Dai's Updateless Decision Theory? 2010-05-19T10:16:51.228Z


Comment by AlephNeil on Open Thread April 2019 · 2019-05-13T17:39:52.763Z · LW · GW

You should be able to get it as a corollary of the lemma that given two disjoint convex subsets U and V of R^n (which are non-zero distance apart), there exists an affine function f on R^n such that f(u) > 0 for all u in V and f(v) < 0 for all v in V.

Our two convex sets being (1) the image of the simplex under the F_i : i = 1 ... n and (2) the "negative quadrant" of R^n (i.e. the set of points all of whose co-ordinates are non-positive.)

Comment by AlephNeil on Decision Theories: A Semi-Formal Analysis, Part I · 2012-03-24T21:15:44.027Z · LW · GW

an authoritative payoff matrix that X can't safely calculate xerself.

Why not? Can't the payoff matrix be "read off" from the "world program" (assuming X isn't just 'given' the payoff matrix as an argument.)

Comment by AlephNeil on Decision Theories: A Semi-Formal Analysis, Part I · 2012-03-24T19:33:57.695Z · LW · GW
  1. Actually, this is an open problem so far as I know: show that if X is a Naive Decision Theory agent as above, with some analyzable inference module like a halting oracle, then there exists an agent Y written so that X cooperates against Y in a Prisoner's Dilemma while Y defects.

Let me just spell out to myself what would have to happen in this instance. For definiteness, let's take the payoffs in prisoner's dilemma to be $0 (CD), $1 (DD), $10 (CC) and $11 (DC).

Now, if X is going to co-operate and Y is going to defect then X is going to prove "If I co-operate then I get $0". Therefore, in order to co-operate, X must also prove the spurious counterfactual "If I defect then I get $x" for some negative value of x.

But suppose I tweak the definition of the NDT agent so that whenever it can prove (1) "if output = a then utility >= u" and (2) "if output != a then utility <= u" it will immediately output a. (And if several statements of the forms (1) and (2) have been proved then the agent searches for them in the order that they were proved) Note that our agent will quickly prove "if output = 'defect' then utility >= $1". So if it ever managed to prove "if output = 'co-operate' then utility = $0" it would defect right away.

Since I have tweaked the definition, this doesn't address your 'open problem' (which I think is a very interesting one) but it does show that if we replace the NDT agent with something only slightly less naive, then the answer is that no such Y exists.

(We could replace Prisoner's Dilemma with an alternative game where each player has a third option called "nuclear holocaust", such that if either player opts for nuclear holocaust then both get (say) -$1, and ask the same question as in your note 2. Then even for the tweaked version of X it's not clear that no such Y exists.)

ETA: I'm afraid my idea doesn't work: The problem is that the agent will also quickly prove "if 'co-operate' then I receive at least $0." So if it can prove the spurious counterfactual "if 'defect' then receive -1" before proving the 'real' counterfactual "if 'co-operate' then receive 0" then it will co-operate.

We could patch this up with a rule that said "if we deduce a contradiction from the assumption 'output = a' then immediately output a" which, if I remember rightly, is Nesov's idea about "playing chicken with the inconsistency". Then on deducing the spurious counterfactual "if 'defect' then receive -1" the agent would immediately defect, which could only happen if the agent itself were inconsistent. So if the agent is consistent, it will never deduce this spurious counterfactual. But of course, this is getting even further away from the original "NDT".

Comment by AlephNeil on State your physical account of experienced color · 2012-02-01T14:11:08.257Z · LW · GW

[general comment on sequence, not this specific post.]

You have such a strong intuition that no configuration of classical point particles and forces can ever amount to conscious awareness, yet you don't immediately generalize and say: 'no universe capable of exhaustive description by mathematically precise laws can ever contain conscious awareness'. Why not? Surely whatever weird and wonderful elaboration of quantum theory you dream up, someone can ask the same old question: "why does this bit that you've conveniently labelled 'consciousness' actually have consciousness?"

So you want to identify 'consciousness' with something ontologically basic and unified, with well-defined properties (or else, to you, it doesn't really exist at all). Yet these very things would convince me that you can't possibly have found consciousness given that, in reality, it has ragged, ill-defined edges in time, space, even introspective content.

Stepping back a little, it strikes me that the whole concept of subjective experience has been carefully refined so that it can't possibly be tracked down to anything 'out there' in the world. Kant and Wittgenstein (among others) saw this very clearly. There are many possible conclusions one might draw - Dennett despairs of philosophy and refuses to acknowledge 'subjective experience' at all - but I think people like Chalmers, Penrose and yourself are on a hopeless quest.

Comment by AlephNeil on Completeness, incompleteness, and what it all means: first versus second order logic · 2012-01-25T14:27:38.208Z · LW · GW

The comprehension axiom schema (or any other construction that can be used by a proof checker algorithm) isn't enough to prove all the statements people consider to be inescapable consequences of second-order logic.

Indeed, since the second-order theory of the real numbers is categorical, and since it can express the continuum hypothesis, an oracle for second-order validity would tell us either that CH or ¬CH is 'valid'.

("Set theory in sheep's clothing".)

Comment by AlephNeil on A model of UDT with a halting oracle · 2011-12-18T18:13:26.233Z · LW · GW

But the bigger problem is that we can't say exactly what makes a "silly" counterfactual different from a "serious" one.

Would it be naive to hope for a criterion that roughly says: "A conditional P ⇒ Q is silly iff the 'most economical' way of proving it is to deduce it from ¬P or else from Q." Something like: "there exists a proof of ¬P or of Q which is strictly shorter than the shortest proof of P ⇒ Q"?

A totally different approach starts with the fact that your 'lemma 1' could be proved without knowing anything about A. Perhaps this could be deemed a sufficient condition for a counterfactual to be serious. But I guess it's not a necessary condition?

Comment by AlephNeil on What independence between ZFC and P vs NP would imply · 2011-12-09T00:56:27.572Z · LW · GW

Suppose we had a model M that we thought described cannons and cannon balls. M consists of a set of mathematical assertions about cannons

In logic, the technical terms 'theory' and 'model' have rather precise meanings. If M is a collection of mathematical assertions then it's a theory rather than a model.

formally independent of the mathematical system A in the sense that the addition of some axiom A0 implies Q, while the addition of its negation, ~A0, implies ~Q.

Here you need to specify that adding A0 or ~A0 doesn't make the theory inconsistent, which is equivalent to just saying: "Neither Q nor ~Q can be deduced from A."

Note: if by M you had actually meant a model, in the sense of model theory, then for every well-formed sentence s, either M satisfies s or M satisfies ~s. But then models are abstract mathematical objects (like 'the integers'), and there's usually no way to know which sentences a model satisfies.

Comment by AlephNeil on What independence between ZFC and P vs NP would imply · 2011-12-08T20:25:33.355Z · LW · GW

Perhaps a slightly simpler way would be to 'run all algorithms simultaneously' such that each one is slowed down by a constant factor. (E.g. at time t = (2x + 1) * 2^n, we do step x of algorithm n.) When algorithms terminate, we check (still within the same "process" and hence slowed down by a factor of 2^n) whether a solution to the problem has been generated. If so, we return it and halt.

ETA: Ah, but the business of 'switching processes' is going to need more than constant time. So I guess it's not immediately clear that this works.

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T23:23:36.065Z · LW · GW

I agree that definitions (and expansions of the language) can be useful or counterproductive, and hence are not immune from criticism. But still, I don't think it makes sense to play the Bayesian game here and attach probabilities to different definitions/languages being correct. (Rather like how one can't apply Bayesian reasoning in order to decide between 'theory 1' and 'theory 2' in my branching vs probability post.) Therefore, I don't think it makes sense to calculate expected utilities by taking a weighted average over each of the possible stances one can take in the mind-body problem.

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T18:55:39.584Z · LW · GW

I don't understand the question, but perhaps I can clarify a little:

I'm trying to say that (e.g.) analytic functionalism and (e.g.) property dualism are not like inconsistent statements in the same language, one of which might be confirmed or refuted if only we knew a little more, but instead like different choices of language, which alter the set of propositions that might be true or false.

It might very well be that the expanded language of property dualism doesn't "do" anything, in the sense that it doesn't help us make decisions.

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T17:56:42.866Z · LW · GW

Of course, we haven't had any instances of jarring physical discontinuities not being accompanied by 'functional discontinuities' (hopefully it's clear what I mean).

But the deeper point is that the whole presumption that we have 'mental continuity' (in a way that transcends functional organization) is an intuition founded on nothing.

(To be fair, even if we accept that these intuitions are indefensible, it's remains to be explained where they come from. I don't think it's all that "bizarre".)

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T17:27:07.692Z · LW · GW

Nice sarcasm. So it must be really easy for you to answer my question then: "How would you show that my suggestions are less likely?"


Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T17:17:57.352Z · LW · GW

You really think there is logical certainty that uploading works in principle and your suggestions are exactly as likely as the suggestion 'uploading doesn't actually work'?

How would you show that my suggestions are less likely? The thing is, it's not as though "nobody's mind has annihilated" is data that we can work from. It's impossible to have such data except in the first-person case, and even there it's impossible to know that your mind didn't annihilate last year and then recreate itself five seconds ago.

We're predisposed to say that a jarring physical discontinuity (even if afterwards, we have an agent functionally equivalent to the original) is more likely to cause mind-annihilation than no such discontinuity, but this intuition seems to be resting on nothing whatsoever.

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-03T16:49:29.726Z · LW · GW

The identify of an object is a choice, a way of looking at it. The "right" way of making this choice is the way that best achieves your values.

I think that's really the central point. The metaphysical principles which either allow or deny the "intrinsic philosophical risk" mentioned in the OP are not like theorems or natural laws, which we might hope some day to corroborate or refute - they're more like definitions that a person either adopts or does not.

I don't see either as irrational

I have to part company here - I think it is irrational to attach 'terminal value' to your biological substrate (likewise paperclips), though it's difficult to explain exactly why. Terminal values are inherently irrational, but valuing the continuance of your thought patterns is likely to be instrumentally rational for almost any set of terminal values, whereas placing extra value on your biological substrate seems like it could only make sense as a terminal value (except in a highly artificial setting e.g. Dr Evil has vowed to do something evil unless you preserve your substrate).

Of course this raises the question of why the deferred irrationality of preserving one's thoughts in order to do X is better than the immediate irrationality of preserving one's substrate for its own sake. At this point I don't have an answer.

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-02T22:59:03.255Z · LW · GW

For any particular proposal for mind-uploading, there's probably a significant risk that it doesn't work, but I understand that to mean: there's a risk that what it produces isn't functionally equivalent to the person uploaded. Not "there's a risk that when God/Ripley is watching everyone's viewscreens from the control room, she sees that uploaded person's thoughts are on a different screen from the original."

Comment by AlephNeil on "Ray Kurzweil and Uploading: Just Say No!", Nick Agar · 2011-12-02T22:38:14.352Z · LW · GW

If the rules of this game allow one side to introduce a "small intrinsic philosophical risk" attached to mind-uploading, even though it's impossible in principle to detect whether someone has suffered 'arbitrary Searlean mind-annihiliation', then surely the other side can postulate a risk of arbitrary mind-annihilation unless we upload ourselves. (Even ignoring the familiar non-Searlean mind-annihilation that awaits us in old age.)

Perhaps a newborn mind has a half-life of only three hours before spontaneously and undetectably annihilating itself.

Comment by AlephNeil on Prisoner's Dilemma Tournament Results · 2011-09-07T17:36:50.694Z · LW · GW


Perhaps m could serve as a 'location', so that you'd be more likely to meet opponents with similar m values to your own.

Comment by AlephNeil on Prisoner's Dilemma Tournament Results · 2011-09-07T17:25:09.392Z · LW · GW

Thanks, this is all fascinating stuff.

One small suggestion: if you wanted to, there are ways you could eliminate the phenomenon of 'last round defection'. One idea would be to randomly generate the number of rounds according to an exponential distribution. This is equivalent to having, on each round, a small constant probability that this is the last round. To be honest though, the 'last round' phenomenon makes things more rather than less interesting.

Other ways to spice things up would be: to cause players to make mistakes with small probability (say a 1% chance of defecting when you try to co-operate, and vice versa); or have some probability of misremembering the past.

Comment by AlephNeil on Please do not downvote every comment or post someone has ever made as a retaliation tactic. · 2011-08-21T21:37:13.169Z · LW · GW

Conversely, when we got trolled an unspecified length of time ago, an incompetent crackpot troll who shall remain nameless kept having all his posts and comments upvoted by other trolls.

It would help if there was a restriction on how much karma one could add or subtract from a single person in a given time, as others are suggesting.

Comment by AlephNeil on Why no uniform weightings for ensemble universes? · 2011-08-01T00:39:48.831Z · LW · GW

What interests me about the Boltzmann brain (this is a bit of a tangent) is that it sharply poses the question of where the boundary of a subjective state lies. It doesn't seem that there's any part X of your mental state that couldn't be replaced by a mere "impression of X". E.g. an impression of having been to a party yesterday rather than a memory of the party. Or an impression that one is aware of two differently-coloured patches rather than the patches themselves together with their colours. Or an impression of 'difference' rather than an impression of differently coloured patches.

If we imagine "you" to be a circle drawn with magic marker around a bunch of miscellaneous odds and ends (ideas, memories etc. but perhaps also bits of the 'outside world', like the tattoos on the guy in Memento) then there seems to be no limit to how small we can draw the circle - how much of your mental state can be regarded as 'external'. But if only the 'interior' of the circle needs to be instantiated in order to have a copy of 'you', it seems like anything, no matter how random, can be regarded as a "Boltzmann brain".

Comment by AlephNeil on Why no uniform weightings for ensemble universes? · 2011-07-31T23:53:24.323Z · LW · GW

Every now and then I see a claim that if there were a uniform weighting of mathematical structures in a Tegmark-like 'verse---whatever that would mean even if we ignore the decision theoretic aspects which really can't be ignored but whatever---that would imply we should expect to find ourselves as Boltzmann mind-computations

The idea is this: Just as most N-bit binary strings have Kolmogorov complexity close to N, so most N-bit binary strings containing s as a substring have Kolmogorov complexity at least N - length(s) + K(s) - somethingsmall.

And now applying the analogy:

N-bit binary string <---> Possible universe

N-bit binary string containing substring s <---> Possible universe containing a being with 'your' subjective state. (Whatever the hell a 'subjective state' is.)

we get:

N-bit binary string containing substring s with Kolmogorov complexity >= N - length(s) + K(s) - O(1) <---> A Boltzmann brain universe.

We don't seem to be experiencing nonsensical chaos, therefore the argument concludes that a uniform weighting is inadequate and an Occamian weighting over structures is necessary

I've never seen 'the argument' finish with that conclusion. The whole point of the Boltzmann brain idea is that even though we're not experiencing nonsensical chaos, it still seems worryingly plausible that everything outside of one's instantaneous mental state is just nonsensical chaos.

What an 'Occamian' weighting buys us is not consistency with our experience of a structured universe (because a Boltzmann brain hypothesis already gives us that) but the ability to use science to decide what to believe - and thus what to do - rather than descend into a pit of nihilism and despair.

Comment by AlephNeil on How to annoy misanthropes and bleeding-hearts · 2011-07-07T22:25:17.533Z · LW · GW

Hmm, are you interpreting the results as "boo CEOs" then?

I'm only interpreting the result as "boo this fictional CEO".

How would you modify the experiment to return information closer to what was sought?

Well, what Knobe is looking for is a situation where subjects make their 'is' judgements partly on the basis of their 'ought' judgements. Abstractly, we want a 'moral proposition' X and a 'factual proposition' Y such that when a subject learns X, they tend to give higher credence to Y than when they learn ¬X. Knobe takes X = "The side-effects are harmful to the environment" and Y = "The effect on the environment was intended by the CEO".

(My objection to Knobe's interpretation of his experiment can thus be summarised: "The subjects are using Y to express a moral fact, not a 'factual fact'." After all, if you asked them to explain themselves, in one case they'd say "It wasn't intentional because (i) he didn't care about the effect on the environment, only his bottom line." In the other they'd say "it was intentional because (ii) he knew about the effect and did it anyway." But surely the subjects agree on (i) and (ii) in both cases - the only thing that's changing is the meaning of the word 'intentional', so that the subjects can pass moral judgement on the CEO.)

To answer your question: I'm not sure that genuine examples of this phenomenon exist, except when the 'factual' propositions concern the future. If Y is about a past event, then I think any subject who seems to be exhibiting the Knobe effect will quickly clarify and/or correct themselves if you point it out. (Rather like if you somehow tricked someone into saying an ungrammatical sentence and then told them the error.)

Comment by AlephNeil on How to annoy misanthropes and bleeding-hearts · 2011-07-07T18:05:47.748Z · LW · GW

Instead, the moral character of an action’s consequences also seems to influence how non-moral aspects of the action – in this case, whether someone did something intentionally or not – are judged.

Stupid Knobe effect. Obviously the subjects' responses were an attempt to pass judgement on the CEO. In one case, he deserves no praise, but in the other he does deserve blame [or so a typical subject would presumably think]. The fact that they were forced to express their judgement of moral character through the word 'intentional', which sometimes is a 'non-moral' quality of an action, doesn't tell us anything interesting.

Comment by AlephNeil on [LINK] Charlie Stross: Federov's Rapture · 2011-07-02T20:55:09.423Z · LW · GW

Merely saying it wouldn't be so bad, as long as there was some substance behind the assertion.

But basically his argument boils down to this:

"If you dunk two wooden boards with wires poked through them into soapy water and then lift them out, the soaps films between the wires are the solution to an NP-hard problem. But creating the boards and wires and dunking them can be done in polynomial time. So as long as physics is Turing computable, P = NP."

This is a fantastically stupid argument, because you could easily create a simulation of the above process that appeared to be just as good at generating the answers to this problem as the real soap films. But if you gave it a somewhat difficult problem, what would happen is that it would quickly generate something which was nearly but not quite a solution, and there's no reason to think that real soap films would do better.

The fact that Bringsjord got as far as formalising his argument in modal logic and writing it up, without even thinking of the above objection, is quite incredible.

Comment by AlephNeil on [LINK] Charlie Stross: Federov's Rapture · 2011-07-02T20:26:08.408Z · LW · GW

Yeah well, it's Selmer P = NP Bringsjord. He's a complete joke!

Comment by AlephNeil on Born rule or universal prior? · 2011-07-02T19:56:03.394Z · LW · GW

I think what mathemajician means is that if the stream of data is random (in that the bits are independent random variables each with probability 1/2 of being 1) then Solomonoff induction converges on the uniform measure with high probability (probability 1, in fact).

I'm sure you knew that already, but you don't seem to realize that it undercuts the logic behind your claim:

The universal prior implies you should say "substantially less than 1 million".

Comment by AlephNeil on Born rule or universal prior? · 2011-07-02T19:44:05.230Z · LW · GW

O(BB^-1) (or whatever it is) is still greater than O(1) though, and (as best I can reconstruct it) your argument relies on there being a constant penalty.

Comment by AlephNeil on Born rule or universal prior? · 2011-06-30T16:17:42.139Z · LW · GW

I think you're implicitly assuming that the K complexity of a hypothesis of the form "these n random bits followed by the observations predicted by H" equals n + (K-complexity of H) + O(1). Whereas actually, it's n + (K-complexity of H) + O(log(n)). (Here, the log(n) is needed to specify how long the sequence of random bits is).

So if you've observed a hugely long sequence of random bits then log(n) is getting quite large and 'switching universe' hypotheses get penalized relative to hypotheses that simply extend the random sequence.

This makes intuitive sense - what makes a 'switching universe' unparsimonious is the arbitrariness of the moment of switching.

(Btw, I thought it was a fun question to think about, and I'm always glad when this kind of thing gets discussed here.)

ETA: But it gets more complicated if the agent is allowed to use its 'subjective present moment' as a primitive term in its theories, because then we really can describe a switching universe with only a constant penalty, as long as the switch happens 'now'.

Comment by AlephNeil on When is further research needed? · 2011-06-19T05:22:42.265Z · LW · GW

The mathematical result is trivial, but its interpretation as the practical advice "obtaining further information is always good" is problematic, for the reason taw points out.

A particular agent can have wrong information, and make a poor decision as a result of combining the wrong information with the new information. Since we're assuming that the additional information is correct, I think it's reasonable to also stipulate that all previous information is correct.

Actually, I thought of that objection myself, but decided against writing it down. First of all, it's not quite right to refer to past information as 'right' or 'wrong' because information doesn't arrive in the form of propositions-whose-truth-is-assumed, but in the form of sense data.* It's better to talk about 'misleading information' rather than 'wrong information'. When adversary A tells you P, which is a lie, your information is not P but "A told me P". (Actually, it's not even that, but you get the idea.) If you don't know A is an adversary then "A told me P" is misleading, but not wrong.

Now, suppose the agent's prior has got to where it is due to the arrival of misleading information. Then relative to that prior, the agent still increases its expected utility whenever it acquires new data (ignoring taw's objection).

(On the other hand, if we're measuring expectations wrt the knowledge of some better informed agent then yes, acquiring information can decrease expected utility. This is for the same reason that, in a Gettier case, learning a new true and relevant fact (e.g. most nearby barn facades are fake) can cause you to abandon a true belief in favour of a false one.)

* Yes yes, I know statements like this are philosophically contentious, but within LW they're assumptions to work from rather than be debated.

Comment by AlephNeil on When is further research needed? · 2011-06-18T14:45:08.871Z · LW · GW

It's true for anyone who understands random variables and expectations. There's a one line proof, after all.

Comment by AlephNeil on When is further research needed? · 2011-06-18T08:26:45.557Z · LW · GW

Or in other words, the expectation of a max of some random variables is always greater or equal to the max of the expectations.

You could call this 'standard knowledge' but it's not the kind of thing one bothers to commit to memory. Rather, one immediately perceives it as true.

Comment by AlephNeil on Induction, Deduction, and the Collatz Conjecture: the Decidedly Undecidable Propositions. · 2011-06-15T23:17:48.973Z · LW · GW

What I'm really asking is, if some statement turns out to be undecidable for all of our models,

Nitpick: you don't mean "models" here, you mean "theories".

does that make that conjecture meaningless

Why should it?

or is undecidable somehow distinct from unverifiable.

Oh... you're implicitly assuming a 1920s style verificationism whereby "meaningfulness" = "verifiability". That's a very bad idea because most/all statements turn out to be 'unverifiable' - certainly all laws of physics.

As for mathematics, the word 'verifiable' applied to a mathematical statement simply means 'provable' - either that or you're using the word in a way guaranteed to cause confusion.

Or perhaps by "statement S is verifiable" what you really mean is "there exists an observation statement T such that P(T|S) is not equal to P(T|¬S)"?

Comment by AlephNeil on St. Petersburg Mugging Implies You Have Bounded Utility · 2011-06-12T03:58:59.319Z · LW · GW

You can find it here though.

Comment by AlephNeil on Identity Isn't In Specific Atoms · 2011-06-09T07:12:19.981Z · LW · GW

You don't get to infer P from Q which is probably false, and then assert P with conviction.

What if I were to put P = "there is no such thing as absolute simultaneity" and Q = "special relativity"?

Or P = "the earth orbits the sun" and Q = "Newton's theory of gravity"?

Comment by AlephNeil on St. Petersburg Mugging Implies You Have Bounded Utility · 2011-06-08T16:23:22.084Z · LW · GW

Hyperreals or some other modification to the standard framework (see discussion of "infinity shades" in Bostrom) are necessary in order to say that a 50% chance of infinite utility is better than a 1/3^^^3 chance of infinite utility.

No it isn't, unless like Hayek you think there's something 'not blindingly obvious' about the 'modification to the standard framework' that consists of stipulating that probability p of infinite utility is better than probability q of infinite utility whenever p > q.

This sort of 'move' doesn't need a name. (What does he call it? "Vector valued utilities" or something like that?) It doesn't need to have a paper written about it. It certainly shouldn't be pretended that we're somehow 'improving on' or 'fixing the flaws in' Pascal's original argument by explicitly writing this move down.

Comment by AlephNeil on St. Petersburg Mugging Implies You Have Bounded Utility · 2011-06-08T16:13:05.401Z · LW · GW

Alan Hajek's article is one of the stupidest things I've ever read, and a depressing indictment on the current state of academic philosophy. Bunch of pointless mathematical gimmicks which he only thinks are impressive because he himself barely understands them.

Comment by AlephNeil on Nature: Red, in Truth and Qualia · 2011-06-06T00:53:53.089Z · LW · GW

That may be right, but I don't see how it conflicts with my (throwaway) remark.

"Quale" works better than "qualia" because (i) it sounds more like the word "claw" and (ii) it's singular whereas 'qualia' is plural.

Comment by AlephNeil on About addition and truth · 2011-06-03T21:59:17.832Z · LW · GW

Why is the difference relevant? I honestly can't imagine how someone could be in the position of 'feeling as though 2+2=4 is either necessarily true or necessarily false' but not 'feeling as though it's necessarily true'.

(FWIW I didn't downvote you.)

Comment by AlephNeil on About addition and truth · 2011-06-03T21:44:31.010Z · LW · GW

If I say "37460225182244100253734521345623457115604427833 + 52328763514530238412154321543225430143254061105 = 8978898869677433866588884288884888725858488938" it should not immediately strike you as though I'm asserting a necessary truth that cannot possibly be otherwise.

It immediately strikes me that what you're asserting is either necessarily true or necessarily false, and whichever it is it could not be otherwise.

Comment by AlephNeil on What is/are the definition(s) of "Should"? · 2011-06-01T20:05:45.540Z · LW · GW

Nitpick 1:

It seems likely to be the optimal way to build an AI that has to communicate with other AIs.

This seems a very contentious claim. For instance, to store the relative heights of people, wouldn't it make more sense to have the virtual equivalent of a ruler with markings on it rather than the virtual equivalent of a table of sentences of the form "X is taller than Y"?

I think the best approach here is just to explicitly declare it as an assumption: 'for argument's sake' your robot uses this method. End of story.

Nitpick 2:

Because of General Relativity, when applied to the real world, it is, in fact, wrong.

This is false. General Relativity doesn't contradict the fact that space is "locally Euclidean".

Comment by AlephNeil on What is/are the definition(s) of "Should"? · 2011-06-01T19:43:36.396Z · LW · GW

He's talking about the Lewis Carroll dialog that inspired the ones in GEB. "What the tortoise said to Achilles."

The point of the dialog is that there's something irreducibly 'dynamic' about the process of logical inference. Believing "A" and "A implies B" does not compel you to believe "B". Even if you also believe "A and (A implies B) together imply B". A static 'picture' of an inference is not itself an inference.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-31T11:56:06.119Z · LW · GW

Sure, R is recursively enumerable, but S and S_I are not.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-31T11:52:40.517Z · LW · GW

The set S is the set of all total recursive functions. This is set in stone for all time. Therefore, there is only one way that S_I can refer to different things:

  1. Our stock of observational data may be different. In other words, the set I and the values of h(i) for i in I may be different.

But regardless of I and the values of h(i), it's easy to see that one cannot restrict S_I in the way you're attempting to do.

In fact, one can easily see that S_I = the set of functions of the form "if x is in I then h(x), otherwise f(x)" where f is an arbitrary recursive function.

That is, the whole "I" business is completely pointless, except (presumably) to help the reader assure themselves that the result does apply to AIXI.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-31T11:44:54.655Z · LW · GW

phi_n(k) may not halt.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-30T15:28:09.329Z · LW · GW

Goedel numbers are integers; how could anything that is enumerated by Goedel numbers not be enumerable? S_I, S, and R are all enumerable. The original paper says that R is the set of partial mu-recursive functions, which means computable functions; and the number of computable functions is enumerable.

You seem to be using 'enumerable' to mean 'countable'. (Perhaps you're confusing it with 'denumerable' which does mean countable.)

RichardKenneway means "recursively enumerable".

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-30T15:19:11.490Z · LW · GW

What I am doing is choosing the members of S_I.

You're not allowed to - de Blanc has already supplied a definition of S_I. One must either adopt his definition or be talking about something other than his result.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-30T15:09:52.776Z · LW · GW

No; the utility function is stipulated to be computable.

What Manfred is calling U(n) here corresponds to what the paper would call U(phi_n(k)).

Comment by AlephNeil on Non-axiomatic math reasoning with naive Bayes · 2011-05-30T11:17:49.844Z · LW · GW

For simplicity we can make the "naive Bayesian" assumption that they're all independent,

But then for that to work, your prior belief that x + 1 > x, for really large x, has to begin very close to 1. If there was some delta > 0 such that the prior beliefs were bounded above by 1 - delta then the infinite product would always be zero even after Bayesian updates.

How would you know to have a prior belief that reallybignumber + 1 > reallybignumber even in advance of noticing the universal generalization?

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-30T08:04:46.843Z · LW · GW

Because then you can just number your possible outcomes by integers n and set p(n) to 1/U(n) * 1/2^n, which seems too easy to have been missed.

The reason why this wouldn't work is that sometimes what you're calling "U(n)" would fail to be well defined (because some computation doesn't halt) whereas p(n) must always return something.

Comment by AlephNeil on A simple counterexample to deBlanc 2007? · 2011-05-30T07:09:59.112Z · LW · GW

Can you find any reason why this is not a counterexample?

Yes - the bit that violates de Blanc's conditions is where you say "I choose the case where the set of possible worlds consistent with observation is ...". In fact, you have to assign positive probability to every computable function whose values at points in the set I agree with known values. (Every member of S_I must be a hypothesis.)

Personally, I think it's very easy to 'oversell' de Blanc's result. It's an artifact of the weird constraint of being forced, for every n, to be able to compute a number representing "the probability of phi_n, if it turns out to be a meaningful hypothesis" even without knowing whether phi_n is a meaningful hypothesis. (E.g. "the first hypothesis whose utility (at k) is greater than [this thing which may not halt].")