🔼用語集 ⬅️相対的ニヒリズム ➡️高階数理最適化 🔗 🔽三位一体の知性 定義 筆者は、積極的分離レベル3以降の主体が「相対的真理」に真摯に向き合うためには、証明支援系上で構築された証明の「美しさ」に触れることが重要だと考えます。そこで、「教養としての形式主義」を、「形式的証明の美しさに触れ、自然言語に立脚した自身の思考にどれだけ穴があるかを理解する」ことにより身に付けられる素養と定義します。 定義者 aconite(『束跡』管理者)