実現可能性 (論理学)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/28 17:51 UTC 版)
数理論理学において実現可能性(realizability)とは、構成的証明から追加情報を抽出するために使用される方法の集まりである[1]。形式理論の論理式は「実現子」(realizer)と呼ばれるオブジェクトによって「実現」され、実現子の持つ情報が論理式の真理値についての情報を提供する。実現可能性には多くのバリエーションがあり、どの論理式のクラスが研究され、どのようなオブジェクトが実現子であるかは、それらバリエーションごとに異なる。
- ^ van Oosten 2002.
- ^ van Oosten 2002, p. 245.
- ^ Rose 1953.
- ^ van Oosten 2002, p. 244.
- ^ Birkedal & van Oosten 2002.
- 1 実現可能性 (論理学)とは
- 2 実現可能性 (論理学)の概要
- 3 例:自然数による実現可能性
- 4 その後の展開
- 5 参考資料
- 6 外部リンク
「実現可能性 (論理学)」の例文・使い方・用例・文例
- 実現可能性 (論理学)のページへのリンク