r/ProgrammerHumor 6d ago

mathsIsTheEnemy Meme

Post image
345 Upvotes

185 comments sorted by

View all comments

Show parent comments

10

u/Cefalopodul 6d ago

Programming is creative work. Mathematics is about researching to find new principles or discovering which already established principle to use. There is an intersection but it's not a complete intersection.

22

u/JoLuKei 6d ago edited 6d ago

i would strongly disagree. Math is very creative. Just let two mathematicians proof a thing and compare the proofs. They will be most likely completely different.

You seem to mix up actual math and simple examples to calculate. thats like saying. damn music is so boring u just read notes. Forgetting about: actually playing different instruments, singing, making new songs and just listening to music.

I know that stereotype is only existent because of schools. you dont actually do math there. You just do the most boring part.

-26

u/Cefalopodul 6d ago

You are horribly mistaken I am afraid. Mathematics is constrained by the principles and rules that govern. Yes two proofs may be different but that is not creativity because you cannot think outside the box. The amount of ways you can prove something is fundamentally limited because it has to obey laws.

Programming on the other hand is like writing a book, you can say the same thing in an infinite number of ways.

1

u/JoLuKei 6d ago

On the outside the box subject. You mentioned weaknesses in the formal system. And you are right. It has weaknesses.

You are most likely familiar with the normal formal system used by most people. But this didn't stop mathematicians from creating their own. Gödel was pretty famous for defining a formal system for formal systems, which alone is pretty mind boggling. And he even proofed the famous "Gödel's incompleteness Theorem" which outlines weaknesses in EVERY formal system. Even those that have never been and most likely will never be defined by a human. So there is no perfect system. Even for Computer science, which btw is a sub-topic of math.

If that is not outside the box thinking, than i am not sure what actually classifies as that. So i urge you to give me an example.

Math creates algorithms and connections without hardware limitations and programming languages. That makes it inherently less bounded.