潜在帰納法と書換え帰納法の比較
スポンサーリンク
概要
- 論文の詳細を見る
潜在帰納法と書き換え帰納法は、数学的帰納法を直接適用せずに帰納的な定理を自動証明する手法として広く使われている。本論文では、統一された抽象的な枠組の中で潜在帰納法と書き換え帰納法の関係を考察する。潜在帰納法ではチャーチ・ロッサ性と到達可能性が本質的であるのに対し、書き換え帰納法では退行性と強正規性が本質的であることが明らかにされる。したがって、両者の能力は一致しない。さらに、反駁証明と組み合わせると両者の能力が一致することも示される。
- 1998-11-20
論文 | ランダム
- 慢性下顎骨骨髄炎のCT 所見 : 病理組織像との比較検討
- [第23回]上顎癌 : 転移性上顎癌
- 膀胱腫瘍におけるヒト多剤耐性MDR1遺伝子の発現と5'-制御領域のDNAメチル化について
- 使用者と一緒につくる省エネルギーを提案するルームエアコン"霧ヶ峰ZWシリーズ" (特集 家電&電住機器の最新技術動向)
- 霧ヶ峰におけるニホンジカCervus nipponのライトセンサス調査による個体数変動