Researchers compared the demonstrabilities of several formal systems to determine which allowed shorter proofs.
研究者たちは、いくつかの形式体系における証明可能性の複数形を比較し、どれがより短い証明を可能にするかを判断した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
