Or maybe R just looks at a single proof—the actual proof that R printing anything is impossible?
Yeah, if you want to make the bounds smaller, something like that might be the way to go. Paul Christiano described an explicit Loebian construction along these lines in an email on Apr 1, maybe you could repurpose that? I’m tired right now, so I guess I’ll stick with the overkill bound :-)
Yeah, if you want to make the bounds smaller, something like that might be the way to go. Paul Christiano described an explicit Loebian construction along these lines in an email on Apr 1, maybe you could repurpose that? I’m tired right now, so I guess I’ll stick with the overkill bound :-)