Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Computer science

| 🗖 nosplit | ↑ parent "Computer" | words: 260 | descendant words: 3k | descendants: 77
🔗
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!
🔗
🔗

Ancestors

🔗