Elektrine lite

← Feed

@yoginho@spore.social

2023-09-14 18:57 UTC

@debivort@drosophila.social @tyrell_turing@fediscience.org The only useful definition of computation that I know of is: computable functions are those that can be computed on a universal Turing machine. Church-Turing tells us that further to this, lambda calculus & recursion theory yield the same set of effectively computable functions, so there is probably something robust to the concept of "computation." Some physicists call pretty much any change "computation." I just call that change.

Replies (0)

No replies.