Ciro Santilli
πŸ”—

Computer science | πŸ—– nosplit | ↑ parent "Computer" | 223, 61, 2k

πŸ”—
A branch of mathematics that attempts to prove stuff about computers.
πŸ”—
Unfortunately, all software engineers already know the answer to the useful theorems though (except perhaps notably for cryptography, e.g. all programmers obviously know P != NP or that this is unprovable or some other "for all practical purposes practice P != NP", even though they don't have proof.
πŸ”—
And 99% of their time, software engineers are not dealing with mathematically formulatable problems anyways, which is sad.
πŸ”—
The only useful "computer science" subset every programmer ever needs to know is:
πŸ”—
Funnily, due to the formalization of Mathematics, mathematics can be seen as a branch of computer science, just like computer science can be seen as a branch of Mathematics!
πŸ”—
πŸ”—