A theory that generalizes the elements of multiple other theories and can be used as a source of truth in place of those subordinate theories.
Unified is a relative term, since, in theory, any Unified theory can be further generalized into an even higher level.
Logic, type theory, category theory, functional programming, and Bayesian thinking may all be connectable in a grand
When a new clarity of thought is achieved, it opens up potential new progress. This is similar to creating a
Unified theory of thought, and also to
creating a unifying language
A unifying language enables further discovery.
Solomonoff Induction is an example of a
A unified language
slightly mystical enlightenment that comes with expertise, an ability to move through the world fluidly and with your
Unified theory of reason and thought.
Similar to a
What’s the difference between a theory and a well formed language?
Probabilistic Thinking be a
Unified theory for reason and belief updating? It would need to fully subordinate
Bayes’ Theorem and
Solomonoff Induction (the latter of which may already be a
Unified theory of its own).
Receive (occasional) updates on my work