As expected, the article does a better job in setting aside this line of reasoning[1]. What you are really measuring is how information is persisted over time, and over the "background noise" of environment. They specifically talk about viruses at a point, and the usual odd distinction of them being not quite living creatures. When they are found sitting outside their hosts, it is very hard to point out if they actually carry information over time.
[1] Disclaimer: I have just skim-read it.
As far as I know, all uses of information-theorical approaches outside of its original scope also involve a scenario where an observer is originally unable to formulate a model that allow them to draw conclusions from alleged discrepancies. This paper is just one more example of that.
This somehow reminded me of the following quote by Bertrand Russell. “Physics is mathematical not because we know so much about the physical world, but because we know so little; it is only its mathematical properties that we can discover.”
There are several interviews in which he mentioned that the understanding of how the human brain works was one of his main inquiries. His work on AI and the Theseus. And the seminal paper on information theory contains a section in which a fidelity evaluation function is defined with relation to the human ear and brain.
You make it look like I am saying there is a mystical property of the human brain that backs the validity of information theory, an assertion that has no resemblance at all which what I am attempting to express, and sits in the same category the ones I am trying to debate against do.
What I am trying to say is that there is no meaning in a teleological interpretation of information theory. Things like “the purpose of living organisms is to propagate information” contradict information theory because there is no such a concept as absolute information, you always define it on mutual terms.
This is true of classical information theory, but not (as I understand it) algorithmic information theory. I think the jury is still out on whether it makes philosophical sense to generalize over universal machines like AIT does, and the practical applications compared to classical information theory seem minimal, from a layman's view it seems like it's been mathematically very fruitful.
It is a common mistake to conflate information and entropy. A bad analogy to mechanics is that the outputs of an entropy source are the frame of reference, the signal is a body and information might be whatever property you wish to analyze, such as velocity or acceleration.
Again, this is correct for classical information theory which requires some frame of reference for "likelihood". But AIT claims a "global frame" over the minimal representation in all universal machines, the particular choice of machine being at worst constant overhead.
You can argue, I think somewhat plausibly, that this frame is still an (inter)subjective frame rather than an objective, absolute one. But if we assume C-T (and we virtually always do), that argument is pretty weak - any other definable frame becomes formally "worse" in that it becomes "merely" a specific case of the universal one.
My point is that if I ask you, “given a bit sequence A, is it an optimal program?”, your answer would probably be: “I cannot even say if this represents a computable function and, also, is it an optimal program compared to what?”. You must establish a frame of reference such as the Kolmogorov complexity of a given program.
> Kolmogorov complexity of a given program.
You seem fundamentally confused about the objects of study of information theory. They're not programs, they're e.g. strings of symbols. We measure by the information content of those strings based on likelihood / programs. Information theory asks "given some bit sequence A, how much information is in it?" not "is it an optimal program?" - instead we measure the information in it by constructing or otherwise proving facts about programs that generate or predict it. We talk about Kolmogorov complexity of strings (/ signals / states / whatever) as measured by programs, not Kolmogorov complexity of programs themselves.
Obviously programs are also themselves representable strings of symbols, and this is why we find the usual suspects of self-reference paradoxes in IT. But that doesn't mean the measure does not exist, or that it's not possible to find in lots of interesting, easily-computable cases. It's a bit like handing me a ruler and asking me how long it is - sure, if I don't trust any ruler I'll have a hard time measuring it. But I don't have to trust that specific ruler to do so, and the fact it's a device used for measuring itself is completely incidental to my measuring of it.
It is hard to argue against your slightly condescending remark if my comment is not accurate, which is still up to debate. I am sure I could not observe all due formalities even if I tried. But please understand that my comment was written taking into consideration your previous comment, by which I mean:
- You mentioned that the overall approach in Algorithmic Information Theory is to assume Church-Turing thesis as valid. My understanding is that having a standard representation of data is one among the various accidental benefits of that---raw data could pretty well be represented by a Turing machine itself, as well as any other program representation that could generate it as long as it is a computable function. Notice that, in this scenario, talking about the Kolmogorov complexity of a program is valid, as strings of raw data are also represented as programs.
- The "is it an optimal program?" question was a rhetorical device which apparently did not work well, even due to the fact that I did not define what "optimal" meant in this context---I thought it was given. But I can't understand how you came to the conclusion that I was defining the subject of study of Algorithmic Information Theory there.
I would say, first, that I need a definition for absolute information, as I have been insisting that information is defined on mutual terms. If we move past that, though, information about the spin state is unclear before measurement.
Much like anything under evolutionary pressure, the viruses that propagate are the ones that do manage (in their normal environment) to keep entropy across time from exploding. Are they "alive"? Meh. In combination with their environment, they act like it though.
One such idea -- Do Good Onto Others As Others Do Unto You -- is an example of an extremely powerful and resilient idea which lives and operates in the brains of billions of individuals. It is powerful enough to ward off weaker ideas and has lived a long time without much modification to its original essence.
With that out of the way... I felt it was necessary to reduce agency to ability to use internal energy in order to put oneself in a higher energy state in the external world. This can be observed externally. I am standing next to a rock. I can jump up, spending some of my energy, and fighting against the potential energy well of gravity. I've increased my external energy state at the expense of some of my internal energy. Thus, a living being needs a way to store and use energy. You can observe this externally and conclude that I am alive, while the rock is either dead or inactive.
I consider such an act of "living" motion which can take another path than that of least resistance to be a "kin". In other words, any motion which is the result of a physical calculation (Zodeaism is compatible with determinism) and leads to an increase in external energy state. A kin is any such motion, large or small.
So now the problem becomes, what is the smallest kin we've observed in nature? Single-celled bacteria can expend energy in order to move through their environment against forces like friction and gravity, but a virus "rides the waves" if you will, never expending energy for things like respiration or locomotion. Any energy which is spent internally is potential energy like chemical or gravitational, released through a physical process without need for computation. I am unaware of anything smaller than a single-celled organism which produces such kins, but that doesn't mean they aren't out there. Even ethereal life forms such as ideas can produce these kins within the bodies of countless individuals across the planet, so physically local computational circuitry isn't a hard requirement.
So, according to this framework viruses aren't alive, however we can make the case that some machines are, except the experience is incomparable because of the advanced circuitry we contain which mediates our experience through things like emotion.
What do you think of his free energy principle and related concepts?
viruses are entirely passive in their action. they're exquisitely complex structures (for what they are) existing entirely by chance that happen to have the property of self-replicating in the presence of the right cellular machinery. they don't decide to do anything, they just are, and therefore don't have agency.
I also think this is a weakness of the original article: a lot of things we probably shouldn't consider individual life forms would probably fit the definition (nations, for example).
the article seems to have sparked some good conversation, so it's been useful, if not as strong as it might be.
Plants convert light into chemical energy at low efficiency, the rest goes to waste heat. Animals do the same thing with chemical energy.
where you draw the system boundary matters for defining entropy changes, but long-term we're all bound to increase entropy, otherwise life (and our semi-living cousins) would be violating the laws of thermodynamics writ large.
I think we can equate too much entropy with danger since cancer cells also mean mutations.
To take this experiment to a conclusion which the author has “left to the reader” as all good texts do, let’s think about a virus.
A virus has information, in the form of dna or rna (I believe this is what a coronavirus uses), that it injects into a cell to then cause the cell to create more virus. The goal of this is to pass “information” to successive versions of the virus which are then programmed to do the same thing. Since they are trying to keep the same information, then they are in fact attempting to reduce entropy across time therefore they are as the author defines, an “individual”.
Would love for someone to test that logic train that I just rode