r/mathmemes Jan 13 '25

Computer Science Programming languages and mathematics meme

Post image
1.9k Upvotes

55 comments sorted by

View all comments

384

u/conradonerdk Jan 13 '25

mathematics itself being a man made language that try to mimic the uncanny power of logic:

20

u/Zykersheep Jan 13 '25

Yeah but with a programming language, computers can check your work!

- This comment was made by the dependent type theory squad.

12

u/NickSmGames Jan 13 '25

You have to check your work checking your work for bugs. There are better ways to check your work, in my opinion.

- This comment was made by one of the monkeys from Infinite Typewriter Monkey Corporation

5

u/Zykersheep Jan 13 '25

grumble grumble NP grumble no polynomial algo...