- 281 名前：１３２人目の素数さん mailto:sage [2012/08/10(金) 02:28:24.66 ]
- ヒルベルトの第一問題は独立性証明で解決済みとみなされているように
通常の数学の問題は独立だと分かったら解決したとされるだろう。
懸賞金の話はクレイ研究所のミレニアム懸賞問題のことだと思うが
肯定でも否定でも賞金が貰えるP≠NP問題なんかは独立でも貰えるんじゃないかと思う。
否定の場合に条件が付くやつは、独立でも同様ではないかな。
しかしZFCから独立というだけでいいのかどうかは分からない。
代数幾何の問題だとZFC＋グロタンディーク宇宙の公理から独立でないといけないかも。
