3 ms·

He has written and spoken a number of time about the need for more mathematical (which I think would include logic and metalogic) education and thinking in CS

by lokar 2y ago

He has written and spoken a number of time about the need for more mathematical (which I think would include logic and metalogic) education and thinking in CS If all programmers/ software engineers had a reasonable level of mathematical formalism (could understand and write proofs), and some amount of formal logic, that would be much better. I think that is his position Also, understand this is coming from one of the most prominent living people in the field. People ask him for his opinion about this stuff, so he shares it.

mattmanser 2y ago
In reality that is a waterfall process disguised as programming advice. What that is saying is that if only you really specified in a clear technical language the code, you wouldn't need to write much of it. It's like his version of UML. But it all boils down to what we know doesn't work, a waterfall development process. But worse still, it's a waterfall process where no-one outside a small clique, those who can speak the special language, can join in the design process.