Procrastinating on writing up a decision theory post (which is about 1.5 months late now) and figuring out what’s relevant for agents with provability oracles to be able to solve PD, by instead mostly studying math.
Procrastinating on writing up a decision theory post (which is about 1.5 months late now) and figuring out what’s relevant for agents with provability oracles to be able to solve PD, by instead mostly studying math.