- 巨大数探索スレッド13
282 :132人目の素数さん[sage]:2018/01/13(土) 00:26:17.51 ID:Z5QuF+UV - 全ての可算な順序数と実数を1対1に対応付ける全単射は構成可能?
|
- 巨大数探索スレッド13
283 :132人目の素数さん[sage]:2018/01/13(土) 00:33:15.02 ID:Z5QuF+UV - 計算可能な全単射は無理かな?多分
|
- 巨大数探索スレッド13
287 :132人目の素数さん[sage]:2018/01/13(土) 19:02:23.16 ID:Z5QuF+UV - 実数は連続的で順序数は離散的なんでしょ
それが一対一に対応付けられるって矛盾しないんだろか などと思ったり
|
- 巨大数探索スレッド13
289 :132人目の素数さん[sage]:2018/01/13(土) 19:47:16.57 ID:Z5QuF+UV - 濃度が等しいなら全単射が存在するんでしょ?
|
- 巨大数探索スレッド13
291 :132人目の素数さん[sage]:2018/01/13(土) 20:11:20.39 ID:Z5QuF+UV - ベルンシュタイン
|
- 巨大数探索スレッド13
292 :132人目の素数さん[sage]:2018/01/13(土) 21:06:08.55 ID:Z5QuF+UV - 濃度が等しいってところから怪しいのか…
|
- 巨大数探索スレッド13
294 :132人目の素数さん[sage]:2018/01/13(土) 22:47:32.70 ID:Z5QuF+UV - ZFCから独立とか言われてもよくわからん。
連続的なものと離散的なものが一対一に対応付けられても矛盾が導き出せないってほんまかいな。
|
- 巨大数探索スレッド13
295 :132人目の素数さん[sage]:2018/01/13(土) 22:50:54.49 ID:Z5QuF+UV - >>293
なんとなく出来そうな気がする。 とはいっても俺には具体的なアイディアはないけどね。 頭のいい人ならなんかひねり出してくれるんじゃないか。
|
- 巨大数探索スレッド13
298 :132人目の素数さん[sage]:2018/01/13(土) 23:51:57.13 ID:Z5QuF+UV - とにかく非可算なものを制御する方法が知りたい。
可算順序数と実数の全単射はその第一歩となる。 それがひいてはなにがしかの巨大数のブレークスルーにもつながると思う。 まあイメージだけでしゃべってるが。
|