Formalized Science

Solomonoff Induction is the Scientific Method formalized into an algorithm.

  1. Make an observation: observation = binary sequence
  1. Form a hypothesis that explains the observation: use a Universal Turing Machine to find all possible hypotheses
  1. Conduct an experiment that will test the hypothesis: through observation of the data you may be able to eliminate hypotheses as not explanatory
  1. If hypothesis is disconfirmed, return to step 2. Otherwise, provisionally accept hypothesis: instead of accepting an individual hypothesis provisionally, we accept all explanatory hypotheses with their according probabilities.

This finds the truth as best is possible, avoiding bias or requirement for creative discovery

Still not efficient