This article aims to qualitatively describe the notation from Kevin Kelly's paper on "Simplicity and Truth Conduciveness" which offers painful perversions of standard set notation. The paper itself strives to provide a formal proof of the validity of Occam's Razor which Wikipedia defines to be:
"the simplest explanation is most likely the right one".
in light of the of the claim that
The standard literature on Occam's razor contains no plausible, non-circular, explanation of how simplicity helps science to arrive at true theories.
Kelly asks, then, "how could Ockham's razor help one find true theory?"
Formal Definitions of Simplicity
When striving to define the "simplest" explanation of a claim, we start with the benchmarks of
- Solomonoff Induction - which I won't pretend to know enough about to make meaningful sense.
- Kolmogorov Complexity - which can be thought of as the optimal encoding of a piece of information, or the lower bound of the length of program needed to recreate some input, roughly speaking.
For example, the Kolmogorov complexity of a simple string like
aaaaaaaaaaaaaaaaaaaaaaaaaa (26 'a's) could be expressed in fewer characters as:
a = 'a' * 26
which isn't necessarily the smallest program used to expressed the input string, but it's closer.
Though not entirely relevant to the discussion, the formal definition of Kolmogorov complexity is given in terms of Turing machines, so you know I had to include it:
Kolmogorov complexity of a string, relative to a Turing machine of a string is :
Another fun example of Kolmogorov complexity is given by the Berry paradox which claims that the complexity of all positive integers in English is at most 11. If it were not true, then there would be an integer that could not be described in fewer than 11 words. Punchline: any such number could be described as "The smallest positive integer not definable in under eleven words."
Kelly asks, "what's the fastest way to reach a true theory?" and answers, in far more words, that the theory with the fewest retractions –given new data– is the simplest.
A Side Note on the Problem of Induction
In real world applications, induction is limited the fact that we want to derive general principles given only immediate specifics. We can never know that our inductive hypotheses is true, let alone absolute truth, but we can gain or lose confidence in it with each opportunity to be wrong and hopefully know that our hypothesis is not wrong.
Fundamentally, that's all science is: not being wrong lots of times.
Amongst other things, Kelly adds in his supplemental conference slides that the if you know that "future" is simple, you can drop the heuristic and skip straight to a solid principle. However, the future is typically complex, hence the need for a formal means of reaching the simplest hypothesis to describe truth.
If you were looking on a refresher to Set Theory, Kelly does not have your back. Luckily, Daniel does.
Let be the set of all effects that might be realized:
Let be the set of all sets of effects that might be a complete description of the ⭐world ⭐:
Let be a partition of containing theories that
explain the ⭐world ⭐:
So, to play with this a lil bit:
if we see , then is immediately falsified as it does not consider .
if we see , then is not falsified, but the longer that time goes by before we see , the lower our confidence in will be. However; Occam's razor, by definition, will not retract as no new information has been presented to contradict it thus far. More on this later.
Let be a strategy that that chooses some at an arbitrary point in time which helps us converge on a true theory: a description of the ⭐world ⭐ .
For example, let's let the truth be , then would point to .
Now let be the "skeptical path" - a sequence of effects that nature can reveal such that we're taken to a new theory with each piece of added information:
such that , and must conflict with : . Each step in the skeptical path necessarily takes you to a new theory.
The complexity of a set , then, is the length of the longest skeptical path that terminates on , :
Suppose is revealed in isolation, we have no theory (from our example ) that captures this until and are also revealed. However, this would not be a skeptical path, nor does it falsify any of our theories either. This revelation, beginning with in isolation would just decrease our confidence in our theories, indicating that we might need a new theory. For example, let represent the Higgs boson particle, it wouldn't make sense for nature to reveal this to us without first accounting for the large hadron collider.
The next natural step is to define the complexity of a Theory, which is nothing more than a set of sets containing effects. Kelly defines the the complexity of a Theory with two stipulations, the first being that a Theory's complexity is the minimum complexity of the sets in T:
The second stipulation is that must be compatible with experience meaning that if, for example, is revealed, must be eliminated.
So, Occam's razor is , but this doesn't necessarily get us to the truth... The strength of Occam's razor is that, if another truth-getting strategy is used, it will eventually be forced to make a retraction in the absence of new information, like the Higgs boson, given , whereas Occam's razor can solve a problem each time new information is revealed that is necessarily the simplest, most complete Theory that makes no more retractions than any other arbitrary strategy. In this sense, Occam's razor leads you to the truth the fastest, in the worst case.
The new idea is that these [alternative theories] are not exhaustive alternatives, for it may be that Ockham's razor somehow converges to the truth along the straightest or most direct path, where directness is, roughly speaking, a matter of not altering one's opinion more often or later than necessary.
Say one theory leaps to the correct answer and Occam's razor took the long path to get there. As soon as nature reveals , could be invalidated, but Occam's razor is still true, with one additional retraction.
On pain of non-convergence, there is always some amount of time where new , or lack thereof, will force us to retract our theory. We could be waiting for the Higgs boson for eternity, then finally retract our Theory , and the devilish nature of could, the very next day, reveal . would have made an excessive retraction: once to retract , then rightfully again to re-include . Occam's razor dictates patience, and never makes the first retraction. In fact, Occam's razor never included prior to its revelation. Hence, it only ever retracts theories in light of new . Occam's razor is the upper bound for the worst case, but again, the generality of this approach makes it convergent in all cases. Whereas other strategies might work in some specific cases, "faster" than Occam's razor, they also may fail for other fields, leading to excess retractions, and therefore less simplicity.
Nature is recalcitrant, and can pause at for infinity, then as soon as we retract, is revealed. Occam's razor does not retract on pain of convergence: it is the most pessimistic approach with respect to nature.
Critiques of Occam's Razor and Some Takeaways
"Any theory worth its salt has an underlying mechanism, where's Occam's?"
Occam's razor is useful when no current Theory contains . The worst case you get stuck in is the one where nature falsifies your "best" theory per , and the one retraction you make increases by only one. Your mechanism is not obliterated.
Take along with . is simpler than given no yet, as there is no path we could be given that takes us to both and . is bolder because it's more true or false, and that is the definition of simplicity. The fragility of is directly proportional to its simplicity and therein lies the profundity of Occam's razor.
Since methods that approach the truth more directly have superior connection to the truth or are more conducive to find the truth, it is a relevant and non-circular response to the simplicity puzzle to prove that Occam strategies approach the truth more directly than all competitors.
What makes your theory complex is the presence of other theories that predict a subset of what your theory predicts
What makes your theory simple is how indivisible your predictions are among known possible theories