「証明できないこと」を解説文に含む見出し語の検索結果(11～20/136件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「一貫性（無矛盾性）の証明」の解説先に述べたように、ヒルベルト・...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/10 22:55 UTC 版)「坊津町坊」の記事における「坊津の興り」の解説飛鳥時代の敏達天皇12年（583年）に百済...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/16 08:14 UTC 版)「P≠NP予想」の記事における「自然な証明」の解説詳細は「自然な証明」を参照 1980年...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:04 UTC 版)「ゲーデルの不完全性定理」の記事における「決定不能命題の例」の解説数学と計算機科学（コン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/11 15:10 UTC 版)「停止性問題」の記事における「不完全性定理との関係」の解説停止性問題の決定不能性を利用し...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/18 16:11 UTC 版)「17世紀の危機」の記事における「地中海商圏」の解説地中海地域における海港および定期市の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「基礎理論」の解説数学が正確な基礎の上に築かれていなかったこ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「独立性」の解説重要な命題の多くはZFCと...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「記号論理」の解説レオポルト・レーヴェンハイム（1915）と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「集合論とパラドックス」の解説エルンスト・ツェルメロ（190...