Thomas comments on How not to be a Naïve Computationalist - Less Wrong

29 Post author: diegocaleiro 13 April 2011 07:45PM

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

Comments (34)

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

Comment author: Thomas 14 April 2011 07:17:35AM 0 points [-]

Use the "<==". Since the second implies the first.

I am just a naïve computationalist, though.

Comment author: diegocaleiro 15 April 2011 02:49:36AM 0 points [-]

This here is a good example of how computationalist thoght may get lost sometimes, even though it was a joke. It is explanatory: The second does not imply the first, it is more awesome, it will give you more information, but not necessarily the same information. It will only be the same *for the purposes of not becoming a Naïve computationalist. The implication could get lost in context (not that the XOR couldn't)

Comment author: Perplexed 16 April 2011 05:41:56PM 4 points [-]

Speaking of thoughts getting lost ...

You are using the word XOR incorrectly. It has an accepted meaning - it is not a word that is available for you to attach a private definition to. The actual meaning of a recommendation to "do A XOR B" is "do A or do B but don't do both because whichever one you do second will undo the good effect of whichever one you did first". If the meaning you wish to convey is "do A or do B or do both (though both is not necessary)" then you should use the word OR. At least in English.

Please correct this. For some reason, it offends me far more than would a picture of Mohammed.

Comment author: Sniffnoy 17 April 2011 03:55:58AM *  6 points [-]

To expand on that point, I should also point out that that more generally "do A_1 XOR A_2 ... XOR A_n" means not "do precisely one of A_1 through A_n", but rather "do an odd number of A_1 through A_n".

Comment author: diegocaleiro 18 April 2011 05:34:39PM 0 points [-]

Ok, I need then to know what established symbol means: "do precisely one of A1 through An"

Comment author: Sniffnoy 19 April 2011 01:13:41AM 2 points [-]

"Do precisely one of A_1 through A_n". There's nothing wrong with writing things out longhand.

(Except, as Perplexed points out, I don't think that's really what you mean - would it really be such a problem to do more than one?)

Comment author: diegocaleiro 19 April 2011 05:22:28PM 0 points [-]

If the purpose is to be mininmal, yes.

http://en.wikipedia.org/wiki/Exclusive_or

"one or the other but not both." From Wikipedia.

I begin to think I was not that wrong......

Comment author: Sniffnoy 20 April 2011 06:18:40PM 1 point [-]

Your use may be technically correct but it is very misleading. If you simply say "do A or B", it's clear that doing one is sufficient so a person who wants to save effort will only do one. Specifying "xor" therefore suggests that there is some additional harm to doing both, beyond nonminimality.

Comment author: khafra 18 April 2011 05:59:40PM 0 points [-]

Do A ∈{A1, A2, ... An} ?

Although in this case, I don't think there's any harm to come from doing more than one of A1 through An; wouldn't "at least one" work better?

Comment author: diegocaleiro 18 April 2011 06:24:49PM 2 points [-]

I got that usage of 'XOR' from one of Pinker's books I believe. But given my utilitarianism, I'm postponing my knowledge so that those who suffer mohammed-level pain stop experiencing it, and using simple 'OR'