/sci/ - Science & Math

>>9075881
In my opinion there are two ways to interpret this and neither is satisfactory for your side:

First way: Dijkstra is inorganically agrandizing his own achievements in computer science a la Wolfram, which just makes him an asshole because from this perspective, his statement lacks taste and maturity. Therefore, this makes you someone who supports assholes and this does not reflect well on you or Dijkstra

Second way (and I'm quoting someone else here): As he one mentioned how debugging a program cannot prove that it program works, only that it doesn't perhaps he is alluding to the fact that in an applying setting being able to prove that your results are correct is much harder compared to how things are proven in mathematics. In mathematics most of the time proof is trivial. If you read a proof and cannot find a single mistake, then it is right, literally by definition. Computer scientists (or at least computer scientists like Dijkstra, if you are a lowly code monkey then please do not compare to him) do not have this luxury.

And if we assume this is what he meant then again this reflects badly on you because you are weaponizing what is merely a harmless comment and that makes you pretty retarded.

>>9075881
at least I'm not dead

>>9075921
>In mathematics most of the time proof is trivial
Prove BCD conjecture then.

>>9075881
>a professor of mathematics

whatever

>>9076105
>BCD conjecture
Do you mean BSD?

>>9075881
>most difficult branches of applied mathematics
Well it's basically only discrete applied mathematics where details of theorems need only be minimally understood. I suppose if you want to invent something novel and valuable, there may be difficulty, but that is true of any field.

>>9076131
No. The famous Binary Coded Decimal conjecture, obviously.

>>9076130
He's a physicist.

yet my resident evil 6 works fine and i bet it doesn't have a proof of correctness. dijstra btfo.

>>9076275
Well, that's because Japanese are smarter than ordinary people.

>>9076131
No, bcd conjecture is more general formulation of abc conjecture

Guize this stuff is sooo hard like me more plz. Coding is tedious unfun horribly trivial waste of time that still somehow grabs the attention of bright minds.. It's difficult because it's just sucky as all hell but that's enough to lure in the nerds. It's like setting the difficulty of a given task arbitrarily high especially for doing certain things in certain languages. It would make more sense to focus on reducing the difficulty

>>9076370
Assembly programming is fun

>>9076230
>He's a physicist.
disgusting

>>9075881
>'I don't know how many of you have ever met Dijkstra, but you probably know that arrogance in computer science is measured in nano-Dijkstras.'
Meme """scientists""" BTFO