0199132人目の素数さん垢版 | 大砲2017/03/13(月) 00:27:03.39ID:/rT82jBV ビジービーバー関数とラヨ関数が強さがだいたい同じというのはどうだろう。 ラヨ関数について整理 フォン・ノイマン宇宙という具体的なモデルではないが、漠然としたモデル のようなものの中で数やら関数やらを作っていく。 0の存在を保証する公理がなければ0を定義できないとの意見があったが、 フォン・ノイマン宇宙の中の0というものとユニークに一致すれば0が命名 された、とするのがラヨ関数の定義。