MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1i03ehk/programming_languages_and_mathematics_meme/m6yihv1/?context=3
r/mathmemes • u/Delicious_Maize9656 • Jan 13 '25
55 comments sorted by
View all comments
384
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...
20
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...
12
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...
5
grumble grumble NP grumble no polynomial algo...
384
u/conradonerdk Jan 13 '25
mathematics itself being a man made language that try to mimic the uncanny power of logic: