4 ms·
I don't but that. In the same spirit, are you telling me that you solve math problems without using any mathematical notation because it doesn't offer any impro
by soraminazuki 1y ago
I don't but that. In the same spirit, are you telling me that you solve math problems without using any mathematical notation because it doesn't offer any improvement over natural language?
- pxc 1y agoI had a logic textbook in college where all the proofs were just prose with very little notation. It was okay. But it felt like it took a lot more effort to process than denser, more specialized notation!
- dragonwriter 1y ago> In the same spirit, are you telling me that you solve math problems without using any mathematical notation because it doesn't offer any improvement over natural language? That’s not in the same spirit, and I didn’t say either that programming languages don’t solve any problem, or that there aren’t tools that do solve the problem it was suggested that programming language solve where it exists, which isn't (except maybe since the advent of LLMs) between human and computer.