Esar comments on Rationality Quotes August 2012 - Less Wrong

6 Post author: Alejandro1 03 August 2012 03:33PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (426)

You are viewing a single comment's thread. Show more comments above.

Comment author: [deleted] 20 August 2012 07:34:37PM *  5 points [-]

I do care about everything that exists.

I think I care about almost nothing that exists, and that seems like too big a disagreement. It's fair to assume that I'm the one being irrational, so can you explain to me why one should care about everything?

Comment author: Eliezer_Yudkowsky 21 August 2012 06:18:03AM 11 points [-]

All righty; I run my utility function over everything that exists. On most of the existing things in the modern universe, it outputs 'don't care', like for dirt. However, so long as a person exists anywhere, in this universe or somewhere else, my utility function cares about them. I have no idea what it means for something to exist, or why some things exist more than others; but our universe is so suspiciously simple and regular relative to all imaginable universes that I'm pretty sure that universes with simple laws or uniform laws exist more than universes with complicated laws with lots of exceptions in them, which is why I don't expect to sprout wings and fly away. Supposing that all possible universes 'exist' with some weighting by simplicity or requirement of uniformity, does not make me feel less fundamentally confused about all this; and therefore I'm not sure that it is true, although it does seem very plausible.

Comment author: [deleted] 21 August 2012 06:30:12AM *  9 points [-]

Don’t forget.
Always, somewhere,
somebody cares about you.
As long as you simulate him,
you are not valueless.

Comment author: fubarobfusco 21 August 2012 06:52:52PM 1 point [-]

The moral value of imaginary friends?

Comment author: MichaelHoward 21 August 2012 08:21:18PM 1 point [-]

I notice that I am meta-confused...

Supposing that all possible universes 'exist' with some weighting by simplicity or requirement of uniformity, does not make me feel less fundamentally confused about all this;

Shouldn't we strongly expect this weighting, by Solomonoff induction?

Comment author: [deleted] 21 August 2012 10:09:44PM 3 points [-]

Probability is not obviously amount of existence.

Comment author: [deleted] 21 August 2012 09:36:46AM *  1 point [-]

our universe is so suspiciously simple and regular relative to all imaginable universes

(Assuming you mean “all imaginable universes with self-aware observers in them”.)

Not completely sure about that, even Conway's Game of Life is Turing-complete after all. (But then, it only generates self-aware observers under very complicated starting conditions. We should sum the complexity of the rules and the complexity of the starting conditions, and if we trust Penrose and Hawking about this, the starting conditions of this universe were terrifically simple.)

Comment author: Strange7 22 August 2012 12:18:26AM -1 points [-]

On most of the existing things in the modern universe, it outputs 'don't care', like for dirt.

What do you mean, you don't care about dirt? I care about dirt! Dirt is where we get most of our food, and humans need food to live. Maybe interstellar hydrogen would be a better example of something you're indifferent to? 10^17 kg of interstellar hydrogen disappearing would be an inconsequential flicker if we noticed it at all, whereas the loss of an equal mass of arable soil would be an extinction-level event.

Comment author: Eliezer_Yudkowsky 22 August 2012 01:47:09AM 9 points [-]

I care about the future consequences of dirt, but not the dirt itself.

(For the love of Belldandy, you people...)

Comment author: ArisKatsaris 22 August 2012 12:23:26AM 3 points [-]

What do you mean, you don't care about dirt?

He means that he doesn't care about dirt for its own sake (e.g. like he cares about other sentient beings for their own sakes).

Comment author: Strange7 22 August 2012 12:32:30AM 0 points [-]

Yes, and I'm arguing that it has instrumental value anyway. A well-thought-out utility function should reflect that sort of thing.

Comment author: earthwormchuck163 22 August 2012 03:35:16AM 2 points [-]

Instrumental values are just subgoals that appear when you form plans to achieve your terminal values. They aren't supposed to be reflected in your utility function. That is a type error plain and simple.

Comment author: [deleted] 22 August 2012 09:58:11AM 1 point [-]

For agents with bounded computational resources, I'm not sure that's the case. I don't terminally value money at all, but I pretend I do as a computational approximation because it'd be too expensive for me to run an expected utility calculation over all things I could possibly buy whenever I'm consider gaining or losing money in exchange for something else.

Comment author: earthwormchuck163 22 August 2012 09:23:20PM 2 points [-]

I thought that was what I just said...

Comment author: [deleted] 22 August 2012 10:39:04PM *  1 point [-]

An approximation is not necessarily a type error.

Comment author: earthwormchuck163 23 August 2012 01:05:56AM 2 points [-]

No, but mistaking your approximation for the thing you are approximating is.

Comment author: [deleted] 23 August 2012 12:05:45AM 2 points [-]

That one is. Instrumental values do not go in utility function. You use instrumental values to shortcut complex utility calculations, but utility calculating shortcut != component of utility function.

Comment author: [deleted] 20 August 2012 10:09:24PM *  3 points [-]

Try tabooing exist: you might find out that you actually disagree on fewer things than you expect. (I strongly suspect that the only real differences between the four possibilities in this is labels -- the way once in a while people come up with new solutions to Einstein's field equations only to later find out they were just already-known solutions with an unusual coordinate system.)

Comment author: ArisKatsaris 21 August 2012 10:18:59PM *  1 point [-]

Try tabooing exist

I've not yet found a good way to do that. Do you have one?

Comment author: [deleted] 22 August 2012 12:47:50AM 0 points [-]

"Be in this universe"(1) vs "be mathematically possible" should cover most cases, though other times it might not quite match either of those and be much harder to explain.

  1. "This universe" being defined as everything that could interact with the speaker, or with something that could interacted with the speaker, etc. ad infinitum.
Comment author: ArisKatsaris 22 August 2012 01:09:12AM *  0 points [-]

Defining 'existence' by using 'interaction' (or worse yet the possibility of interaction) seems to me to be trying to define something fundamental by using something non-fundamental.

As for "mathematical possibility", that's generally not what most people mean by existence -- unless Tegmark IV is proven or assumed to be true, I don't think we can therefore taboo it in this manner...

Comment author: [deleted] 22 August 2012 09:48:43AM 1 point [-]

Defining 'existence' by using 'interaction' (or worse yet the possibility of interaction) seems to me to be trying to define something fundamental by using something non-fundamental.

I'm not claiming they're ultimate definitions --after all any definition must be grounded in something else-- but at least they disambiguate which meaning is meant, the way “acoustic wave” and “auditory sensation” disambiguate “sound” in the tree-in-a-forest problem. For a real-world example of such a confusion, see this, where people were talking at cross-purposes because by “no explanation exists for X” one meant ‘no explanation for X exists written down anywhere’ and another meant ‘no explanation for X exists in the space of all possible strings’.

As for "mathematical possibility", that's generally not what most people mean by existence -- unless Tegmark IV is proven or assumed to be true, I don't think we can therefore taboo it in this manner...

Sentences such as “there exist infinitely many prime numbers” don't sound that unusual to me.

Comment author: [deleted] 20 August 2012 10:37:10PM -1 points [-]

Try tabooing exist: you might find out that you actually disagree on fewer things than you expect.

That's way too complicated (and as for tabooing 'exist', I'll believe it when I see it). Here's what I mean: I see a dog outside right now. One of the things in that dog is a cup or so of urine. I don't care about that urine at all. Not one tiny little bit. Heck, I don't even care about that dog, much less all the other dogs, and the urine that is in them. That's a lot of things! And I don't care about any of it. I assume Eliezer doesn't care about the dog urine in that dog either. It would be weird if he did. But it's in the 'everything' bucket, so...I probably misunderstood him?