The valuable contribution here is not the formalisation, but the generator behind the formalisation.
I disagree; the “core idea” I’d already thought of before seeing the post, but the valuable contribution to me was seeing why the core idea has to be true and how it works mechanically, rather than being just a plausible-seeming sentence. Technical explanation vs. verbal explanation.
I don’t necessarily see that as a verses. A good verbal explanation can provide enough information for you to simulate a formal model in your head. And obviously it’ll never be as reliable as working through a formal description step by step, but often that level of reliability isn’t required.
I disagree; the “core idea” I’d already thought of before seeing the post, but the valuable contribution to me was seeing why the core idea has to be true and how it works mechanically, rather than being just a plausible-seeming sentence. Technical explanation vs. verbal explanation.
I don’t necessarily see that as a verses. A good verbal explanation can provide enough information for you to simulate a formal model in your head. And obviously it’ll never be as reliable as working through a formal description step by step, but often that level of reliability isn’t required.