Comments by "Vitaly L" (@vitalyl1327) on "Required 5 Math Skills for Programming | Prime Reacts" video.

  1.  @redpillsatori3020  logic IS mathematics
    55
  2.  @Nxnn132  again, logic IS mathematics. More so, programming IS mathematics. You cannot do logic or programming properly until you understand thoroughly the mathematics underneath them.
    4
  3. I hope in 3. you meant homotopy type theory
    2
  4.  @isodoubIet  might be "useless" for trash code monkeys, who simply have no idea how to apply it and end up writing crap code. But for 100% of the real engineers type theory is essential.
    2
  5.  @Goodwarrior12345  so, you don't understand mathematics, and you don't understand programming. Right. Logic literally is mathematics. There is no logic outside of mathematics. And programming, as it is dealing with formal systems, also a form of mathematics and nothing else.
    1
  6.  @Goodwarrior12345  only the formal logic is relevant to programming. And formal logic is mathematics. It's closely related to fields that are essential for programming as well: proof theory, type theory, denotational and operational semantics, term rewriting (and, therefore, cellular automata, lambda calculus and Turing machines). Physics is not mathematics, it's using mathematics as a language. But programming is all about dealing with formal languages. Also, it's quite funny that you think that mathematics is about numbers.
    1
  7.  @Goodwarrior12345  "You don't really need any of it in a practical context. " - only if your "practical context" is producing bloated, crappy, ultimately useless primitive software that should have never existed in the first place. "understand how computers work" - sorry, it's mathematics. Pure and simple. "Hell, you don't even need to know what a formal language is to do good programming. " nope, those who do not understand language theory are extremely crappy programmers who should not be allowed anywhere near any serious development. "As long as you know how a CPU works and how it processes instructions, you're pretty much good to go. " and you don't know how CPU works and how it processes instructions. If you don't know what Hoare triple is, you don't understand how CPU works. " Programming is all about dealing with the CPU by using formal languages as a communication tool." you don't really understand languages. Or programming, in general. It's not a "communication tool". It's a formalism, a way to express a problem solution. The real tragedy of this industry is hordes of self-taught or ill-taught "programmers" who believe for no good reason at all that they know how to program. And it's hilarious that even their trail of failures cannot convince them they know nothing and should have never even started programming.
    1
  8.  @Goodwarrior12345  Carmack is a game developer. Pretty good at it, and he is indeed using quite a bit of mathematics in doing it (optimisation is hard), but the moment he wanders away from games he fails massively. I've had a lot of fun and WTF moments with Oculus. Someone who think math first would have avoided all those issues. And mathematics is not a science, it is a language in which you describe languages and a tool for dealing with languages. No more and no less. If you cannot use this tool, you cannot use languages propetly.
    1
  9.  @StarForgers  it is the only relevant form of logic. Aristotle won't help you to write a code free from dead locks and race conditions. Formal logic and pi-calculus will.
    1
  10.  @luckerooni1153  Lol. Aristotle logic is *formal*, and therefore it is still mathematics.
    1
  11.  @BigAggLP  the thing is, in order to be able to solve problems, to see how things are connected, you need a systematic knowledge without gaps, without patches of magical thinking. I.e., a knowledge built from the first principles all the way up. Unavoidably having a lot of mathematics in the foundation. If you don't have such a foundation, no amount of googling will save you, you won't be fit for any problem solving job.
    1
  12. ​ @BigAggLP sure, but you still need a ton of fundamental knowledge in order to be able to even start exploring those possibilities.
    1
  13.  @BigAggLP  you do not need to know everything, or even a lot. You need to know what you know systematically, without mythical thinking gaps. This is impossible without a significant amount of mathematics. Once you have such a base, it is very easy to add new knowledge.
    1
  14.  @strappedwithkrylon  I am talking about the formal logic, the one that matters.
    1
  15.  @thomassynths  are you confusing codr monkeys with programmers? All programmers need type theory
    1
  16. 1. Proof theory 2. Category theory 3. Homotopy type theory 4. Operational and denotational semantics 5. The rest of PLT, because you cannot pick just five most important bits and ignore the rest Pretty much pointless to program without all of the above.
    1
  17.  @isodoubIet  are you really that dim? Again, code monkey, you have no freaking idea of what programming is and how to do it. The most efficient programming paradigm is language-oriented programming, and good luck implementing typed eDSLs without type theory. More so, type theory is very closely linked with the proof theory. And this is essential for any decent programmer. But of course you code monkeys write dumb unit tests instead of proofs, and then you wonder why your crap code does not work.
    1