Those "stupid computations" comprise the bulk of useful work in the world. If one learns enough to do that, there may be no reason to go further. You're proving my point about the pretentiousness of insisting on the theory when one doesn't need it.
Nothing in your comment makes me want to go learn more theory, and I would argue that it's nonsense to anyone who is not a mathematician.
Imagine arguing that the only way to understand or appreciate basic set logic is to know all about infinite sets and ZF axioms... Most people, even mathematicians, will not understand all of that and have only heard about it in the most basics if at all.
A similar phenomenon happens with philosophy. Imagine arguing that simple logic is "stupid" and that one can only reason well if they have a total understanding of epistemology. I happen to think epistemology matters, and that people can benefit from at least being aware of it, but it is really a separate topic from actual mechanical logic and argumentation.
Nothing in your comment makes me want to go learn more theory, and I would argue that it's nonsense to anyone who is not a mathematician.
Imagine arguing that the only way to understand or appreciate basic set logic is to know all about infinite sets and ZF axioms... Most people, even mathematicians, will not understand all of that and have only heard about it in the most basics if at all.
A similar phenomenon happens with philosophy. Imagine arguing that simple logic is "stupid" and that one can only reason well if they have a total understanding of epistemology. I happen to think epistemology matters, and that people can benefit from at least being aware of it, but it is really a separate topic from actual mechanical logic and argumentation.