[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
372: 2021/12/18(土)10:53 AAS
>>358
>「ペアノ公理系の枠組みから逸脱」ではないですよね
無限公理が必要だから、逸脱ですよ
>ペアノが、この公理を考えたときは、集合論は無かった
そもそもペアノ公理では無限集合論は実現できません
有限集合論が限界です
ここでいう「有限集合論」は「任意の有限集合を集合とする」
ということなので、その全体はもちろん無限ですが、
それは有限集合論においては集合ではなく固有クラスです
>公理系にも種々あれど、
省14
373(2): 2021/12/18(土)10:58 AAS
>>359
>議論が錯綜するので、
錯綜しているのは、あなただけですよ 雑談さん
>添え字付きカッコを使った
>lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
>ツェルメロ可算シングルトン存在仮説ないし、
>ツェルメロ可算シングルトン存在予想とでもしましょう
どう読んだところで
上記のシングルトンの要素である
・・n{n-1{・・1{0{}01}1・・}n-1}n・・
省7
374(1): 2021/12/18(土)11:01 AAS
>>360
>まず、ツェルメロ可算シングルトン存在仮説が、
>ＺＦＣ内で矛盾を生じると思われるならば、
>どうぞその証明をお願いします
>>373で述べたように
aω
＝ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω
は、ただの「１重アトムシングルトン」{a}でしかない
ということは理解できましたか？
375: 2021/12/18(土)11:07 AAS
>>363
>だから、
苛ついてますね？ 雑談さん
>”0.999…”で、小数点以下の”999…”という数列は、
>可算無限列として公理内で定義することはまでは可、
>で良いでしょ？
しつこいですね
何度でも繰り返しますが、まずその入口からダメですよ
>それで、”「小数点以下」の”999…”という数列”に対して、
>無限小数という解釈を与えるのは別って話ですよね
省11
376: 2021/12/18(土)11:15 AAS
>>367
>>原ペアノ公理を洗練して、集合論に取り込んだというのが、正確な表現でしょう
>これは公理系とモデルの区別がついていないことによる誤解のように見えます。
そもそも 雑談 ◆yH25M02vWFhP さんは公理系もモデルも理解してませんよ
彼はナイーブに
「任意有限回繰り返しが可能だから無限回繰り返しも可能」
と思い込んでるだけです
「任意の自然数が自然数全体の集合の要素なら、∞も要素」
と、ペアノ公理に真っ向から反する元∞を自然数と認めちゃうほど
非論理的な直感的想像をしちゃう素人ですからね
377(1): 2021/12/18(土)11:19 ID:O3AI6eBU(1) AAS
>>338見て「俺はそんなこと言ってない！勝手に幻聴で語るな！」と言ってた人は満足したんだろうか？
378(1): 2021/12/18(土)11:20 AAS
>>369
>再三指摘していますが、式の定義が不明確なので
>これは「予想」とは言えないことに注意しましょう。
>つまり、数学的主張ではないので
>「存在証明」も「存在非証明」も出来ないということです。
>次元を定義せずに
>「次元が無限大の多様体は存在する。
> 間違いというなら存在しないことを証明せよ。」
>というようなものです。
>なので、この「ツェルメロ可算シングルトン存在仮説」は
省8
379(1): 2021/12/18(土)11:26 AAS
>>377
ID:nX+c17Vd 氏は「複数の先行元を許すな！」という
シングルトン原理主義者のようですが、
そもそもツェルメロ式では∈でつながっているかどうかが本質なので
極限順序数の場合、シングルトンでは実現できないのなら
真っ先に放棄するのは当然のことです
380(4): 2021/12/18(土)11:32 ID:Jp6NfwZr(1) AAS
>>379
＞氏は「複数の先行元を許すな！」というシングルトン原理主義者のようです
えぇ…一体どう見たらそうなるんだ😰
むしろ「シングルトンは無限順序数を表現するのに具合が悪いからツェルメロ式は廃った」と言ってるのに…
お前は誤読すんなと言ってる人が謎誤読してるのちょっと面白いね
381(1): 2021/12/18(土)11:39 AAS
>>380
>「シングルトンは無限順序数を表現するのに具合が悪いからツェルメロ式は廃った」
その言い方も軽率ですね
「ｘからより小さい任意のｙに∈でつながる」
という言葉がどうしても理解できませんか？
382(1): 2021/12/18(土)11:41 ID:U7J54ium(1/3) AAS
>>381
そりゃただの順序であって順序数を語るに全く足りてないなぁ
383(1): 2021/12/18(土)11:43 AAS
>>380
順序数の実現について
「シングルトン原理主義」（狭義のツェルメロ式）と
「未満全包含原理主義」（狭義のノイマン式）の
両者を包含する形で「∈連鎖主義」があるわけですが
理解できませんか？
384: 2021/12/18(土)11:44 AAS
>>382
足りないのはあなたの考えでしょう
385(2): 2021/12/18(土)11:47 ID:EcS9jwsp(2/11) AAS
>>353
>ペアノ公理で、後者関数として、suc(a) := {a} と定義しましたよ>>301
>これで、自然数全体が構成できるとするのが、ペアノの公理です
いいえ違います。
>ペアノの公理を認めたら、ツェルメロの後者関数 suc(a) := {a} で、「可算無限集合たる自然数全体が構成できる」。
できません。
ペアノの公理は自然数が満たすべき要件を規定したものであって、自然数全体の集合の構成方法については何も語っていません。
有り体に言えば、自然数全体の集合を構成するには何らかの方法で集合Nを構成し、Nがペアノの公理を満たしていることを証明する必要があります。
分からないなら勉強しましょう。分かってるかの如く数学板へ書き込むのは控えましょう。
386(3): 2021/12/18(土)11:48 ID:U7J54ium(2/3) AAS
>>383
「A方式からB方式に変わったのは○○するためだよね」というレスに対し
「広義のA方式をA方式B方式両方含むと解釈すればA方式のままでも○○できるからA方式からB方式に変わったのは○○するためとは言えない」って言いたかったの…？
流石に頭悪過ぎてビックリするぞ😲
387(1): 2021/12/18(土)11:49 ID:U7J54ium(3/3) AAS
もう後に引けなくなってイチャモン付けたいだけなのだろうか…
388(1): 2021/12/18(土)12:03 ID:/2Revnjh(1) AAS
人格上の問題
理解するための知能、記憶とか推論とかに決定的な欠陥があるわけではない、とは思う
理解したら自分が間違ってた事を認めることになるから脳が“わかる事を拒否している”状態
尿瓶もセタも松坂君もおんなじ
自己愛性の人格障害で数学を始めとする“後天的能力”を獲得する能力が壊れてしまってる
389: 2021/12/18(土)12:10 ID:AVlTip7C(1) AAS
>>388
はえー、こういう人多いのね
この人はその尿瓶とか松坂って人とまた別なのかな？
まあ事故にあったと思っとく
390: 2021/12/18(土)12:20 ID:EcS9jwsp(3/11) AAS
>>356
>よって、公理系では、基本原則として、公理体系内で構築された複合的な操作は、無制限に繰り返せるべき
{0}に最大元0の後者1を追加する
{0,1}に最大元1の後者2を追加する
{0,1,2}に最大元2の後者3を追加する
・・・
これにより任意有限濃度集合 {0,1,…,n} を構成できます。
しかし無限集合は構成できません。何回繰り返しても無限集合には辿り着かないですから。
やはりあなたは有限と無限の区別がついていないようですね。
>私としては、いろいろ教えて貰えればありがたい
省2
391: 2021/12/18(土)12:42 ID:EcS9jwsp(4/11) AAS
>>359
>そして、公理系にも種々あれど、もし空集合Φの存在のみを公理として認めて、
>他の自然数 1だとか2だとかを構築しようとするならば、必然 なんらかの後者関数（ペアノの考案の概念）のお世話になるだろう
空集合の公理のみなら空集合以外の集合は存在しません。後者関数なんて存在しません。構成できませんから。
とにかくつべこべ言う前に基本を勉強しましょう。考えを語るのはその後です。ものには順序があります。
392: 2021/12/18(土)12:49 ID:EcS9jwsp(5/11) AAS
>>359
>lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
>ツェルメロ可算シングルトン存在仮説ないし、ツェルメロ可算シングルトン存在予想とでもしましょう
無定義なものの存在性を論じても無意味です。あなた結局定義できませんでしたよね？
>議論が錯綜するので
議論になってません。議論したいのならまず基本を勉強しましょう。
393: 2021/12/18(土)12:54 ID:EcS9jwsp(6/11) AAS
>>360
>まず、ツェルメロ可算シングルトン存在仮説が、ＺＦＣ内で矛盾を生じると思われるならば、どうぞその証明をお願いします
その前にツェルメロ可算シングルトンなるものの定義をお願いします
394: 2021/12/18(土)13:06 ID:EcS9jwsp(7/11) AAS
>>363
>で、>>359に書きましたが、「>>300の 添え字付きカッコを使った
>lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
>ツェルメロ可算シングルトン存在仮説」で
>まずは、どう解釈するかは別として、ツェルメロ後者 suc(a) := {a} を無限回（全自然数を尽くすだけ）使ったものとして定義しました
>それで良いでしょう？
良くないです。
「全自然数を尽くすだけ」がよく分からないので。何回なら全自然数を尽くしたことになるんですか？
395: 2021/12/18(土)13:23 ID:EcS9jwsp(8/11) AAS
>>363
限りの無いことを無限というのですよ。
だから何回か繰り返して到達したとしたら無限の定義に反するのです。
だから
>ツェルメロ後者 suc(a) := {a} を無限回（全自然数を尽くすだけ）使ったものとして定義しました
は定義になってないんです。
まず有限と無限は違うことを理解しましょう 数学を語るのは時期尚早です
396: 2021/12/18(土)13:38 ID:EcS9jwsp(9/11) AAS
>>363
>無限公理
>「{}∈ｘ かつ 任意の集合ｙについて、ｙ∈ｘならば｛ｙ｝∈ｘ となる集合ｘが存在する」
>が必要です
なぜ必要か理解できますか？
{}から始めて、元をひとつずつ追加する操作を繰り返す方法では無限集合は構成できないからですよ
逆に何回繰り返しても決して到達しない集合のことを無限集合と呼んでるんです
無限の定義を思い出してくださいね 限りの無いことを無限と言うのです
あなたは
>私としては、いろいろ教えて貰えればありがたい
省2
397(1): 2021/12/18(土)13:49 AAS
>>386
あなたは「シングルトン原理主義」だが
私はそういう偏狭な考えを取らず
「∈連鎖主義」に基づいた
極限順序数の定義を認める
その違いです
>>387
>後に引けなくなってイチャモン付けたいだけ
それは U7J54ium あなたです
398: 2021/12/18(土)13:53 AAS
>>385 >>390-396
私が>>370-378（除く377）で書いたことを
全部繰り返してくださってご苦労様です
399(1): 2021/12/18(土)13:54 ID:W/fEWIFB(2/2) AAS
このコテは、他人に正解を教えてもらっても
まず全否定して、次に教えてもらった内容を復唱して自分の主張だと言い出す精神障害症状の55歳高齢未婚老婆だね
400: 2021/12/18(土)14:01 AAS
雑談 ◆yH25M02vWFhP さんは
「亀の居た位置にアキレスが到達するどのステップでも
亀はアキレスより前にいるからアキレスは亀に追い付けない」
というゼノンのパラドックスに対して
「いや、無限に存在する全ステップが実行できる！
そしてその瞬間アキレスは亀に追い付く！」
といいたいらしい
ただ、もし
「何故、無限に存在する全ステップが実行できるのか？
何故、全ステップが実行されたら、アキレスは亀に追い付くのか？」
省4
401(1): 2021/12/18(土)14:04 AAS
>>399
＞他人に正解を教えてもらっても、まず全否定して、
＞次に教えてもらった内容を復唱して自分の主張だと言い出す
自分の誤りに気付いて、他人の指摘を理解したなら
あとのふるまいは看過します 私は大人ですから
402(1): 2021/12/18(土)14:04 ID:NhFxnRDo(1/2) AAS
>>397
>>380読んで尚「お前はシングルトン原理主義者だ！」と言い続けるのか…
理解するだけの頭が無いのか嘘も百遍言い続ければ真実になると思ってるのかどちらだろうね？
まあ後に引けなくなってるだけかな
403(1): 2021/12/18(土)14:05 ID:EcS9jwsp(10/11) AAS
>>378
>それでは 雑談 ◆yH25M02vWFhP さんは理解できないので、ずばり
>「任意有限回繰り返しが可能だから無限回繰り返しも可能、とはいえない」
>「任意の自然数が自然数全体の集合の要素だから、∞も要素とはいえない」
>と核心をついたほうがいいです
それでも彼は理解できないので、さらなる核心
「何回繰り返しても決して到達できないことを無限と呼ぶ」
をついたほうがいいです
404(1): 2021/12/18(土)14:10 ID:NhFxnRDo(2/2) AAS
>>401
ワハハ、よう言うわコイツ
俺もちゃんと間違いを認めれば追うようなことはせんから安心して引いて良いぞ
405(1): 2021/12/18(土)14:11 AAS
>>402
>>380の「シングルトンは無限順序数を表現するのに具合が悪いから」を読んで
ああ、この人はシングルトンしか見えず、シングルトンに固執する
シングルトン原理主義者なんだな、と考えました
後に引けなくなってるのは Jp6NfwZr です
あなたが彼でないなら、この件については
黙ったほうが利口ですよ
別IDであることを最大元利用しましょうね
406(1): 2021/12/18(土)14:14 AAS
>>404
＞ちゃんと間違いを認めれば追うようなことはせん
そうでしょうね
自分の間違いに気づいても恥辱だとかなんとかいって
相手を追い続ければ自分の破滅ですからね
あなたも諦めてこの板から永遠に出て行ったほうがいいですね
素人の貴方に数学は無理ですよ
自分でも分かっているんでしょう？
407(2): 2021/12/18(土)14:17 ID:smxiELd1(1/2) AAS
>>405
んー、「シングルトンでは無限順序数を表現できないのでシングルトンでない方式を採用した」という主張を見て
「コイツはシングルトン原理主義者だ」と理解したと？
流石に日本語能力低過ぎないですかね…
IDは回線の都合なので同じ人と考えて貰って結構よ
408: 2021/12/18(土)14:21 AAS
>>403
＞「何回繰り返しても決して到達できないことを無限と呼ぶ」
まさにそれが核心ですね
つまり、可算無限ωは、有限集合論における到達不可能基数
ついでにいうと、操作の繰り返しが終了することの証明に
無限順序数ｘにかんする超限帰納法を導入する場合も
決して、無限回の操作が実施されるわけではなく
実際に行われる操作は有限回にすぎません
降下列の長さは有限ですから
409(1): 2021/12/18(土)14:22 ID:smxiELd1(2/2) AAS
>>406
いやー正直流石にこの思考力で数学は無理なんじゃね？と思うのはこっちなんだが
結局>>338や>>386の指摘も丸っと合ってたようだし…
410(3): 2021/12/18(土)14:27 AAS
>>407
貴方の論理的思考力が欠如してるんでしょう
ツェルメロ式の有限順序数でのｙ＜ｘの証明には∈連鎖を用いていますね
あなたも一度でも考えたことがあるなら否定しようがないでしょう
「ｙ＜ωとなる全てのｙに∈連鎖が存在するように無限順序数ωを実現した場合
ωはシングルトンではない」
あなたの
「シングルトンでは無限順序数を表現できないので
シングルトンでない方式を採用した」
とは逆ですね
省3
411: 2021/12/18(土)14:32 AAS
>>407
>IDは回線の都合なので同じ人と考えて貰って結構よ
ID変わるんだから同一人物だと言い張らなくていいですよ
私は大人ですから 万年三歳児の素人の駄々くらい受け流してあげますよ
>>409
>>410であなたがA⇒BとB⇒Aが同値という
素人の誤りを犯していることを指摘しました
高校１年で習う論理も分かってない貴方に
数学は無理です 断言できます
大学に入れた人ならあなたが素人で
省2
412: 2021/12/18(土)14:33 AAS
>>410
＞とは逆だし、「そもそも
これは消し忘れ
413(3): 2021/12/18(土)14:39 ID:1X0/kS9h(1) AAS
>>410
「ωが表現できたならそれはシングルトンではない」と「シングルトンでωは表現できない」は逆の命題に当たるのに一緒にするだなんてお前は論理を理解できてない！こんなこと高校１年生で習うぞ！ って？
いやもうなんか喋れば喋るほど恥ずかしい発言が増えてくというか…匿名で良かったね😅
414(1): 2021/12/18(土)14:48 AAS
>>413
＞「ωが表現できたならそれはシングルトンではない」と
＞「シングルトンでωは表現できない」は逆の命題に当たる
文章変えましたね それを改竄といいます
改竄前の文章は以下の通り
私
「ｙ＜ωとなる全てのｙに∈連鎖が存在するように無限順序数ωを実現した場合
ωはシングルトンではない」
貴方
「シングルトンでは無限順序数を表現できないので
省7
415: 2021/12/18(土)14:51 AAS
>>413
＞いやもうなんか喋れば喋るほど恥ずかしい発言が増えてくというか…
＞匿名で良かったね😅
ええ、あなたは匿名で良かったですね
でも、あなたの実名には誰も興味ないから
もし実名を明らかにしていても
あなたには何の損失もないでしょう
何も持たないあなたは何も失うものはないですから
416(1): 2021/12/18(土)14:52 ID:iWsdjGDk(1) AAS
>>414
俺が「シングルトンではωを表現できない」と言ったのを再掲してくれてありがとうございます
…えっと、俺の主張を補強してくれたのかな😅
417(1): 2021/12/18(土)15:05 ID:bDvaBIn9(1/2) AAS
このコテとIDコロコロは10年でも20年でも意味のない自己正当化を主張し続ける、ネットで有名な精神異常者だから相手にする価値はない
418: 2021/12/18(土)15:11 AAS
>>416
＞俺が「シングルトンではωを表現できない」と言った
ええ
でも理由は違いますよ
あなたの理由は
「ωは極限順序数であって前者がないから」
ですよね？
で、前者とはなんなのかは何も語ってないんでしょう？
私の理由は
「ωより小さい順序数の中の最大値が存在しないから」
省3
419: 2021/12/18(土)15:14 AAS
>>417
ID七変化氏は長文書けない半端者なんでほっといてもいいでしょう
420(2): 2021/12/18(土)15:16 ID:EcS9jwsp(11/11) AAS
>>413
＞「ωが表現できたならそれはシングルトンではない」と
＞「シングルトンでωは表現できない」は逆の命題に当たる
対偶じゃね？
「ωが表現できたならそれはシングルトンではない」：x=ω ⇒ x≠シングルトン
「シングルトンでωは表現できない」：x=シングルトン ⇒ x≠ω
421: 2021/12/18(土)15:19 AAS
>>420
そうですね
で、その上で
私の場合、それは結論で その前提は「∈連鎖を受容する拡張」
彼の場合、それが前提で その結論が「シングルトンでない方法」
だから全体では逆ですね
422(1): 2021/12/18(土)15:24 AAS
レインボーID氏は、
「ωはシングルトンで実現できないから、別の方法をとる」
という実に薄いことしか言えてない
私は∈連鎖という性質を保存する拡張を認めると具体的に方法を示した上で
ωはそのような方法で実現できるが、シングルトンにはならないと示した
だから深さが違います 別に自慢するつもりはありません
大学の数学科の学生ならだれでも思いつくようなことですから
でも素人はそもそも集合論の初歩が分かってないから無理でしょう
難しいから？いいえ、そもそもその気がないからでしょう
だから素人は数学のことなど忘れたほうがいいといってます
省2
423: 2021/12/18(土)15:25 ID:uKYhfZwy(1/2) AAS
>>420
俺もそう思うんだけどねぇ
これ自分が対偶わかってなかったってオチじゃないかと
424(1): 2021/12/18(土)15:27 ID:uKYhfZwy(2/2) AAS
>>422
＞私は∈連鎖という性質を保存する拡張を認めると具体的に方法を示した上で
＞ωはそのような方法で実現できるが、シングルトンにはならないと示した
俺が>>386で
＞「A方式からB方式に変わったのは○○するためだよね」というレスに対し
＞「広義のA方式をA方式B方式両方含むと解釈すればA方式のままでも○○できるからA方式からB方式に変わったのは○○するためとは言えない」って言いたかったの…？
＞流石に頭悪過ぎてビックリするぞ😲
と言ったまんまのことだなぁ
425(1): 2021/12/18(土)15:38 AAS
>>424
「複数の先行元を許しつつ後続順序数に限って代表元をツェルメロ式と同じにすれば」
が見た目の上っ面をなでただけだってことが全然分かってないんだね
そもそも∈連鎖が分からないんなら口開かなきゃいいのに
426(1): 2021/12/18(土)15:42 ID:YthFP2cv(1) AAS
>>425
敬語やめちゃったんだ？
∈で以て複数の先行元を許す（「○○の次」から「○○らより大きい」への転換）が順序数に必要だったんだろうにね
427(4): 2021/12/18(土)18:21 ID:bDvaBIn9(2/2) AAS
著名研究者コメントの項番4が発動中
【例のひとに関する著名研究者コメント】
1. 国際賞7回受賞の著名物理学者「『科学的真偽は権威が決める』と主張する人物は科学者とはいえない」
2.KEK黒猫氏「あの人は他人の心を読み取れないから人間としてどうしようもない」(講義学生誤爆ハラスメント事件へのコメント)
3.信号処理研究者「世の中には学位を取るだけで力を使い果たしその後業績の上がらない人も居るが
今回は学位を取る基本能力がないのに不適切な学位を与えられてしまった人が居ることを知った」
省1
428(1): 2021/12/18(土)22:11 ID:MLaUnU2T(1) AAS
>>427
このあたりの反応のせいで駄目そうな雰囲気が出てるんだよなあ
多分内心は証明できてないってわかってるが
無意識に押しやられてるんだろう
心の′病気の可能性もあるよな
429: 2021/12/18(土)23:04 ID:TS6SzePU(1) AAS
>>428
心理学でいうところの「否認」という状態でしょう
このスレにとても相応しい反応だと思います
430: 2021/12/18(土)23:21 ID:8NcA4oZx(1) AAS
結局経歴は華やかだけど、ただの人だったんだよ。
現実を受け入れられなくてああなってしまったのかと。
431(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/18(土)23:56 ID:sD9++F1B(11/12) AAS
>>369
>再三指摘していますが、式の定義が不明確なのでこれは「予想」とは言えないことに注意しましょう。
ご冗談を
そもそも予想とは、大体がそんなものです
フェルマー予想しかり、谷山志村予想しかり（谷山氏が予想を述べたときは結構あいまいで、志村氏が精密化したという）
>つまり、数学的主張ではないので「存在証明」も「存在非証明」も出来ないということです。
そんなことはない
ヒルベルトの23の問題の中に、現代数学の目では不明確なものがあったそうだが、
各人自分の解釈を加えて、解決していった（下記など。未解決もある）
あなたの流儀だと、全部受け身で、他人が全部お膳立てしないとダメに聞こえるよ
省16
432(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/18(土)23:59 ID:sD9++F1B(12/12) AAS
>>431
つづき
上記「ツェルメロ可算シングルトン存在仮説」は3つの要素から成る
1）空集合Φの存在
2）Φを要素とする有限ｎ重シングルトンの存在 an={{・・Φ・・}}
3)ｎを可算無限にした場合 n→ω に、可算多重シングルトン aω が存在するかどうか
使っている要素はこの3つだけですよ
上記の各要素（例えばΦなど）はどの公理系かによらず殆どで成り立つでしょう
（だから、どの公理系かによらず、殆どの公理系内の話だと思う）
で、カッコに添え字が無いと、{{・・{{・・Φ・・}}・・}} みたいに、いまいち不明確だから
省11
433: 2021/12/19(日)00:32 ID:770bouM+(1) AAS
>>432
本人の意図と反して、単にIUTに泥を塗っているだけ。
トンデモに支持されるって迷惑だよね。
434: 2021/12/19(日)00:38 ID:84ev5+Ep(1/2) AAS
また“上から目線病”が出てきたな
なんでこんなクッソみたいな学力しかないのにこんなデカい口が叩けるのかねぇ？
まぁその身の程知らずが故の無能なわけだが
435(1): 2021/12/19(日)01:14 ID:auSDi4XD(1/2) AAS
インターネットで20年以上前から有名なネット廃人と
瓜二つの行動特性を持つ人物だから、本人もしくはその同類なんだろうね
本業分野では、著名物理学者や比較的距離の近い物理学者、数学掲示板で交流のあった数学者から
あの人はおかしい、と明確に指摘されている人物、と瓜二つなのだからしょうがない
436: 2021/12/19(日)01:16 ID:auSDi4XD(2/2) AAS
>>435の「本人」とは>>427でコメントされている人物の事ね
437: 2021/12/19(日)02:12 ID:9Uk+qOuC(1/15) AAS
定義できないことの言い訳にヒルベルト23問題を持ち出すとか
ね？ペテン師でしょ？
438: 2021/12/19(日)02:26 ID:eG2QvrDA(1/5) AAS
頭のおかしな人は過剰な罵倒文句を不確かな表現で多用するのが特徴
439(1): 2021/12/19(日)02:29 ID:eG2QvrDA(2/5) AAS
頭のおかしな人が多用する罵倒表現
・トンデモ
・ニセ科学
・似非科学
・ペテン師
これらキーワードは「ニセ科学批判」というカルトクラスターの人が好んで使う表現
440(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)08:15 ID:t6OtkG9n(1/15) AAS
>>431 補足
>予想とは、大体がそんなものです
>フェルマー予想しかり、
”フェルマー予想しかり”の意図は、下記ご参照
「フェルマー予想は、きちんと定義されていない。例えば、フェルマーは自然数を定義していない。このままでは、否定も肯定もできない」というが如し
つまり、ある予想にに対して、「ｘｘは、きちんと定義されていない。だから数学の予想としては扱えない。このままでは、否定も肯定もできない」
という論法ね。これは、下手すると”詭弁”っぽいよね
普通は、意味ある予想と思ったならば、自分が曖昧と思う部分は、自分なりに補って、その補いを明言して、その予想を議論するという道がある
フェルマーの場合は、そうだった
そうして、最終的には楕円曲線（フライ曲線）に持ち込んで、ワイルズが谷山?志村予想の一部を証明することで、解決した
省3
441: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)08:17 ID:t6OtkG9n(2/15) AAS
>>440
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
フェルマーの最終定理とは、3 以上の自然数 n について、xn + yn = zn となる自然数の組 (x, y, z) は存在しない、という定理のことである[注釈 1]。フェルマーの大定理とも呼ばれる。ピエール・ド・フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後330年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理またはフェルマー・ワイルズの定理とも呼ばれるようになった[1]。
17世紀、フランスの裁判官ピエール・ド・フェルマー（1607年 - 1665年）は、古代ギリシアの数学者ディオファントスの著作『算術』を読み、本文中の記述に関連した着想を得ると、それを余白に書き残しておくという習慣を持っていた。それらは数学的な定理あるいは予想であったが、限られた余白への書き込みであるため、また充分な余白がある場合にも、フェルマーはその証明をしばしば省略した（たとえば、フェルマーの小定理として知られる書き込みを実際に証明したのは、ゴットフリート・ライプニッツである）。
第2巻第8問「平方数を2つの平方数の和に表せ[注釈 4]」の欄外余白に、フェルマーは
立方数を2つの立方数の和に分けることはできない。4乗数を2つの4乗数の和に分けることはできない。一般に、冪（べき）が2より大きいとき、その冪乗数を2つの冪乗数の和に分けることはできない。この定理に関して、私は真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる。
とラテン語で書き残した。
ワイルズは、代数幾何学（特に楕円曲線と群スキーム（英語版））や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みた
省2
442: 2021/12/19(日)08:39 AAS
>>426
>∈で以て複数の先行元を許す
>（「○○の次」から「○○らより大きい」への転換）
>が順序数に必要だったんだろうにね
それ、結果であって、前提ではないよ
ツェルメロ式順序数でｙ＜ｘを定式化する場合
ｙ∈・・・（有限個）・・・∈ｘ
という性質を使う
逆にいえば、上記の性質が保たれればいいので
順序数がシングルトンである必要はない
443: 2021/12/19(日)08:43 AAS
>>431
いってることが全くトンチンカン
>>373-374で書いたように
aω
＝ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω
の要素である
・・n{n-1{・・1{0{}01}1・・}n-1}n・・
は集合ではなくアトムなので、
これをただのaと書けば「１重アトムシングルトン」{a}でしかない
省3
444: 2021/12/19(日)08:47 AAS
>>432
>1）空集合Φの存在
>2）Φを要素とする有限ｎ重シングルトンの存在 an={{・・Φ・・}}
>3)ｎを可算無限にした場合 n→ω に、
> 可算多重シングルトン aω が存在するかどうか
1)は空集合の公理
2)は対の公理のx=yの場合
からそれぞれ導けます
しかしそれだけでは3)は云えません
さらに無限公理を導入しても無理です
445(3): 基礎論好き 2021/12/19(日)08:50 ID:MSI4Orrt(1) AAS
>>431
では「予想」じゃなくて「無限シングルトンと言えるようなものは作れるか？」という(厳密化されてない)「問題」にしますか？
無限シングルトンと言えるようなリーズナブルな集合は無いと思いますよ。
不自然な定義をしたり人工的な公理を導入すれば別ですが。
なぜ無いと思うかというと、私はここまで未だにちゃんとした無限シングルトンの定義を提示してもらってないからです。
私としては、「無限シングルトン」の話は厳密な数学の問題ではないという認識でスレ主さんとコンセンサスが取れたようなので満足です。
446: 2021/12/19(日)08:50 AAS
>>439
ああ掛け算順序批判の方々とかね
447(1): 2021/12/19(日)08:55 ID:eG2QvrDA(3/5) AAS
上のキーワードを多用するのは
元々の掛け算順序の現場指導の問題を論じていた数学者ではなく
その数学者の印象を悪くする為に、罵倒を交えて同じ主張を延々と繰り返す「ニセ科学批判」クラスターの50代教員
448: 2021/12/19(日)08:56 AAS
>>440
>ワイルズ氏の議論はZFC内なのか？
>だれも気にしていない。
>が、多分Noでしょう。
その根拠は、あなたが理解できないから？
>”代数幾何学（特に楕円曲線と群スキーム）”
>使ったらしいから、
>グロタンディーク宇宙内の議論で、
>ZFCGの議論じゃね？
代数幾何って、ZFCの外なんですか？
省4
449: 2021/12/19(日)08:58 ID:eG2QvrDA(4/5) AAS
2008年当時の実名の数学掲示板を探せば
該当人物が本スレと同様なこんにゃく問答で暴れて
議論にならない自称科学者として扱われている事が確認できる筈
450: 2021/12/19(日)09:05 AAS
>>445
＞「無限シングルトンと言えるようなものは作れるか？」
「超準自然数重シングルトン」はあるでしょうけど
それは超準モデルの中では自然数重なので有限です
あくまで標準モデルの外にあるから、
標準自然数重でないのを無限重といいはるなら
そういうことになるでしょうが
超準自然数と無限順序数は全く異なりますので
見当違いであることは明らかです
＞「無限シングルトン」の話は厳密な数学の問題ではない
省10
451(1): 2021/12/19(日)09:07 AAS
>>447
＞50代教員
助教の方かな？
もう長いこと論文出してないから、もはや数学者ではないという認識
452(1): 2021/12/19(日)09:12 ID:caJQTDBK(1/11) AAS
自分の認識では、その助教の方はまだまともな常識のある人で
その助教の掲示板で2008年に暴れた准教が
その助教を始め膨大な数の教員にストーキング行為をしてはネガキャンを繰り返している狂人
453: 2021/12/19(日)09:16 ID:caJQTDBK(2/11) AAS
関西の方でもその狂人に絡まれかけて急に「トンデモ」という単語を多用して荒れ始めた方が居た
その方は自分も関心のあった関西のポストに就いた方だったので、狂人の悪影響を受けるのを看過するのも忍びなく
数学掲示板の助教と女子大の教員の方が
問題の准教のトラブルに詳しい事をご紹介して
トラブル拡大の阻止を図った
454: 2021/12/19(日)09:17 ID:p5uP3oXC(1) AAS
>>451
論文を書かない給料泥棒の数学者がいるのか
しかし下手な論文を書けば数学者生命が終わってしまうわけだし
455: 2021/12/19(日)09:20 ID:caJQTDBK(3/11) AAS
問題の准教のストーキング行為やこんにゃく問答に関わる事のデメリット
1. 同じ話を何年間でも何十回でも繰り返すので純粋に時間の無駄
2.非論理的思考や怒りに任せた屁理屈、開き直り、虚偽主張、罵詈雑言といった精神異常者特有の思考パターンが伝染する
3.仮に頭の悪いこの野良犬に苦労して芸を仕込んでも、この野良犬は芸を教えてくれた人の物真似をしてネガキャンを始めるだけなので関わるべきではない
456: 2021/12/19(日)09:24 AAS
>>452
それは知りませんが
そもそもあそこに行って
書き込みする時点で残念かと
457(1): 2021/12/19(日)09:29 ID:caJQTDBK(4/11) AAS
私も基本的に近づきません
問題の自然科学分野の50代准教の問題行動を洗い出していたら、件の数学掲示板での2008年トラブルが引っかかり
件の数学掲示板ですらまともに意思疎通のできなかった桁外れな狂人だと認識した次第
敵は一枚岩ではない事を発見して苦笑いしました
458: 2021/12/19(日)09:30 AAS
>>457
もったいぶらずに名前書いてくれませんかね？
459(2): 2021/12/19(日)09:33 ID:caJQTDBK(5/11) AAS
このスレを狂人の名前で汚すのは忍びないので
もしご関心があるのであれば
フェルマースレやパラドックススレに出ている実名をご参照下さい
460(1): 2021/12/19(日)09:36 AAS
>>459
このスレはそもそも隔離スレなので配慮は無用かと
探すのは面倒なので名前書いてくださいね
なにをもったいぶっているんですか？
461(1): 2021/12/19(日)09:41 ID:caJQTDBK(6/11) AAS
貴方が危惧するような身近な方ではなく
約25年前のネット初登場時から異常な言動で一目瞭然の方なので、パラドックススレの最新書き込みをご覧下さい。それ以外の人物については、判る人には判る筈なので実名を書く必要はないかと
462: 2021/12/19(日)09:47 AAS
>>460
危惧はないです
>>459の２スレを見ましたが、該当する数学者は見つけられませんでした
数学者でもない人が数学とは無関係の話をしているのならば特に関心はありません
あなたがなぜそのことを執拗に書きたがるのかはわかりませんが
他所で書いたほうがいいと思いますよ
463: 2021/12/19(日)09:50 AAS
>>461
＞異常な言動で一目瞭然
そういう学者は実は珍しくないですよ
知性と人格は無関係ですから
そういう人とは関わらないほうが幸せな人生を送れますよ
464(1): 2021/12/19(日)09:54 ID:caJQTDBK(7/11) AAS
了解しました
>>427特徴に当てはまる書き込みのあるスレは
たいてい該当人物が暴れているので今回もそれかと思いましたが
貴方から見てこのスレの議論が数学者の内輪の議論に収まっているとおっしゃるのであれば
よく似た別人の空似なのだろうと認識しました
お騒がせしました
465(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)09:56 ID:t6OtkG9n(3/15) AAS
>>333
>イヤおそらく置換公理をうまく使えばノイマンのωの存在保証公理からツェルメロのωの存在導出事も逆もできたハズ
良い指摘ですね。かなり同意です
置換公理（下記）ね
私が、それをうまく使えているかは不明ですが、ちょっとやってみると
例えば
ノイマン 3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
↓
ツェルメロ 3 := {2} = {{{{}}}}
のような関数を考える
省19
466(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)09:59 ID:t6OtkG9n(4/15) AAS
>>465
つづき
これを禁止する？ ご冗談でしょ！ って話が、>>359の” 添え字付きカッコを使った
lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
ツェルメロ可算シングルトン存在仮説ないし、ツェルメロ可算シングルトン存在予想とでもしましょう”
ってことです
ZFでは、集合演算(対集合、和集合、冪集合)を、有限回、あるいは超限回繰り返して良いんじゃね？
”ツェルメロの後者suc(a) := {a} を、0（空集合）に対して、超限回繰り返すのがダメ”？
それは、どんな理屈でそうなるの？
ってことですよね
省21
467(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)10:00 ID:t6OtkG9n(5/15) AAS
>>466
つづき
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
置換公理 "関数クラス"による集合の像は集合である：
外部ﾘﾝｸ:en.wikipedia.org
Axiom schema of replacement
(参考) >>184より再録
外部ﾘﾝｸ:ja.wikipedia.org
自然数
省28
468: 2021/12/19(日)10:02 ID:84ev5+Ep(2/2) AAS
完全に能無しが暴走始めたな
469: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/19(日)10:16 ID:t6OtkG9n(6/15) AAS
>>440 補足
>余談ですが、ではワイルズ氏の議論はZFC内なのか？ だれも気にしていない。が、多分Noでしょう。
>”代数幾何学（特に楕円曲線と群スキーム（英語版））”使ったらしいから、グロタンディーク宇宙内の議論で、ZFCG（IUTの付録にも記載がある）の議論じゃね？
一応下記です
ワイルズ氏の議論は、多ZFCGの内でしょうね
もっと厳密に、ZFC内なのかどうかは、だれも気にしないと思いますがね
（例えば、明示的にはZFCGを使わなくても、引用したGrothendieckの議論がZFCGを使っていれば、それはZFCの外の可能性大です）
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
省8
470(1): 2021/12/19(日)10:23 AAS
>>465
>WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
これ誤りね
wikiは素人も書けるから実にしばしば嘘が書いてあるね
例えばVωは0に冪集合の演算をω回繰り返して得られた集合ではない
フォン・ノイマン宇宙
外部ﾘﾝｸ:ja.wikipedia.org
「各極限順序数 λに対して、Vλは、次の和集合とする
V_λ:=∪(β<λ) V_β」
つまり0に冪集合の演算を任意有限回（β回）繰り返して得られたV_βの和集合
省2
471: 2021/12/19(日)10:28 AAS
>ZFでは、集合演算(対集合、和集合、冪集合)を、
>有限回、あるいは超限回繰り返して良いんじゃね？
ZFに限らず、演算の超限回繰り返しは駄目です
>>470の無限個の集合の和をとっているところがありますが
これは一回の演算で可能なように定義してますから問題ありません
しかしそういう定義ができないなら意味がないので駄目です
上下前次1-新書関写板覧索設栞歴
あと 531 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s