[sfn42]

I love that essay. It's such a joy to read, and even though it is very short and to the point it says so much both about the topic itself and society at large.

And its just so obviously correct.

[bazoom42]

It is not obviously correct. The unstated premise is that programming is - or should be - similar to writing mathematical proofs.

[adamddev1]

The proofs/programs (Howard/Curry) correspondance has been fairly well established I think.

[marcosdumay]

It's the requirements discovery phase that always breaks every pure mathematical treatment of software development.

(And also, like DW points, that software is way more complex. But on this case, it's the requirements discovery.)

[moi2388]

That’s because it’s not pure math, but applied math. Which also has the requirements discovery phase.

[marcosdumay]

Yes, and constructing mathematical theories is completely different from finding proofs.

[bazoom42]

It is a bit like architecture is just physics or painting is just chemistry. Technically true in some reductionist sense, but not necessarily the most useful way to think about it.

[sfn42]

No, the premise is that programming is the act of writing precise specifications, which is easier in a precise language. Similarly to mathematical proofs.

[Atlas667]

[flagged]

[f1shy]

IMHO you are going way way way to far. Far in the weeds.

[BigGreenJorts]

Nah, I think they're probably seeing warning signs. So much Djikstra's writing is pseudo intellectual pretensious word salad. Which is a shame bc he was an actual intellectual.