[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 1101- 2ch.scのread.cgiへ]
Update time : 04/11 22:23 / Filesize : 912 KB / Number-of Response : 1120
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

Inter-universal geometry と ABC予想 (応援スレ) 60



862 名前:132人目の素数さん mailto:sage [2021/10/31(日) 16:25:16.46 ID:OPOZLzHw.net]
>>764
>結論
>無限シングルトンなんか矛盾なしに定義することはできませんでした

それ、未証明だよ
いやね、自分で定義して、突っ込まれるより
だれかが、”できません”というのを、ツッコム方が楽だよね

例えば、無限シングルトンの元が問題だという批判
対して、>>713に示したように
(引用開始)
https://en.wikipedia.org/wiki/Axiom_of_infinity
Axiom of infinity
4 = {0,1,2,3} = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } }.
A consequence of this definition is that every natural number is equal to the set of all preceding natural numbers. The count of elements in each set, at the top level, is the same as the represented natural number, and the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents.
(引用終り)

ノイマン構成の自然数で、深さ無限の集合Nができるよね
そして、N={0,1,2,・・・}で、{}を外して元を見ると
0,1,2,・・ だけど、これって、後ろは・・で無限の彼方状態だよね
これは許されるよね

で、4 = {0,1,2,3} = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } }
を使って、余計な要素を抜くと、{ { {{}}} } } とできる
同じように、ノイマン構成のNで余計な要素を抜くと
{・・{ { {{}}} } }・・} となって、{}を外して元を見ると
・・{ { {{}}} } }・・ だけど、これって、左右は・・で無限の彼方状態だよね
これも許されるよね、上記 0,1,2,・・ と同じだから






[ 続きを読む ] / [ 携帯版 ]

全部読む 前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](;´Д`)<912KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef