2023-09-12 23:31 UTC
@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.
Replies (1)
-
@madhadron@social.coop 2023-09-12 23:33
@tyrell_turing@fediscience.org @NicoleCRust@neuromatch.social (2/N) Counterexample: a cofunction that receives some other cofunction in its codata and replaces itself with that. There is no corresponding function. Given that brains learn behavior from the outside world, I am inclined to think that functions are insufficient. It's possible that cofunctions over codata are a useful way to model brain activity, but computable functions aren't the right tool.