|
|
|
|
|
|
by goodbyesf
1083 days ago
|
|
|
> The fact that the abstraction "logical circuits" is much closer to actual computers than any "mathematical" or "functional" abstraction casts doubt on this claim. But 'logical circuits' are abstracted using symbolic logic and boolean algebra which are mathematical disciplines. It's still math. Also, computer science doesn't necessarily mean computers as we know it today. A 'computer' in computer science is something that can process 'computable numbers'. For example, in Turing's paper, he imagine a person ( computer ) 'doing math' with a pen and paper. |
|
|
Whether logic itself counts as math or something separate from it is contentious. If you do count logic as math, assume I was talking about the rest of mathematics excluding logic.
> Also, computer science doesn't necessarily mean computers as we know it today. A 'computer' in computer science is something that can process 'computable numbers'. For example, in Turing's paper, he imagine a person ( computer ) 'doing math' with a pen and paper.
Yeah, but persons are the opposite of simple and primitive.