「証明可能性」を解説文に含む見出し語の検索結果(1～10/105件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:45 UTC 版)「フリードリヒ・ヴァイスマン」の記事における「間隙率と証明可能性」の解説ヴァイスマンの開...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:10 UTC 版)「一階述語論理」の記事における「証明可能性」の解説論理式 φ が論理式の集合 ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「証明論と構成的数学」の解説詳細は「証明論」を参照 証明論は...
解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、解釈可能性 (en) や弱い解釈可能性 (en)、Π1-conservativity、co...
解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、解釈可能性 (en) や弱い解釈可能性 (en)、Π1-conservativity、co...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:48 UTC 版)「一階述語論理」の記事における「形式的証明」の解説命題論理においては、論理公理 (log...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/07 10:10 UTC 版)「リアプノフ関数」の記事における「リアプノフ関数の意味」の解説ある平衡点の安定性を証明で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「非古典論理と様相論理」の解説様相論理は追加の様相演算子を含...
< 前の結果 | 次の結果 >