@tyrell_turing@fediscience.org
2023-09-12 18:46 UTC
@madhadron@social.coop @NicoleCRust@neuromatch.social
That's an incorrect (though very common!) interpretation of the ideas from computer science.
The definition of a computable function is merely a function that a Turing machine will halt on with the correct answer. But, if you want, you could run such a function online with some system.
For example, I could have a system constantly in real time multiplying the current temperature outside by 4. That doesn't make multiplying by 4 a non-computable function.
Replies (1)
-
@madhadron@social.coop 2023-09-12 23:31
@tyrell_turing@fediscience.org @NicoleCRust@neuromatch.social I'm afraid this will get long, so (1/N). This is something we dealt with a lot in the functional programming community. Functions act on data. Data is fixed and fully defined at the start. Online systems are described by cofunctions acting on codata. You're asserting that every cofunction has a corresponding function under some kind of mapping. That is not true.