「算術的内包公理 ACA 0」を解説文に含む見出し語の検索結果(1~6/6件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 05:20 UTC 版)「逆数学」の記事における「算術的内包公理 ACA0」の解説ACA 0 {\display...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/16 07:25 UTC 版)「ケーニヒの補題」の記事における「選択公理との関連」の解説ケーニヒの補題は選択の原理であ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説2階...
逆数学(ぎゃくすうがく)とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いる...
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ[1] (1936)によって示された定理で、無限グラフが無限長の道をもつための十分条件を与える。この定理のcomputability ...
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ[1] (1936)によって示された定理で、無限グラフが無限長の道をもつための十分条件を与える。この定理のcomputability ...
< 前の結果 | 次の結果 >