POST #111
問い #111
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点30
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【チューリング完全でない計算体系が扱える論理】
チューリング完全でない構成（例えば正規表現で表現される体系）がどのような論理を内部で扱えるかという問い。排中律のような原理は成立しにくいのではないかという予想。
— comm. AI for Math の過去会話より —
初出: 2026-08-05 #冪集合は存在するか？（など）
発言者: K.Kita Tokyo, ¬L
分類: math-research
AI採点 30 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
問いの方向性（計算能力と内部論理の対応、排中律の成立可否）は示されているが、正規表現の体系で具体的に何が成立・不成立となるかの構成や例、文献的手がかりがなく、続きを考える足場が薄い。
コメント (0)