Eliezer_Yudkowsky comments on You cannot be mistaken about (not) wanting to wirehead - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (79)
How about if X is a set of assertions that logical tautologies are true:
http://en.wikipedia.org/wiki/Tautology_(logic)
http://en.wikipedia.org/wiki/Tautology(logic)#Definitionand_examples
An example along similar lines to this post would be: you can't be wrong about thinking you are thinking about X - if you are thinking about X.
http://www.spaceandgames.com/?p=27
Now that is a overconfidence/independent statements anecdote I'll remember. The '7 is prime probability 1' part too.
Nah, these are not "independent" statements, they are all much the same:
They are "I want X" statements.