←back to thread

Is life a form of computation?

(thereader.mitpress.mit.edu)
222 points redeemed | 1 comments | | HN request time: 0.207s | source
Show context
eig ◴[] No.45354099[source]
I'm not too impressed with this article since it doesn't really give a definition for computing, just picks a few similarities between what we see as computing (in the practical sense) and what cells do.

It's a shame because there *has* been a lot of deep work done on what kind of computer life is. People often use the Chomsky Hierarchy (https://en.wikipedia.org/wiki/Chomsky_hierarchy) to define the different types of computer vs automata. Importantly, a classical Turing machine is Type-0 on the Chomsky Hierarchy. Depending on what parts you include from a biological system, you could argue it's anywhere from Type-0 to Type-4.

Interestingly, the PhD thesis of well-known geneticist Aviv Regev was to show that certain combinations of enzymes with chemical concentration states are enough to emulate pi-calculus, and therefore are Turing machines! https://psb.stanford.edu/psb-online/proceedings/psb01/regev....

replies(2): >>45354396 #>>45377065 #
1. AfterHIA ◴[] No.45354396[source]
This is the kind of evolved computer science that was going on when I was a teenager. Have an upvote eig!

My addition: it's funny for how much speculation we get in the, "hard cognitive science" (RIP) that in lieu of the big insights we get from Godel, Turing, Russell that many/most undergraduates and even post-graduates still haven't internalized Wittgenstein's work especially the Tractatus. I feel like it gets us to, "the questions you're asking about how life works and the questions about what is at the core of logic and mathematics (language) are definitely related but not in any of the fundamental ways you hope they are..."

For the uninitiated-- try reading the thing in one sitting. It takes about an hour:

https://wittgensteinproject.org/w/index.php/Tractatus_Logico...