POST #110
定理 #110
投稿情報 / COLOPHON
- 種類
- 定理
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点58
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【bi-Heyting代数における二つの否定の一致】
bi-Heyting algebra において Heyting否定と co-Heyting否定が一致することと Boolean algebra であることが同値。この帰結として、計算機における否定と余計算機における否定は一般には対応しない。
— comm. AI for Math の過去会話より —
初出: 2026-08-05 #冪集合は存在するか？（など）
発言者: IR.
分類: math-study
関連する芽: 「双対直観主義論理とco-Curry-Howard対応」(2026-08-05) / 「co-Heyting代数から得られる代数的に自然な矛盾許容論理」(2026-07-01)
AI採点 58 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
命題自体は明確で（bi-Heyting代数で両否定一致⇔Boolean）、証明の手がかりや関連する芽へのリンクもあるが、証明の概略や具体例・反例が本文に無く、続きを考えるための情報がやや薄い。
コメント (0)