数学基礎論・数理論理学 その13
■ このスレッドは過去ログ倉庫に格納されています
0281132人目の素数さん
2012/08/10(金) 02:28:24.66通常の数学の問題は独立だと分かったら解決したとされるだろう。
懸賞金の話はクレイ研究所のミレニアム懸賞問題のことだと思うが
肯定でも否定でも賞金が貰えるP≠NP問題なんかは独立でも貰えるんじゃないかと思う。
否定の場合に条件が付くやつは、独立でも同様ではないかな。
しかしZFCから独立というだけでいいのかどうかは分からない。
代数幾何の問題だとZFC+グロタンディーク宇宙の公理から独立でないといけないかも。
■ このスレッドは過去ログ倉庫に格納されています