What simplification strategies would you suggest? Obviously it would be a good thing to have better strategies for freeing up more computation for what matters; it’s just been my experience that “scope” type behavior is what manages to free up the most computation.
Less abstraction. Less indirection. More examples. Way more examples. Way more attention paid to whether you can think of good examples. More concreteness. Extensions over intensions.
That’s just off the top of my head. This particular cluster of problems is huge, in recent rational-sphere discourse. There are others, no doubt.
Less abstraction. Less indirection. More examples. Way more examples. Way more attention paid to whether you can think of good examples. More concreteness. Extensions over intensions.
That’s just off the top of my head. This particular cluster of problems is huge, in recent rational-sphere discourse. There are others, no doubt.