Good advice for proving X, especially when you’re stuck: try to disprove X instead. Success has obvious (though depressing, if you were really hoping X were true) benefits, but there are benefits to failure also. Problems encountered while trying to disprove X are hints about how to prove X.
Try taking the other side for a while. Think about how to formalize and prove the idea that “single player decision theory does not have a solution.″
Good advice for proving X, especially when you’re stuck: try to disprove X instead. Success has obvious (though depressing, if you were really hoping X were true) benefits, but there are benefits to failure also. Problems encountered while trying to disprove X are hints about how to prove X.
Try taking the other side for a while. Think about how to formalize and prove the idea that “single player decision theory does not have a solution.″