Immediate reaction to this is: "Yeah but math is deliberately abstract and divorced from what it may or may not represent, programming languages are largely about making the text you write closer to and less divorced from what it represents. Very different."https://twitter.com/wcrichton/status/1063819276790853632 …
Can you give an example of where that deliberate separation is good? I'm not following the logic.
-
-
Is a Turing machine a computer? No, it's an abstract concept that happens to represent a computer well. It's good that we call it a Turing machine, not a computer, so the abstraction is free to apply to other things, and we can talk about things like NDTs that don't exist.
-
But my point is a pure-masthematicsy philosophical one, I'm not totally convinced it's an amazing argument and I think there are probably things in math where the world would be a better place if they had more practical names.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
cognitive psychology. PhD