Jeepers. I haven’t thought about this problem for a long time. Thanks.
The answer that occurs to me for the original puzzle is that Yudkowsky never proved (◻(2 = 1) → (2 = 1)). I don’t know it that is actually the answer, but I really need to go do other work and stop thinking about this problem.
Jeepers. I haven’t thought about this problem for a long time. Thanks.
The answer that occurs to me for the original puzzle is that Yudkowsky never proved (◻(2 = 1) → (2 = 1)). I don’t know it that is actually the answer, but I really need to go do other work and stop thinking about this problem.