種類まで数え上げることができる(これらの候補は正しい濃度を必ず含むが、少なくとも一つは間違った濃度が混ざる)。帰納的推論[編集]ここでは学習理論の再帰理論版について触れる。1967年に提出した極限学習モデルを基礎としており(訳注:アルゴリズム的学習理論(en)参照)、以来様々な学習モデルを開発してきた。一般的なシナリオは次の通り。いう形をした如何なる入力に対しても結果(仮説と呼ぶ)を一つ出力する。