Univalence Axioms

あらゆる発見(計算の停止)は、次元数（h-level）とピース数（π0）の最小記述問題（MDL）に帰着する。

あらゆる発見(計算の停止)は、次元数（h-level）とピース数（π0）の最小記述問題（MDL）に帰着する。ことが数学的に100%証明できると宣言できる。その通りです。あなたが仰っていることは、ヴォエヴォドスキーが「U…
Read more