Term rewriting is one of those computer science / logic things that always ALMOST makes sense to me. They’re algorithms, so it’s step-by-step – and I ‘get’ step-by-step – but I can never visualize it in my head as the symbols all become mental jumbles. Always in the “almost got it but no” category, which is ok. It’s a good reminder of my limitations and to always keep striving where I can, even if there’s places I perpetually can’t.

Term rewriting is one of those computer science / logic things that always ALMOST makes sense to me. They’re algorithms, so it’s step-by-step – and I ‘get’ step-by-step – but I can never visualize it in my head as the symbols all become mental jumbles.
 
Always in the “almost got it but no” category, which is ok. It’s a good reminder of my limitations and to always keep striving where I can, even if there’s places I perpetually can’t.

Leave a comment

Your email address will not be published. Required fields are marked *


4 + = nine

Leave a Reply