In his lecture, the professor explained Löb's paradox and its implications for formal provability.
講義で教授は、カリーのパラドックスに相当する逆説と形式的証明可能性への影響について説明した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
