Dmytry comments on On accepting an argument if you have limited computational power. - Less Wrong

22 Post author: Dmytry 11 January 2012 05:07PM

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

Comments (85)

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

Comment author: shminux 12 January 2012 12:38:26AM -1 points [-]

I can't rely on myself to falsify such stuff reliably.

You don't need to, as they would most likely be unable to simulate an amoeba, so you can call their bluff right there.

Comment author: Dmytry 12 January 2012 08:48:03PM 1 point [-]

The issue with pascal's mugging is that the refusal to simulate amoeba only decreases the probability of validity of the claim by a constant factor, and the mugger can stack more uparrows. Suppose that one in ten thousands superbeings refuses to demonstrate to you the simulated amoeba despite being capable of doing so.

Also, what if it simulated amoeba but claims it'll torture 3^^^^^3 humans? I can falsify the latter part because there can not be this many distinct human mind states, but only after taking a lot of time to think about the claim.

Comment author: TheOtherDave 12 January 2012 09:22:26PM 1 point [-]

It seems reasonable to me that my confidence that the mugger can do what it claims to should be inversely proportional to the discrepancy between what the mugger claims and what the mugger is willing to demonstrate. Why do you say it should be a constant factor?

Comment author: Dmytry 13 January 2012 12:40:18AM *  0 points [-]

What if one in ten thousands genuine super-beings is not a nice guy and refuses to demonstrate you stuff? The refusal is only linked to ability for those unable to demonstrate, or those barely able to demonstrate. If you mail world's top mathematicians a question what is 2*3+4 , very few will write you back; you may actually get higher willingness to 'demonstrate' ability to multiply and add from the elementary school kids.

Comment author: TheOtherDave 13 January 2012 01:37:44AM 0 points [-]

True. OTOH, very few of them will approach me with a "mathematician's mugging," either.

Comment author: fubarobfusco 13 January 2012 12:28:52AM -1 points [-]

Agreed. Humans already implement this: if someone keeps making bigger and bigger unproven claims, eventually they get a reputation as a braggart and a liar, and their claims don't count for anything.