2006-06-17から1日間の記事一覧
くるるの数学ノートを読んで。 超限帰納法というのはすなわちωより大きい順序数に拡張された帰納法です。一番普通な形としてはこんな感じ。「φを述語とする。全ての順序数αに対して、もし全ての順序数β おもしろいです…。 「全ての順序数β
くるるの数学ノートを読んで。 超限帰納法というのはすなわちωより大きい順序数に拡張された帰納法です。一番普通な形としてはこんな感じ。「φを述語とする。全ての順序数αに対して、もし全ての順序数β おもしろいです…。 「全ての順序数β