Why has MIRI focused so much on mathematical logic?1 min readWe don't have an answer for this question yet. Would you like to write one? What is embedded agency?MIRI