2 ms·
> Syntax rigour has almost nothing to do with correctness. Yes, that's the point. You did miss it.
by barrkel 3y ago
> Syntax rigour has almost nothing to do with correctness.
Yes, that's the point. You did miss it.
- rq1 3y agoAnd yet I didn’t miss it. I insist. You need more rigour to prove let’s say Beppo Levy theorem than writing a moderately complex piece of software. Yet you can write it in crappy English, the medium not being the target goal, the ideation process even poorly transcribed in English needs to be perfectly rigorous. Otherwise, you proved nothing.