「証明できないこと」を解説文に含む見出し語の検索結果(1~10/136件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/24 16:35 UTC 版)「使用者責任」の記事における「被用者の選任と監督に使用者の過失がなかったこと、または相当...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/18 15:00 UTC 版)「無矛盾」の記事における「不完全性定理」の解説ゲーデルの不完全性定理は、ロビンソン算術 ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/07 03:48 UTC 版)「可算選択公理」の記事における「他の公理との関係」の解説ACωは選択公理や従属選択公理(...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/06 19:16 UTC 版)「ガブリエル・ラメ」の記事における「フェルマーの最終定理との関わり」の解説ラメは、フェル...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/02 16:57 UTC 版)「ZFCから独立な命題の一覧」の記事における「一般の例」の解説ZFCの無矛盾性 - 19...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/16 08:14 UTC 版)「P≠NP予想」の記事における「代数化」の解説集合論的でも自然な証明でもない証明手法とし...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/16 08:14 UTC 版)「P≠NP予想」の記事における「相対化」の解説複雑性クラスを分離するために最初期から主に...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/30 21:21 UTC 版)「後期クイーン的問題」の記事における「第一の問題」の解説「作中で探偵が最終的に提示した解...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/06 04:12 UTC 版)「クルト・ゲーデル」の記事における「オーストリア=ハンガリー帝国時代」の解説オーストリア...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/01 07:58 UTC 版)「ビリー・グラハム」の記事における「ミニストリー」の解説最初の牧会はイリノイ州ウェスタン...
< 前の結果 | 次の結果 >