I now agree with your sentiment here and don’t think my request when I made that comment was very sensible. It does seem like going from an informal / not-fully-specified argument to a fully specified argument is extremely difficult and unlikely to be worth the effort in convincing people who would already be convinced by extremely sensible but not fully formalized arguments.
It does seem to me that a toy model that is not fully specified is still a big deal when it comes to progress in communicating what is going on though.
I might look into the linked post again in more detail and seriously consider it and wrap my head around it. Thanks for this comment.
I now agree with your sentiment here and don’t think my request when I made that comment was very sensible. It does seem like going from an informal / not-fully-specified argument to a fully specified argument is extremely difficult and unlikely to be worth the effort in convincing people who would already be convinced by extremely sensible but not fully formalized arguments.
It does seem to me that a toy model that is not fully specified is still a big deal when it comes to progress in communicating what is going on though.
I might look into the linked post again in more detail and seriously consider it and wrap my head around it. Thanks for this comment.
Thanks for coming back on this. Just saw your comment, and am agreeing with your thoughtful points.
Let me also DM you the edited transcript of the conversation with Anders Sandberg.