4 ms·
As-is, CS really is much closer to a branch of mathematics than a science.
by alecbenzer 9y ago
As-is, CS really is much closer to a branch of mathematics than a science.
- andrewflnr 9y agoEh, in a similar way to how theoretical physics is mostly math. Math is the tool you're using, but the assumptions are all based on real-world observations.
- alecbenzer 9y agoI don't know about that; real world observations like what?
- andrewflnr 9y agoLike observations of what can and can't be computed by physical objects. The point of the Church-Turing thesis is that things you prove about Turing machines are proofs about what you can compute in the real world, not just some abstract mathematical model.