Church–Turing thesis
チャーチ＝チューリングのテーゼの哲学的前提に基づいて、証拠の評価に対する数学的基準が推測されたが、その数学的基準は「証拠のもっとも単純で包括的な記述がもっとも正しい可能性が高い」というオッカムの剃刀のアイデアと似ていた。数学的基準は、公式的には「理想的な原則は、仮説に関連する事前確率は、アルゴリズム的普遍確率によって与えられるべきであり、モデルの対数普遍確率とモデルに与えられたデータの確率の対数の和が最小にされるべきであると述べている」とする。