22/01/11 01:06:57.77 RsLvQDWl.net
>>46
>ちゃんと∞まで渡るよ
∞とは何ですか？
>１．Von Neumann universeで、”The set Vω has the same cardinality as ω. ”つまり、Vωの濃度はωで、可算無限
>２，だから、Vω=∪ k=0～∞ Vkで、k=0～∞は、ちゃんと∞まで渡るよ
∪[k∈N]{k}=Nの濃度もωですよ？
濃度がωだからといって∞なるワケノワカラナイモノが必要とは言えませんよ？
51:１３２人目の素数さん
22/01/11 01:55:43.53 xrQGvxzy.net
うっかり>>23をコテハンで書き込んでしまい
DiverCity (りんかい線)の正体であるとバレてしまった間抜けな長野県の成績Fおじさん
東京住みの人なら付けないベタな名前に哀愁を感じる
52:１３２人目の素数さん
22/01/11 06:05:13.62 w8+vN4kT.net
>>46
おいそこのゾンビ
finite set
の意味を答えて見せろ此のガキ
∞まで含めて何でω止まりなんだかも答えろやゴミ
> ｱﾚﾌ0
オメェよう、おう、オイ！何年もコピペ貼り続けて来て居ながらにしてアルファベットで aleph_0 と書けねぇって
どんだけ頭すっからかんのままコピペだけ振り回して廻る愚行を繰り返し繰り返し続けて生きていく積もりだテメェは？
しかも長年無収入で親の財を食い潰し、嘘連投を咎め詰られたら「ここは便所の落書きクソ喰らえ」と不遜な開き直り｡
世の中を深く深く冒涜し過ぎだお前は、冒涜だ冒涜｡
53:１３２人目の素数さん
22/01/11 06:30:53.62 rxr3xgBa.net
>>46
>Von Neumann universeで、
>”The set Vω has the same cardinality as ω. ”
>つまり、Vωの濃度はωで、可算無限
>だから、Vω=∪ k=0～∞ Vkで、
>k=0～∞は、ちゃんと∞まで渡るよ
だからの前後がつながらないが…
もしかして
Vω=V0∪…∪V∞ で
Vωとはまったく別に
V∞があるといってる？
V∞ってなに？
∞ってωの前者？
54:１３２人目の素数さん
22/01/11 07:07:27.60 o9j+rHO1.net
>>46 関連
数学における存在とは？
下記Von Neumann universe を例に
”Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. ”
（google訳一部修正）
存在は難しい概念であるため、通常、存在の問題を一貫性の問題、つまり概念に矛盾がないかどうかに置き換えます。 しかし、ゲーデルの不完全性定理は、実際に一貫しているという条件で、ZF集合論自体の中でZF集合論の一貫性を証明することが不可能であることを事実上暗示しているという大きな障害があります。[12]
フォンノイマン宇宙のintegrityは、基本的に、構築のランクパラメーターとして機能する序数のintegrityと、序数とフォンノイマン宇宙の両方が構築される超限帰納法のintegrityに依存します。
(引用終り)
ツェルメロのシングルトンで、可算多重まで拡張できるかどうか？ 数学的存在の問題は、上記のVon Neumann universeと同じ
”一貫性の問題、つまり概念に矛盾がないかどうか”ってこと
ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
”一貫性の問題、つまり概念に矛盾がある”と（ZFC公理系で良いよ）
但し、カッコ{}は前スレに書いたように、添え字付きとする
（矛盾は、証明できないよね、多分）
つづく
55:１３２人目の素数さん
22/01/11 07:07:52.99 o9j+rHO1.net
>>51
つづき
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Von Neumann universe
Definition
Finite and low cardinality stages of the hierarchy
The set Vω has the same cardinality as ω.
The set Vω+1 has the same cardinality as the set of real numbers.
The existential status of V
Since the class V may be considered to be the arena for most of mathematics, it is important to establish that it "exists" in some sense. Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. The integrity of the ordinal number construction may be said to rest upon von Neumann's 1923 and 1928 papers.[13] The integrity of the construction of V by transfinite induction may be said to have then been established in Zermelo's 1930 paper.[7]
(引用終り)
以上
56:１３２人目の素数さん
22/01/11 08:29:24.23 FjO7HUzR.net
>>51
>ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
ωの前者が存在しないので、ツェルメロのシングルトンなるものを{x}と書いたときxには最外カッコが無い。よってxは集合でない。よってツェルメロのシングルトンなるものも集合でない。よってZF上に存在しない。
57:１３２人目の素数さん
22/01/11 17:15:35.90 13tp60RC.net
星裕一郎先生のツイッター
おんなの匂いがしないな
大丈夫か？
もう40だよね？
URLﾘﾝｸ(twitter.com)
星裕一郎
374 件のツイート
1月8日
「私ってよく誤解されるんだけど」的発言を聞くと，「それならもうそれが正しい理解なのでは」と思ってしまいます．いつも自分の側を疑う類型の人間からしますと，自身による「誤解」というその評価に疑問を持たないことが不思議なのです．
昨夜知らない方からくるみのパンをいただきました (にこにこ)
1月6日
もう18年近く京都に住んでいるにも拘わらず関西弁の正しい発音すらできないのに，英語なんてきれいに適切に発音できるはずがないではありませんか．
(deleted an unsolicited ad)
58:１３２人目の素数さん
22/01/11 17:33:33.25 13tp60RC.net
>>51 追加
>数学における存在とは？
スレ主です
追加です
１．IUTも同じです
２．望月先生が独自構想で、いろいろ独自の新規な数学概念を定義した、なんとか劇場とかね。関西なら「おまえ、ヨシモトへ行け！」レベルです
３．しかし、数学では、新たな概念で「IUTって、どうよ？」は、IUTでどんどん推論を進めて、何が言えるかを見るのが普通なのです。従来の数学概念とどう繋がるのかも見るべし
４．でも、IUTが新規すぎて、なかなか従来の数学概念と繋がりが つかないのですｗ
５．そうなると、IUTの諸概念が、従来の数学概念との関係で、「integrity どうよ？」、「consistent どうよ？」の議論の手がかりが、なかなｋつかめない。ここらが、今年の課題と思います
（従来の数学概念と、ＩＵＴの関係をつけていくってこと）
IUTがすぐ矛盾を生じて”アウト！”なら話は早いが
天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
2022年の課題と思います
59:１３２人目の素数さん
22/01/11 20:14:08.76 w8+vN4kT.net
有限正整数とは
0<[n]<∞
成る n で在り
有限非負整数とは
0≦[n]<∞
成る n で在る事は
過去永劫から現在を経て未来永劫に掛けてセタを除いて万人公知先験自明で共有見解どころじゃなく共通認識だが
空前絶後唯一無二にセタ一匹だけは
有限正整数とは
0<[n]≦∞
成る n で在り
有限非負整数とは
0≦[n]≦∞
となる認識で居る。明らかに俺流固執病｡
60:１３２人目の素数さん
22/01/12 06:27:33.72 wa3CtFun.net
>>55
>>50に返事ないな
V∞って書かれて「あっ💦」と大量の汗かいたんだろうな
>「おまえ、ヨシモトへ行け！」
あんたには、ヨシモトも無理
>天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
>ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
Scholzeは望月新一に説明させるために、単純化を持ち出しただけ
説明できなかった時点で、「ニホンザル」望月新一の負け
>2022年の課題
2022年のICMで望月新一が賞一つとれず
IUTTがどの講演でも全く取り上げられなかったら
望月新一のIUTT 惨敗決定な
SET Aは金輪際数学板に書くなよ 見苦しいから
61:１３２人目の素数さん
22/01/12 06:32:39.79 Mlwcg+gT.net
>>57
ん？お前MONKEY MAJIKか？代行の多種多様相違性臨海都市はどうした？
62:１３２人目の素数さん
22/01/12 06:57:19.02 Az0KPo/v.net
＞IUTTがどの講演でも全く取り上げられなかったら
IUTTはBuzzardの講演で取り上げられるんだって何度も言ってるだろ
63:１３２人目の素数さん
22/01/12 12:00:31.07 N2+QdOWE.net
>>55 追加
スレ主です
追加です
１．Von Neumann universe>>51 を例に
Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙
とか、
64:完全にZFCの外です（到達不能基数、グロタンディーク宇宙については下記ご参照。Von Neumann universeも集合ではなくクラスなので、ZFCの外） ２．こういう Von Neumann universe、到達不能基数、グロタンディーク宇宙 などは、普通の数学の証明に乗らない面がある >>52の”The existential status of V”のような議論になる つまり、従来の数学と隔絶した新概念については、普通の数学の証明とはちょっと違う面が生じるってこと ３．これを、望月IUTについて見ると、（IUTでの用語universeの使い方は個人的には賛成できないのでそこはスルーとして） 加藤文元先生のいうように（従来の数学と隔絶した）「望月ワールドを作って」 楕円曲線の高さ評価式を導いて、ABC予想を解いたという主張と見ました （勿論、単純な矛盾などは無い前提で。査読は終わっているので、これは満たされているはず） ４．で、もし「望月ワールド」が、いま確立されているZFCG内（せいぜい圏論内）の議論に翻訳できれば、かなり理解は進むと思う しかし、”Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙”みたいな議論に留まると、一般には「ちょっと、ついていけない」みたいな感じは残ると思う （個人的には、前者のZFCG内（せいぜい圏論内）の従来の数学に近い線の議論で収まっている気がするのです。 なので、できるだけ、従来の数学の議論との関連をつけていく努力が求められると思う。） つづく
65:１３２人目の素数さん
22/01/12 12:02:15.01 N2+QdOWE.net
>>60
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈ ... ∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 x を選ぶ。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
(引用終り)
以上
66:１３２人目の素数さん
22/01/12 12:58:14.04 r4iXlvOH.net
>>60
ω重シングルトンなるものは順序数じゃなかったの？順序数ならZFC内で構成可能だからそんな言い訳は通らないよ。
67:１３２人目の素数さん
22/01/12 18:55:37.46 N2+QdOWE.net
>>62
どうもです
レスありがとう
>>60の話は、
ω重シングルトンとは別で
IUTと、到達不能基数や、数学的宇宙論のぶっ飛んだ話です
つまり、大風呂敷のグロタンディーク宇宙とか、Von Neumann universeとか
「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）
これは、いまから数学者を目指す人は、意識しておいた方が良いかも
望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
これを見て、
いろんなことを考える人いるだろうね
a）素晴らし大理論だ
b）なに勝手なことをやっているのか？ 理解できない
c）理解できないから、モノドロミーで調べてみると、アウトだ（ショルツェ氏）
でいま、
b)が多数派でしょうね
c）は、ショルツェ氏一人＋尻馬組（理解していないのに、尻馬している人がいる）
a)は、じわじわ増えていると見ています
68:１３２人目の素数さん
22/01/12 19:21:35.68 r4iXlvOH.net
>>63
>ω重シングルトンとは別で
ω重シングルトンは間違いだと認めるのね？
69:１３２人目の素数さん
22/01/12 19:28:34.03 ISJYNuBC.net
本日も天羽優子の一行連投でスレが埋まる
70:１３２人目の素数さん
22/01/12 19:37:04.34 WhRvzr5O.net
>>65
こんな寒い日は優子のパイズリで熱くなりたい！
71:１３２人目の素数さん
22/01/12 19:39:46.46 naOuh01Z.net
特定キーワードを書いておけば即レスが付くから
身元割り出しが簡単だね
72:１３２人目の素数さん
22/01/12 19:47:22.09 WEIsq91W.net
a_watcherは親戚のスネかじり虫
73:１３２人目の素数さん
22/01/12 20:10:54.82 wa3CtFun.net
>>60
>到達不能基数、グロタンディーク宇宙とか、
>完全にZFCの外です
>到達不能基数、グロタンディーク宇宙などは、
>普通の数学の証明に乗らない面がある
>つまり、従来の数学と隔絶した新概念については、
>普通の数学の証明とはちょっと違う面が生じる
普通の数学=ZFC
といってるのか
そうならはっきりそう宣言してくれ
>これを、望月IUTについて見ると、
>加藤文元先生のいうように
>（従来の数学と隔絶した）
>「望月ワールドを作って」
>楕円曲線の高さ評価式を導いて、
>ABC予想を解いた
>という主張と見ました
つまり
望月IUT＝「望月ワールド」
は、普通の数学=ZFCに
あらたな公理を追加したもの
といってるのか
そうならはっきりそう宣言してくれ
>もし「望月ワールド」が、
>いま確立されているZFCG内
>（せいぜい圏論内）
>の議論に翻訳できれば、
>かなり理解は進むと思う
Q1．望月ワールド＝IUT＝ZFCG上の理論 ではないのか？
違うとしたらIUTは一体どの公理系の上の理論だ？
Q2．ZFCG=圏論、と言い切ってるが、その根拠は何か？
圏論がZFCでは展開できない根拠は？
（注：多くの圏が集合ではなく固有クラスになる
というだけでは新たな公理を追加する理由にならない
なぜなら圏論はそのような固有クラスを
集合として扱ってるわけではないから）
>ZFCG内（せいぜい圏論内）の従来の数学
従来の数学＝ZFCとすると、
ZFCG（Gは「非可算なグロタンディク宇宙が集合として存在する」という公理）は
完全にZFCの外だが（強到達不能基数の存在と同値だから これ常識）
>>61の以下の文章、一度も読まずにコピペしたのか
なら一度読め！読んで理解した後でコピペしてくれ
読まずに（つまり理解せずに）コピペしないでくれ
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。
これはグロタンディーク宇宙と強到達不能基数の間の
別の同値性を与えるものである
強到達不能基数の存在は ZFC からは証明できないため、
空集合と V_ω 以外の宇宙の存在は
どれも ZFC から証明することができない。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
74:１３２人目の素数さん
22/01/12 22:07:32.63 Mlwcg+gT.net
>>63
> 望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
其の方針でお前が考えるのが『無限重シングルトン』や『ω重シングルトン』の存在肯定根拠か？其の為に
またN=0～∞だのN=0～ωだのと言い出すのか、お前は？だぁかぁらぁ、其れが『自由』じゃなくて『放任』って言うんだよ｡
0～∞はNじゃねぇアフィン拡大自然数って言うんだよ、巫山戯けんな。0～ωは単なるN+ωだ、莫迦野郎｡
数宇宙をどう構成しようが其れは変わらねぇよ莫迦。あ否、莫迦じゃなくて馬鹿か。馬と鹿のハイブリッド種｡
取り敢えず責めて片方だけは納得しろや、無限大自然数は1つじゃなく無限多数なんだから0～∞なんて書いたら
アフィン拡大実数範囲に成るしωが唯一つのみが加わるわけじゃねぇ事くらい覚えとけ、って話くらいは｡
って言うか∞なんて書き方したら無限大自然数一つ一つの要素を十把一絡げに引っ括めて全部に成るから
ω一つだけなんかじゃ無くなるわ｡
あのな？こうやって物事を、区別して�
75:qべるだけで、こんだけの事が分かるんだわ、勉強以前｡ お前みたいに、常日頃から有限や無限大も、有限自然数もωも無限大自然数も、クソミソ一緒朽多十把一絡げにする奴は 数学じゃなくて何でもアリ学を語ってるだけなんだわ。数学板の話題じゃなくて何でもアリ板の話題｡ 学問理系カテゴリじゃなくて雑談系２カテゴリ｡ 誰だωをfinity setに含まれると宣った馬と鹿の交雑種は？何て言ったっけ？セタって呼ばれてたっけ？ ωが何をどうやったらfinityに成るんだよオイ？ωはfinityの要素じゃねぇよinfinityの要素だよ｡ ωをfinityに組み入れたら忽ちω+1以上も雪崩れ込んで来るだろ。其のくらい期待妄想に呑まれてねぇで気付けや｡ やめてくれよな？『あぁωさん。貴方も無限大ではあるけど貴方だけは有限でもある事にしますよ、特別ですよ！』とか 巫山戯けた贔屓と忖度と御都合主義な『俺様流』は｡
76:１３２人目の素数さん
22/01/12 22:21:58.53 ISJYNuBC.net
底辺准教55歳の一人芝居が狂人キャラに変わったな
77:１３２人目の素数さん
22/01/12 22:26:39.17 /fprA+h1.net
＞0～ωは単なるN+ωだ
奇妙な表記
好意的に解釈してもN+{ω}だよね
78:１３２人目の素数さん
22/01/13 02:24:52.21 UTp8r6lk.net
さんざん風呂敷広げといて肝心な事には答えないセタはペテン師
79:１３２人目の素数さん
22/01/13 04:11:51.24 i4s8QaxG.net
本日もまた底辺准教天羽優子の一行連投でスレが埋まる
80:１３２人目の素数さん
22/01/13 05:14:58.41 VnIxzqcu.net
>>72
セタの事だぞ、アイツがN=0～ωなんて書いたらNに唯一つωのみ付け加えた考え方しかしてや居やしねぇよ｡
81:１３２人目の素数さん
22/01/13 05:27:09.70 VnIxzqcu.net
あー、って言うか
>>72
あーそうだ中括弧で括るの忘れてた
もしセタが神の世界が有ったら忽ち消滅するな､
ωを特別に有限組に組み入れたり無限大として扱ったりとテメェの保身の為にコロコロ枠組みを変えるんだから｡
それにωのみを有限組に組み入れる積もりに成ってるが其れでω+1以降が有限接近する事も分かってない｡
六道の底辺である地獄道よりも酷い外道の世界に陥るな｡
82:１３２人目の素数さん
22/01/13 07:42:11.92 h/fCgb/z.net
>>34
>松坂和夫「集合・位相入門」（岩波 1968）
>と
>斎藤毅 「集合と位相」（東大出版会 2009）
>を眺めている
どうも
スレ主です
ここら松坂和夫や斎藤毅が、
いまの数学科の集合論の標準レベルなのだろうね
で
アンチIUTにして、スレ主にたてつくのが3人いる
おサルと、数理論理くんと、蕎麦屋と
おサルは、数学科修士とか言っていたが、
過去プログラミングのときに、なんか情報系修士の可能性もほのめかしていたな
数理論理くんは、数学科か情報系か不明
どちらもありと見る
蕎麦屋さんは、レベル自身が不明
高卒だという指摘も出ている
さて、”松坂和夫や斎藤毅が、いまの数学科の集合論の標準レベル”に戻ると
公理的集合論の細かい議論のベースになる基礎文献の読み込みが不足しているよね、
松坂和夫や斎藤毅レベルだと
なので、最低下記でも読まないと
まともな、数学の議論にならんよね
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Zermelo set theory (sometimes denoted by Z-)
Contents
1 The axioms of Zermelo set theory
2 Connection with standard set theory
3 Mac Lane set theory
4 The aim of Zermelo's paper
5 The axiom of separation
6 Cantor's theorem
7 See also
(引用終り)
以上
83:１３２人目の素数さん
22/01/13 08:22:21.95 Q7w9Eui5.net
>>77 >なので、最低下記でも読まないと >まともな、数学の議論にならんよね なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？ ペテン師だから？
85:１３２人目の素数さん
22/01/13 09:23:09.01 i4s8QaxG.net
おサルは情報系修士ですらないでしょ
挙げてきた書籍名が匿名掲示板過去スレから拾い上げてきた的外れな一覧な上にタイトルを知っているだけで読んでもいないと予防線を張る間抜けさに爆笑した
86:１３２人目の素数さん
22/01/13 09:56:25.37 i4s8QaxG.net
二セ科学批判力ル卜が多用する特異語 [改訂版]
1. ニ セ 科 学 | エ セ 科 学 | 疑 似 科 学
2. ト ン デ モ | 【ペ テ ン 師】 | デ マ | ウ ソ | 詭 弁 | 病 気
3. 信 者 | 信 奉 者 | 教 祖 | 信 じ る
4. 負 け を 認 め て 黙 れ
5. 自 殺 | 氏 ね
6. 自 分 が 本 当 の 被 害 者
7. 月 刊 ム ー | オ カ ル ト | 宇 宙 人
8. 理 研 | S T A P 細 胞 | 小 保 方 | オ ボ カ タ
9. 岡 崎 | 丘 裂 き | 生 物 多 様 性
10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a)
11. 悪 魔 の 証 明
12. キ チ ガ イ | 統 合 失 調
87:１３２人目の素数さん
22/01/13 10:01:46.97 0h1VRMgw.net
>>79
どうもです
スレ主です
そうかもです
88:１３２人目の素数さん
22/01/13 10:02:16.24 0h1VRMgw.net
>>78
どうもです
スレ主です
>なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
>ペテン師だから？
意味分からん
コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
あなたにも可能でしょ？
つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
つまり、立場は対等なわけだ
定義も同じだよね
例えば望月IUTに対して、ショルツェ氏は「オレ様簡単化した定義なら、不等式は出せない」という議論を展開した
つまりは、議論の中では、「自分はこう定義して、こうなると思うが、どうよ」という議論もありでしょ
で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
89:１３２人目の素数さん
22/01/13 10:17:55.76 VnIxzqcu.net
>>71
ちげぇよテメェの認識力が1人しか認められねぇだけだよ
発狂ついでにお前以外の此の世の人間全てが天羽とか言う行き遅れ婆の自演かグルだと思い込めば良いじゃねぇか？
んなわけ有っか此のバーカ。お前もクソもミソも一緒にする奴か、見境ねぇ奴ばかりだなぁ？
90:１３２人目の素数さん
22/01/13 10:42:58.95 0h1VRMgw.net
>>38 補足
>遺伝的有限集合、Hereditarily finite set
>「naturally ranked by the number of bracket pairs」で
>そのbracket（カッコ）の深さのシングルトン達、例えば深さ6 with 6 bracket pairs, e.g. {{{{{{}}}}}}とか出てくるよ
>そして、ZFでは、Vω=∪ k=0～∞ Vk だ
>だから、ω重シングルトン あるんじゃね？
文献を誤読している人がいるので補足する
（>>38 ＆>>46再録）
URLﾘﾝｸ(en.wikipedia.org)
Hereditarily finite set
Discussion
A symbol for the class of hereditarily finite sets is H_ｱﾚﾌ0, standing for the cardinality of each of its member being smaller than ｱﾚﾌ0. Whether H_ｱﾚﾌ0 is a set and statements about cardinality depend on the theory in context.
Axiomatizations
Theories of finite sets
The set Φ also represents the first von Neumann ordinal number, denoted 0. And indeed all finite von Neumann ordinals are in ｱﾚﾌ0 and thus the class of sets representing the natural numbers, i.e it includes each element in the standard model of natural numbers. Robinson arithmetic can already be interpreted in ST, the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
Their models then also fulfill the axioms consisting of the axioms of Zermelo-Fraenkel set theory without the axiom of infinity.
In this context, the negation of the axiom of infinity may be added, thus proving that the axiom of infinity is not a consequence of the other axioms of set theory.
つづく
91:１３２人目の素数さん
22/01/13 10:48:23.62 0h1VRMgw.net
>>84
つづき
ZF
The hereditarily finite sets are a subclass of the Von Neumann universe. Here, the class of all well-founded hereditarily finite sets is denoted Vω. Note that this is also a set in this context.
If we denote by p(S) the power set of S, and by V0 the empty set, then Vω can be obtained by setting V1 = p(V0), V2 = p(V1),..., Vk = p(Vk-1),... and so on.
Thus, Vω can be expressed as Vω=∪ k=0～∞ Vk.
We see, again, that there are only countably many hereditarily finite sets: Vn is finite for any finite n, its cardinality is n-12 (see tetration)
92:, and the union of countably many finite sets is countable. (引用終り) １．書かれているように、Hereditarily finite setは、”cardinality depend on the theory in context”ってことです ２．つまり、”Theories of finite sets”＝有限集合理論 では、 例えば、”In this context, the negation of the axiom of infinity may be added” とあるように、無限公理の否定をあえて追加する議論もありってこと。この場合は当然、無限集合は否定されるってこと ３．で、ZFのcontextでは、無限公理は認める立場だ この立場は、古代ギリシャのユークリッドが、素数の無碍を証明したのと同じ（標準的立場） つまり、自然数集合N 元 1,2,3,・・ で、濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、但し∀nたちは有限 よって、このcontextでは 上記の”Vω=∪ k=0～∞ Vk”も、正当化できる ４．「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」という この一見矛盾した状況が理解できないレベルならば、 カントールの順序数論では、まっとうに議論できるレベルじゃない（低レベル）ってことです 以上
93:１３２人目の素数さん
22/01/13 11:18:45.65 0h1VRMgw.net
>>84 追加
>the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
さらに、ここ原文には、Z^{-}にはリンクが張ってあって、>>77の
URLﾘﾝｸ(en.wikipedia.org)
Zermelo set theory (sometimes denoted by Z-)
にとぶ
で、誤解なきよう念のために書くが
”the very small sub-theory of Z^{-}”なので、
上記は Zermelo set theoryの一部ってことですよ
で、ついでに書くと
上記 Zermelo set theoryでは、
”AXIOM VII. Axiom of infinity (Axiom des Unendlichen)
"There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."”
とあって、無限公理（Axiom of infinity）で、集合Zが存在すると言葉で書かれている
この集合Zは、ドイツ語で数Zahlからで（下記）、自然数の意味ですね
で、Zermeloは、シングルトン{a}を使って、自然数Nができると Axiom des Unendlichenを書いた
これにいろいろ批判があることも、上記リンク内に書いてある
（さらに付言すると、上記Zermeloでは、ω重シングルトン自身は使っていないのです。
その一歩手前で、有限シングルトンを全部集めて自然数Nができるという議論だ
だけど、ω重シングルトンを否定しているわけでもない）
で、”Zermelo allowed for the existence of urelements that are not sets and contain no elements; these are now usually omitted from set theories.”
なんて文もある
おれも最後は、ω重シングルトンで”existence of urelements”かもしれないが、まだそこまで行ってないよね
参考
URLﾘﾝｸ(de.wikipedia.org)
Zahl
(引用終り)
以上
94:１３２人目の素数さん
22/01/13 11:26:06.98 0h1VRMgw.net
>>86 追加
独語の自然数の.wikipedia.があったので、参考に貼っておく
URLﾘﾝｸ(de.wikipedia.org)
Naturliche Zahl
Inhaltsverzeichnis
1 Bezeichnungskonventionen
2 Axiomatisierung
3 Von Neumanns Modell der naturlichen Zahlen
4 Die naturlichen Zahlen als Teilmenge der reellen Zahlen
5 Siehe auch
6 Literatur
(引用終り)
以上
95:１３２人目の素数さん
22/01/13 12:14:13.17 Q7w9Eui5.net
>>82
>意味分からん
バカだから？
>コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
>あなたにも可能でしょ？
>つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
やっぱペテン師でした。
自分から言い出したモノの非存在証明義務を相手に押し付けるのはペテン師の手口。
96:１３２人目の素数さん
22/01/13 12:48:51.75 Q7w9Eui5.net
>>85
>４．「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」という
> この一見矛盾した状況が
バカには矛盾に見えるのか？何の矛盾も無いが。
97:１３２人目の素数さん
22/01/13 12:55:13.58 Q7w9Eui5.net
>>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
うん。
存在しないものを全て書き下し尽くせると考えてるの？真性バカだね君。
98:１３２人目の素数さん
22/01/13 13:09:08.23
99:Q7w9Eui5.net
100:１３２人目の素数さん
22/01/13 13:23:52.35 Q7w9Eui5.net
>>86
>and contain no elements
じゃあ1重シングルトンじゃん
{x}のxは元を持たないんでしょ？
101:１３２人目の素数さん
22/01/13 13:30:48.45 Q7w9Eui5.net
>>86
>だけど、ω重シングルトンを否定しているわけでもない
誤 否定していない
正 言及すらしていない
当たり前だよ、自明に非存在だから
君がバカで理解出来ないだけ
102:１３２人目の素数さん
22/01/13 15:20:49.93 VnIxzqcu.net
シングルトン
一元豚
独身豚
セタの思考は一元体かつ示唆性が有る意味での一元体では勿論、無い、つまりは零環の如しクォリティ｡
103:１３２人目の素数さん
22/01/13 16:32:17.38 A0OL5TDZ.net
>>80
a_watcherの自己PRとしてよく纏っています
評価しましょう
104:１３２人目の素数さん
22/01/13 18:23:43.26 0h1VRMgw.net
>>85 補足
> ３．で、ZFのcontextでは、無限公理は認める立場だ
> この立場は、古代ギリシャのユークリッドが、素数の無碍を証明したのと同じ（標準的立場）
> つまり、自然数集合N 元 1,2,3,・・ で、濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、但し∀nたちは有限
> よって、このcontextでは 上記の”Vω=∪ k=0～∞ Vk”も、正当化できる
念ために
１．普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
Vω=∪k=0～∞ Vk
↓
Vω=∪k∈N Vk
と解釈すれば良い
２．つまり、添え字として kは全ての自然数を渡るってことだな
Vk が数列の場合には
Σk=0～∞ Vk
↓
Σk∈N Vk
と解するが如しだ
これ、一貫校なら中学生レベルだろうね
105:１３２人目の素数さん
22/01/13 19:05:24.80 09+QneAP.net
天羽連呼ことa_watcherはDiverCity(りんかい線)名義はやめたの？
106:１３２人目の素数さん
22/01/13 19:18:22.29 VN40DQWB.net
>>77
>公理的集合論の細かい議論のベースになる
>基礎文献の読み込みが不足しているよね
それ、SET A君自身のこと？
>最低下記でも読まないと
>まともな、数学の議論にならんよね
>URLﾘﾝｸ(en.wikipedia.org)
で、SET A君読めたの？
107:１３２人目の素数さん
22/01/13 19:19:42.17 VN40DQWB.net
>>81
SET Aは大卒ですらない
大阪大学工学部卒とか全くの学歴詐称
ああ、みっともない
108:１３２人目の素数さん
22/01/13 19:25:11.68 VN40DQWB.net
>>82
>ω重シングルトンを否定する文典
そもそも「ω重シングルトン」
…1{0{}0}1…
を集合だと肯定する文典が皆無
全てトンデモ中卒SET Aの精神病的妄想の産物
>>84
>文献を誤読している人がいる
SET A 一匹な
109:１３２人目の素数さん
22/01/13 19:31:38.87 VN40DQWB.net
>>85
>Hereditarily finite setは、
>”cardinality depend on the theory in context”
>ってことです
英語翻訳できないの？中卒SET A
Discussion
A symbol for the class of hereditarily finite sets is H_ｱﾚﾌ0,
standing for the cardinality of each of its member being smaller than ｱﾚﾌ0.
Whether H_ｱﾚﾌ0 is a set and statements about cardinality depend on the theory in context.
考察
遺伝的有限集合のクラスの記号はH_アレフ0であり、
その各メンバーの基数値がアレフ0より小さいことを表す。
H_アレフ0が集合であるかどうか、および、基数性についての記述は、文脈上の理論に依存する。
>つまり、”Theories of finite sets”＝有限集合理論 では、
>例えば、”In this context, the negation of the axiom of infinity may be added”
>とあるように、無限公理の否定をあえて追加する議論もありってこと。
英語翻訳できないの？中卒SET A
Axiomatizations
Theories of finite sets
The set Φ also represents the first von Neumann ordinal number, denoted 0.
And indeed all finite von Neumann ordinals are in ｱﾚﾌ0
and thus the class of sets representing the natural numbers,
i.e it includes each element in the standard model of natural numbers.
Robinson arithmetic can already be interpreted in ST,
the very small sub-theory of Z^{-} with axioms given by Extensionality,
Empty Set and Adjunction.
Their models then also fulfill the axioms consisting of
the axioms of Zermelo-Fraenkel set theory without the axiom of infinity.
In this context, the negation of the axiom of infinity may be added,
thus proving that the axiom of infinity is not a consequence of
the other axioms of set theory.
そのとき、それらのモデルは、Zermelo-Fraenkel集合論の公理からなる公理を、
無限公理を除いて満たすことにもなる。
このとき、無限公理の否定を加えることで、
無限大の公理が集合論の他の公理の帰結でないことを証明することができる。
110:１３２人目の素数さん
22/01/13 19:44:48.18 VN40DQWB.net
>>85
>で、ZFのcontextでは、無限公理は認める立場だ
>この立場は、古代ギリシャのユークリッドが、
>素数の無限を証明したのと同じ（標準的立場）
>つまり、自然数集合N 元 1,2,3,・・ で、
>濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、
>但し∀nたちは有限
素数が無限にある、というのにZFなんていらないが
自然数論に自然数集合Nなんていらないが
>よって、このcontextでは 上記の”Vω=∪ k=0～∞ Vk”も、正当化できる
∞は自然数じゃないが
0～∞とか頭大丈夫？
Vω=∪ k=0→∞ Vkなら、許せる
→∞は 限りなく大きくなるというだけで
最後の自然数∞が存在するとか
V∞が存在するとかいう
「人間失格のニホンザル発言」
とは全く異なるから
>「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」
>というこの一見矛盾した状況…
個々のｎが有限集合であることと
ｎ全体の集まりが有限集合を成し得ないことが
矛盾すると思ってる時点で
SET Aは人間失格のニホンザル
>…が理解できないレベルならば、
>カントールの順序数論では、
>まっとうに議論できるレベルじゃない（低レベル）
SET Aは無限が全く理解できない最低レベルのニホンザル
111:１３２人目の素数さん
22/01/13 19:47:58.06 VN40DQWB.net
>>86
>ω重シングルトンを否定しているわけでもない
SET Aはω重シングルトンが集合として構成できない
ということが全く理解できないニホンザル
>ω重シングルトンで”existence of urelements”
>かもしれないが、まだそこまで行ってないよね
SET Aは、urelementはω重シングルトンではない、
という初歩的なことが全く理解できないニホンザル
112:１３２人目の素数さん
22/01/13 19:52:42.28 VN40DQWB.net
>>96
>普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
> Vω=∪k=0～∞ Vk
> ↓
> Vω=∪k∈N Vk
> と解釈すれば良い
∞はN＝{0,1,2,・・}の要素ではない
したがってVω=∪k=0～∞ Vkと書けない
書けないことを書くSET Aは精神異常の廃人
>つまり、添え字として kは全ての自然数を渡るってことだな
> Vk が数列の場合には
> Σk=0～∞ Vk
> ↓
> Σk∈N Vk
> と解するが如しだ
無限級数をΣk=0～∞ Vkと書くSET Aは
無限級数に最後の項V∞があると妄想する
精神異常の廃人
大学に入れないわけだ
大阪大学？無理に決まってるだろ
●違い廃人や人間失格のサルが合格できるわけない
113:１３２人目の素数さん
22/01/13 19:57:18.31 VN40DQWB.net
無限級数に∞番目の項などないから
Σk=0～∞ と書くのは
正真正銘の🐎🦌であり●違い
114:１３２人目の素数さん
22/01/13 19:59:20.07 1rNbLhot.net
Σ_k=0^∞みたいな書き方はするよね
115:１３２人目の素数さん
22/01/13 20:28:05.83 i4s8QaxG.net
底辺准教は55歳までTeX表記を知らず
(_下限^上限)表記を見るたびに「式が間違っている」
という意味不明な妄想を口走っていたっけ
どういう生き方をしたら25年間ネットに入り浸りでTeXの数式表記法を知らないまま過ごせるのか謎だw
116:１３２人目の素数さん
22/01/13 20:32:29.51 1MQsTHJR.net
底辺准教の歳だと20歳頃にマグロウヒルとASCIIのTeX有料配布が入手可能になっていて
大学院在籍期間中に一度は試してみるのが普通
底辺准教はそういった普通の経験の積み方をしていないから基本常識があちこちで欠落している
117:１３２人目の素数さん
22/01/13 20:33:59.41 Ya/14Yx8.net
と、Sexを知らない引き篭もりの統失おじさんが呟いております
118:１３２人目の素数さん
22/01/13 20:42:08.81 i4s8QaxG.net
二セ科学批判力ル卜が多用する特異語 [改訂版]
1. ニ セ 科 学 | エ セ 科 学 | 疑 似 科 学
2. ト ン デ モ | 【ペ テ ン 師】 | デ マ | ウ ソ | 詭 弁 | 病 気
3. 信 者 | 信 奉 者 | 教 祖 | 信 じ る
4. 負 け を 認 め て 黙 れ
5. 自 殺 | 氏 ね
6. 自 分 が 本 当 の 被 害 者
7. 月 刊 ム ー | オ カ ル ト | 宇 宙 人
8. 理 研 | S T A P 細 胞 | 小 保 方 | オ ボ カ タ
9. 岡 崎 | 丘 裂 き | 生 物 多 様 性
10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a)
11. 悪 魔 の 証 明
12. キ チ ガ イ | 統 合 失 調
13. パ イ ロ ッ ト の ダ ー リ ン | セ ッ ク ス | S e X
119:１３２人目の素数さん
22/01/13 20:44:57.49 1MQsTHJR.net
底辺准教のひと
クリスマスイブに1時間おきに掲示板に
「いまおとことせっくすしている」
って必死に書いてたのが泣けたね
ふつーそれ書いたらぼっちっとバレるのに
底辺准教は頭が悪いから大変だよな
120:１３２人目の素数さん
22/01/13 20:56:07.23 VN40DQWB.net
＞「いまおとことせっくすしている」
色情狂なんかな？そのBBA
121:１３２人目の素数さん
22/01/13 20:58:10.85 h/fCgb/z.net
>>106
>Σ_k=0^∞みたいな書き方はするよね
スレ主です
ありがとうございます
同意です
>>96 補足
> ２．つまり、添え字として kは全ての自然数を渡るってことだな
> Vk が数列の場合には
> Σk=0～∞ Vk
> ↓
> Σk∈N Vk
> と解するが如しだ
ID:VN40DQWB氏か
なんか、わけ分からんやつが、
ぐだぐだ言っているな
下記の「VI. 冪級数 」山田光太郎 東工大 見れば
「(6.1) 馬=0～∞ anx^n = a0 + a1x + a2x^2 + . . .」
という形の”馬=0～∞”という記法
これスタンダードだと思うぜ
（ここ5ch板では狽ｳ確に難しいので略記だが）
中高一貫校なら、中学レベルだと思うよ
(参考)
URLﾘﾝｸ(www.math.titech.ac.jp)
2016年3月28日
授業/山田光太郎
微分積�
122:ｪ学第一 （2015年度） 東京工業大学大学院理工学研究科数学専攻 東工大ホーム | ミラー http://www.math.titech.ac.jp/~kotaro/class/2015/calc2/lecture-06.pdf 微分積分学第一 （2015年度） 山田光太郎 東京工業大 2016年2月5日 講義ノート VI. 冪級数 与えられた数列 {an}n=0～∞ と文字 x に対して (6.1) 馬=0～∞ anx^n = a0 + a1x + a2x^2 + . . . の形の級数を x に関する冪級数という ． (引用終り) 以上
123:１３２人目の素数さん
22/01/13 21:00:41.14 h/fCgb/z.net
>>113 タイポ訂正
（ここ5ch板では狽ｳ確に難しいので略記だが）
↓
（ここ5ch板では狽ｳ確に書くのは、難しいので略記だが）
124:１３２人目の素数さん
22/01/13 21:20:46.84 VN40DQWB.net
>>113
＞中高一貫校なら、中学レベルだと思うよ
つまり大学に入れなかったってことか
やっぱSET Aは中卒馬鹿野郎だったな
だから∞は最大の自然数！とか
キチガイ発言するんだよ ばぁぁぁか（嘲）
125:１３２人目の素数さん
22/01/13 21:23:17.07 VN40DQWB.net
>>106
＞Σ_k=0^∞みたいな書き方はするよね
∞番目の項がないとわかっているならいいが
書かれているから存在する、と盲信する
ニホンザルのSET Aはそういう書き方をしてはいけない
126:１３２人目の素数さん
22/01/13 21:25:42.06 VN40DQWB.net
>なんか、わけ分からんやつが、
>ぐだぐだ言っているな
中卒のニホンザルはここに書くな、シッシッ！！！
127:１３２人目の素数さん
22/01/13 21:27:52.33 VnIxzqcu.net
>>98-105
何やってたん猿魔大王テメェずっと代行なんかに任せて留守してっからトンデモ天下だったじゃねぇか此の莫迦如来が､
世話ん成った窮年に続き凅年も苦しく御願い致し候らえば4分身3交代6勤2休による合計で年中無休の体制で
数学板過誤自説者の取締り畏こみ畏こみ御願い申し上げ奉っから監視徹底完璧無尽完全無欠統治統制救苦救難の限り､
しろやテメェ此の野郎の此の度の御降臨に恐悦至極感謝感激の意を申し上げ
奉りますホントに。ホントだよホント何だ莫迦ヤローホントにホントにホントに御苦労さん、ハァ～あビバノンノ｡
以上、去れセタ来い石、でした、ダレダコリャ｡
128:１３２人目の素数さん
22/01/13 22:30:49.82 h/fCgb/z.net
>>113 追加
「級数を表す記号として大文字のシグマを初めて使ったのはオイラー (1775) だった」
ってよ
中高一貫校なら、中学レベルだろう
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
級数
級数 (きゅうすう、英: series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える（#級数の収束性の節を参照）ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。
歴史
級数を表す記号として大文字のシグマを初めて使ったのはオイラー (1775) だったが、この記号はすぐには広まらなかった[13]。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Series (mathematics)
This article is about infinite sums. For finite sums, see Summation.
Contents
1 Basic properties
1.1 Convergent series
2 Examples of numerical series
2.1 π
2.2 Natural logarithm of 2
2.3 Natural logarithm base e
(引用終り)
以上
129:１３２人目の素数さん
22/01/13 22:31:12.80 Ya/14Yx8.net
>>111
成績Fで退学になったのひとモドキ
クリスマスイブに匿名掲示板に張り付き北国にいる片思いの熟女をストーキングしててぼっちとバレてるよ
俺なんて若い彼女とセックスしながら書き込んでたぜ
130:１３２人目の素数さん
22/01/13 22:44:36.45 VnIxzqcu.net
>>109
何だ此んの糞の悪臭悪寒超えの極限も真っ青な巨視的どころじゃない異次元全次元ヒルベルト空間網羅レベル大莫迦野郎､
其りゃあ俺の事だよ此の韓流人糞酒性的嗜好家級のドン引きド腐れ性根底意地人間が｡
だぁぁぁあああれだ俺を風俗狂い認定する莫迦は!!俺は数学板風俗覇者のking様の弟子◆(略)に
『風俗にも行けない臆病者』呼ばわりされ続けてる上に求婚願い下げ18回の魔法使いだ俺は｡
あぁそうだよ普段から会社でイオ系呪文機関の効率と排気ガス汚濁の研究員だ莫迦野郎どもが｡
イオナズン（下の世代はイオグランテと形容していた。何だイオグランテって知らんぞ）は
犯人は俺だ。切れた指をくっ付けようとして電気を通して指をくっ付かった喜びで
電線を摘まんでた別の手が電線をうっかり離して耐久試験中のエンジンの燃料供給ホース手前近くの
サージタンク的な意味合いの供給安定タンク…の故障代替であるポリタンクで、やっちまいました｡
進展優先に駆られた上司と其のまた上司の落とし前に成りましたが現行犯はた…俺だぁあ（北斗ジャキ風）!!
まぁ強制命令&再三拒否の証拠が揃ってたんで俺は『事故に加担しつつも救うべき強制労働者』扱いで免除救済されたが｡
日本て、いつまで此んなナァナァのゴリ押しを被る勤務を強いられるんだろう？
131:１３２人目の素数さん
22/01/13 22:51:50.18 VnIxzqcu.net
>>120
いや其れは其れで書き込んで来るなよ、事に熱中しろよ。まさか振動機械で相手を弄ってた最中だった訳じゃ在るまい？
ハァ…6047万、いつ還して呉れるんだよ実家家族…ぜってぇ俺、美味しい美味しい餌にされてるわ…家畜ですらない…
132:１３２人目の素数さん
22/01/14 02:21:39.07 CrIectkt.net
本日もまたまた底辺准教天羽優子の発狂連投でスレが埋まる
133:１３２人目の素数さん
22/01/14 03:27:46.95 CE45nLtp.net
すごいよね
級数をΣで書くって�
134:ｾけのことでこれだけ上から目線できるんだから
135:１３２人目の素数さん
22/01/14 06:05:22.21 RgCs01Lu.net
あれ？ダメダコリャって書いたつもりがダレダコリャに成ってた
呑みが足りんな、よし帰ったら呑み直そう
136:Antigod
22/01/14 06:49:56.91 .net
>>118
>何やってたん猿魔大王
俺を呼んだか、俗人
>テメェずっと代行なんかに任せて留守してっから
実はID無しが本物だ 平日は忙しいのでバイトに任せてる
>トンデモ天下だったじゃねぇか此の莫迦如来が､
そいつは悪かったな 政府のコロナ対応と同じで効果的な策がなくてな
トンデモのアクセス制限ができれば一番いいんだが そう思わんか？
137:Antigod
22/01/14 06:53:04.44 .net
>>119
また中卒で工業高校中退の🐎🦌ヤンキーのSET Aが暴れてんのか？
いいかげん∞が自然数ではなく、無限級数に∞番目の項などなく
Σ(n=0~∞)と、あたかも∞が最後の自然数で終わるように見える
馬鹿表現は間違ってるということに気づけ だから大学には入れねえんだよｗ
ま、高校卒業できねえ大検受からねえんじゃしょうがないけどな
138:Antigod
22/01/14 06:58:01.89 .net
>>121
>だぁぁぁあああれだ俺を風俗狂い認定する莫迦は!!
>俺は数学板風俗覇者のking様の弟子◆(略)に
>『風俗にも行けない臆病者』
>呼ばわりされ続けてる上に
>求婚願い下げ18回の魔法使いだ俺は｡
直接関係ないが
全身整形後の深田えいみより
ジミ顔でひんぬーの天海こころのほうが
エロくてそそると思ってるワシは
ブサ専の変態なんじゃろうか？
139:１３２人目の素数さん
22/01/14 07:59:39.25 IZkYfMnU.net
>>124
>すごいよね
>級数をΣで書くってだけのことでこれだけ上から目線できるんだから
同意だが
でもな
>>105より
「無限級数に∞番目の項などないから
Σk=0～∞ と書くのは
正真正銘の歷であり●違い」
と、さらに上から目線するやつ居たりするんだなｗ
５ｃｈ数学板ってところはよｗｗ
で、数学史の教えるところ、
”新しい概念を言ったもの勝ち”ってところあるよ
例えば、∞もそうなんだよね
無限をめぐっては、古代ギリシャ以来の長い論争の歴史があるが
「∞あり！」が、21世紀の数学です
これIUTにもつながる話
望月ワールドの新規な概念がどうなるか？
ショルツェ氏は、「そんなん無い」というけれど
査読は通り出版された
2022年の新しい展開や、いかに
乞うご期待です
140:Antigod
22/01/14 08:08:16.44 .net
>>129
>”新しい概念を言ったもの勝ち”
>∞もそうなんだよね
>「∞あり！」が、21世紀の数学です
( ﾟДﾟ)ﾊｧ?
なんやこの人間失格のﾆﾎﾝｻﾞﾙはペアノ公理否定するんか？
∞は最後の自然数と吠えるんか？ キチガイなんか？ 🐎🦌なんか？
>これIUTにもつながる話
>望月ワールドの新規な概念がどうなるか？
( ﾟДﾟ)ﾊｧ?
IUTは自然数論を否定する「∞は自然数」公理の上の理論と開きなおるんか？
望月ワールドは非ペアノ数論上の世界と開き直るんか？
SET Aは反数学のキチガイなんか？ 🐎🦌なんか？
>2022年の新しい展開や、いかに
>乞うご期待です
2022年のICMで望月新一が何の賞も取れず
講演でもIUTが何の話題にならず
「疑惑の理論」とスキャンダラスな取り上げられ方しか
されなかったらSET Aは自ら火を放って焼死しろよな
🐷の丸焼き 一丁上がり
7/14は焼肉パーティーだぜぇぇぇぇぇ！！！
141:１３２人目の素数さん
22/01/14 09:23:56.97 CvZUjLuH.net
普通のひとの自演は、他の人の会話の合間に一人二役で書き込みをして自分の話題を盛り上げる程度だけど
この底辺准教の自演はスレを一人で埋め立てて、他の人の書き込みがあるたびに全�
142:ﾍで噛み付く異常者スタイルだから一目で精神の異常性が判る
143:DiverCity
22/01/14 09:28:10.46 .net
>>131 クスリ飲んでる？
エビリファイ・レキサルティ いろいろあるよ
URLﾘﾝｸ(www.otsuka.co.jp)
144:１３２人目の素数さん
22/01/14 11:42:25.99 oRTqu1Ol.net
>>132
>エビリファイ・レキサルティ いろいろあるよ
おサルさん>>7 この手の薬に、めちゃ詳しいね
エビリファイ、レキサルティは、通常統合失調症の治療に用いられますか
まあ、経験あるんだろうね、統合失調症の治療
（参考）
URLﾘﾝｸ(www.rad-ar.or.jp)
くすりのしおり
商品名：
エビリファイ錠1mg
主成分：
アリピプラゾール（Aripiprazole）
剤形：
微赤白色の錠剤、直径6mm、厚さ2.5mm
シート記載：
（表）OG74、エビリファイ錠、Otsuka、1mg、（裏）エビリファイ錠1mg
この薬の作用と効果について
脳内の神経伝達物質であるドパミンなどの受容体に作用し、幻覚・妄想などの症状を抑え、不安定な精神状態を安定させるとともに、やる気がしない、何も興味が持てないといったような状態を改善させます。また、抑えることのできない感情の高まりや行動などの症状を改善します。
通常、統合失調症の治療、双極性障害における躁症状の改善、うつ病・うつ状態の治療、小児期（原則として6歳以上18歳未満）の自閉スペクトラム症に伴う易刺激性の治療に用いられます。
URLﾘﾝｸ(www.rad-ar.or.jp)
くすりのしおり
商品名：
レキサルティOD錠1mg
主成分：
ブレクスピプラゾール（Brexpiprazole）
この薬の作用と効果について
脳内の神経伝達物質であるセロトニンやドパミンなどの受容体に作用し、幻覚・妄想などの症状を抑え、不安定な精神状態を安定させるとともに、やる気がしない、何も興味が持てないといったような状態を改善させます。
通常、統合失調症の治療に用いられます。
145:１３２人目の素数さん
22/01/14 19:43:23.05 bsJyr68M.net
> ”新しい概念を言ったもの勝ち”ってところあるよ
> 例えば、∞もそうなんだよね
> 無限をめぐっては、古代ギリシャ以来の長い論争の歴史があるが
> 「∞あり！」が、21世紀の数学です
「∞なし」の自然数全体の集合の順序数が有限でない(無限)順序数で最小なのだから
> 「∞あり！」が、21世紀の数学です
「∞あり！」の場合に最小の(無限)順序数になるわけないよね
146:１３２人目の素数さん
22/01/14 21:07:54.77 IZkYfMnU.net
>>134
どうも、スレ主です
ID:bsJyr68Mさんか、レスありがとう
無限の歴史は、多分いままでにも
多くの人が語ってきたと思う
例えば、下記など
無限 URLﾘﾝｸ(ja.wikipedia.org)
目次
1 無限に関する様々な数学的概念
2 歴史
Infinity URLﾘﾝｸ(en.wikipedia.org)
Contents
1 History
1.1 Early Greek
1.2 Zeno: Achilles and the tortoise
1.3 Early Indian
1.4 17th century
(引用終り)
話は飛ぶが、以前古代ギリシャの哲学 アリストテレスの無限論を調べたことがあったんだ
細かいことは忘れたが、古代ギリシャでは時間が無限だと考えられていたらしい
時間とは、昔からずっとあって、未来にもずっとあるみたいなね
現代数学で言えば、時間パラメータ tを添え字として、確率変数 Xtを考えるみたいな
（確率変数で連続パラメータを考えるんだ。この場合t=0から始まる場合が多いけど）
URLﾘﾝｸ(ja.wikipedia.org)
確率変数
像が非可算個である時、X は連続型確率変数
(引用終り)
つづく
147:１３２人目の素数さん
22/01/14 21:08:26.54 IZkYfMnU.net
>>135
つづき
で、カントールは、19世紀後半に、無限集合論を考えたけれど
人は、無限集合論以前�
148:ｩら、無限を考えてきた。数学以前には、哲学としてね そして、ニュートンやライプニッツ、オイラーの時代に、数学に無限を取り込んだ（ニュートンより少し前、ウォリスが有名だが） https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%BB%E3%82%A6%E3%82%A9%E3%83%AA%E3%82%B9 ジョン・ウォリス（John Wallis、1616年11月23日 - 1703年10月28日） 無限大記号の「∞」を導入したのもウォリスである。 (引用終り) そして、”∞とはなんぞや？”、”∞をどう考えるべきか？” 21世紀には、21世紀の「∞」に対する考えがあると思うんだよね
149:１３２人目の素数さん
22/01/14 21:40:12.81 Qh6ArH/E.net
ここを見ると頭痛くなるな、色んな意味で
150:１３２人目の素数さん
22/01/14 21:45:07.88 CrIectkt.net
本日もまたまた底辺准教天羽優子の発狂連投でスレが埋まった
151:１３２人目の素数さん
22/01/14 22:21:04.33 CPvLtDMz.net
> そして、”∞とはなんぞや？”、”∞をどう考えるべきか？”
> 21世紀には、21世紀の「∞」に対する考えがあると思うんだよね
そう思うのは勝手だがそれで「ω重シングルトン」を肯定することは
できないだろ
152:１３２人目の素数さん
22/01/14 23:00:12.92 CvZUjLuH.net
底辺准教は話題が乏しいので毎日同じ話の繰り返し
153:１３２人目の素数さん
22/01/14 23:24:03.36 yt9usf09.net
>>140
包茎同士の性交で生まれた包茎児が皮被ったまま大学に入ってしまいズル剥けの同級生の中で精神を病んで退学して長野のバナナの皮で出来た家に引き篭もり大学で出会った素敵な歳上女性を超長期ストーキングしながら皮オナニーする毎日を過ごしているおじさん
154:１３２人目の素数さん
22/01/14 23:39:51.19 IZkYfMnU.net
>>139
>そう思うのは勝手だがそれで「ω重シングルトン」を肯定することは
>できないだろ
＜双対定理＞
そう思うのは勝手だがそれで「ω重シングルトン」を否定することは
できないだろ
ｗｗｗ
155:１３２人目の素数さん
22/01/15 00:14:53.83 E0wCw7+f.net
>>96 補足の補足
> １．普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
> Vω=∪k=0～∞ Vk
> ↓
> Vω=∪k∈N Vk
> と解釈すれば良い
「∪k∈N Vk」のような記法は、普通に位相の開集合の公理でも出てくるよね（下記）
” {Ui:i∈ I}⊆ τ then ∪i∈I Ui∈ τ (any union of open sets is an open set)”などと
普通でしょ
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Open set
Topological space
A topological space is a set on which a topology is defined, which consists of a collection of subsets that are said to be open, and satisfy the axioms given below.
More precisely, let X be a set. A family τ of subsets of X is a topology on X, and the elements of τ are the open sets of the topology if
・ X∈ τ and Φ ∈ τ (both X and Φ are open sets)
・ {Ui:i∈ I}⊆ τ then ∪i∈I Ui∈ τ (any union of open sets is an open set)
・ U1,・・・ ,Un∈ τ then U1∩ ・・・ ∩ Un∈ τ (any finite intersection of open sets is an open set)
Infinite intersections of open sets need not be open.
(引用終り)
以上
156:１３２人目の素数さん
22/01/15 00:54:29.82 HiV/r4fj.net
>>142
>そう思うのは勝手だがそれで「ω重シングルトン」を否定することは
>できないだろ
そう思うのは勝手だがそもそも「ω重シングルトン」なるものをお前は定義できてないだろ
存在を主張したいならまず定義を示しなよペテン師くん
157:１３２人目の素数さん
22/01/15 02:59:08.95 rJnmIXXq.net
>>129
おいおい…相変わらず人間やめて成った馬と鹿の交雑種ぶりを発揮してるな。あのな？
Σ[k=1,∞]9/10^k
て書き方はな、本来は
lim[n→∞]{Σ[k=1,n]9/10^k}
と書くべき式を崩し書きで砕けた書き方だから決して
1≦k≦∞
なんかじゃなくて
1≦k<∞
だって事は公知共通事実だろ、何でテメェで数学板に何年も居て誤解に気付けないんだよ？
何で自己流どころじゃない独善流に引き籠り続けてんだテメェは
158:？ そんなテメェ勝手な妄想曲解ばかり、よく続けてられるよな。そんなんだから 『0.999…も有限小数しか無い世界では1に成るよね。』とか言い出すんだよ 有限小数しか無い世界ならそもそも無限小数0.999…も無いだろ此の人間やめた馬と鹿の交雑種が｡
159:１３２人目の素数さん
22/01/15 03:41:58.08 rJnmIXXq.net
常人は k=0～∞ て記述を見たら文系でも無い限り
0≦k<∞
と解釈するが人間やめて馬と鹿の交雑種に成ったセタは
0≦k≦∞
と解釈するだけに飽き足らず
ω∈有限自然数の集合
とさえ解釈し有限と無限も一緒朽多にする人間やめた馬と鹿の交雑種。無論 ω は有限順序数ではなく超限順序数なので
有限順序数である有限自然数のみから成る有限自然数の集合に属す事は無い｡
（超限順序数を妄りに無限大自然数と同一視して良いのかに就いては定義の土台が違うので
関係性を示す手順無しに安直な惰性で同一視してはいけないが少なくとも ω は有限順序数では無く超限順序数だから
有限自然数では無いし有限自然数か無限大自然数か何ちらか二者択一を強いて答えさせられるならば
無限大自然数を選ぶべきだろう。其の ω を有限自然数に含み入れたセタは正に人間やめた馬と鹿の交雑種。)
160:Antigod
22/01/15 07:56:40.01 .net
>>136
>”∞とはなんぞや？”、”∞をどう考えるべきか？”
>21世紀には、21世紀の「∞」に対する考えがある
( ﾟДﾟ)ﾊｧ?
21世紀はペアノの公理否定するいうんか？
どんな新公理で否定するいうんか？
いいから工業高校中退のナニワのヤンキーDQNの貴様が考える
最新の自然数論の公理とやらを示してみいや！ 腐れSET A！
161:DiverCity
22/01/15 08:00:10.68 .net
>>139
>> 21世紀には、21世紀の「∞」に対する考えがあると思うんだよね
>そう思うのは勝手だが
>それで「ω重シングルトン」を肯定することはできないだろ
最大元が存在しない無限集合が存在する時点で
ω重シングルトンは不可能なんだよ
それに気づかないSET Aは
・・・実無限が理解できん21世紀の「アリストテレス」！
なにがグロタンディクじゃ、なにがガロアじゃ
SET Aみたいなニホンザル、アルキメデスにもなりゃせんわ！
162:DiverCity
22/01/15 08:02:44.63 .net
>>142
>＜双対定理＞
>そう思うのは勝手だが
>それで「ω重シングルトン」を否定することはできないだろ
頭おかしいわ、ニホンザル
いうとくけど、人格障害には薬効かへんでｗ
163:Antigod
22/01/15 08:11:56.62 .net
>>143
>「∪k∈N Vk」のような記法は、普通に位相の開集合の公理でも出てくるよね
だから？
∞はNの要素ではない そんなん高校生でもわかるわｗ
さすが工業高校中退のナニワのヤンキーは、高校生の常識すらないのうｗ
>>145
> あのな？
> Σ[k=1,∞]9/10^k て書き方はな、本来は
> lim[n→∞]{Σ[k=1,n]9/10^k} と書くべき式を崩した書き方だから決して
> 1≦k≦∞ なんかじゃなくて
> 1≦k<∞ だって事は公知共通事実だろ、
もちろん、普通科から国立大に入るヤツなら皆知っとる常識
しかし、工業高校の数学すらついていけんで中退した
ナニワのヤンキーDQNには全く理解できんことらしいで
ほんま、ニンゲン失格のニホンザルじゃなあ
>そんなんだから
>『0.999…も有限小数しか無い世界では1に成るよね。』
>とか言い出すんだよ
終わりのない小数は、ニホンザルの理解を超えるんやてｗ
>>146
>常人は k=0～∞ て記述を見たら文系でも無い限り
> 0≦k<∞ と解釈するが…セタは
> 0≦k≦∞ と解釈するだけに飽き足らず
> ω∈有限自然数の集合
>とさえ解釈し有限と無限も一緒朽多にする
それがニンゲン失格のニホンザル SET A
164:１３２人目の素数さん
22/01/15 09:33:57.38 E0wCw7+f.net
>>143 補足
(引用開始)
> １．普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
> Vω=∪k=0～∞ Vk
> ↓
> Vω=∪k∈N Vk
> と解釈すれば良い
「∪k∈N Vk」のような記法は、普通に位相の開集合の公理でも出てくるよね（下記）
” {Ui:i∈ I}⊆ τ then ∪i∈I Ui∈ τ (any union of open sets is an open set)”などと
普通でしょ
(引用終り)
松坂和夫「集合・位相入門」（岩波 1968）と 斎藤毅 「集合と位相」（東大出版会 2009）
とを見たが、i∈ IでIの定義を特にしていないな
Iは、添え字集合だとある。多分、英語でIndexってことでしょう
Iの定義を特にしていない理由は、先へ行って、第一可算公理や第二可算公理を扱うと
Iは可算で間に合うようになるのだろう
しかし、最初は可算か非可算かを決めない方が綺麗なのだろう
かつ、ここを細かく書くと、後の内容第一可算公理や第二可算公理に深入りしかねないので、
初期の記述としては、スルー�
165:ｵている気がする ここらの機微は、初心者には難しいよね で、>>96 "Σk=0～∞ Vk"のような記法は、オイラーが使い始めた>>119らしい で、オイラーはさすがに、添え字集合を使った和 ”Σk∈N Vk”>>96 までは考えなかったろう だが、k=0～∞の意味は、∀k∈Nってことじゃないかな？ 多分（いまオイラー細かく詮索する意義うすい） が、高校から大学の解析系でも、"Σk=0～∞ Vk"は普通だし、”Σk∈N Vk”で ∀k∈Nと解される ワケワカいうやついるけどな ｗｗ ワッハハ ｗｗ つづく
166:１３２人目の素数さん
22/01/15 09:34:26.39 E0wCw7+f.net
>>151
つづき
余談だが
ウォリス>>136 URLﾘﾝｸ(ja.wikipedia.org)
で、”今では当たり前となっている負数が 0 より小さいという考え方をウォリスは不合理だとして拒絶し、スイス人数学者レオンハルト・オイラーと同様に負数は無限大より大きいという見方を支持した。負数が無限大より大きいという考え方は、x を正の大きな数から 0 に近づけていくと 1/x の値が無限大になることを根拠としている。それにもかかわらず、負数を左、正数を右に描く数直線の考え方はウォリスが考案したとされている。”
とあるのは、面白いと思った
下記の負温度：負温度は正の温度より「熱い」状態を示している
に類似かもｗ
URLﾘﾝｸ(ja.wikipedia.org)
第一可算的空間
第一可算空間（だいいちかさんくうかん、英: first-countable space）とは、"第一可算公理"を満たす位相空間のこと
URLﾘﾝｸ(ja.wikipedia.org)
負温度（ふおんど、英: negative temperature）とは、統計力学においてボルツマンの原理から定義される温度が負となること、またその際の温度を指す。
この温度には下限が存在し（絶対零度）、この下限を零とする適当な温度単位を定義することができる。したがって平衡熱力学の範囲では負温度は現れない。 しかし統計力学における逆温度を平衡熱力学における温度と関連付けることで、逆温度が負となるような系に対して、負の温度を考えることができる。
負温度を持つ系を正の温度を持つ系に接触させると、負温度を持つ系から正温度を持つ系へ熱が移動する[2]。つまり、（名前の印象に反して）負温度は正の温度より「熱い」状態を示している。 また負温度は、正の温度の場合とは逆に、絶対値が小さいほど「熱い」状態を表す。
(引用終り)
以上
167:DiverCity
22/01/15 09:51:45.22 .net
>>151
>i∈ IでIの定義を特にしていないな
>Iは、添え字集合だとある。
>Iの定義を特にしていない理由は、
>先へ行って、第一可算公理や第二可算公理を扱うと
>Iは可算で間に合うようになるのだろう
>しかし、最初は可算か非可算かを決めない方が綺麗なのだろう
>かつ、ここを細かく書くと、
>後の内容第一可算公理や第二可算公理
>に深入りしかねないので、
>初期の記述としては、スルーしている気がする
「･･･のだろう」「･･･なのだろう」「･･･気がする」
全部中卒ド素人の勝手な妄想じゃん
ことごとく間違ってるよ
なんでインデクス集合Ｉに
定義は必要だと勝手に決めつけてんだ？
この🐎🦌ニホンザルは
168:DiverCity
22/01/15 09:57:12.31 .net
>>151
>k=0～∞の意味は、
>∀k∈Nってことじゃないかな？ 多分
云っとくが、
「だから、∞∈Nだ オイラーはもちろんそう考えていた」
とほざくなら、それは完全に●違いの戯言だ
>高校から大学の解析系でも、
>"Σk=0～∞ Vk"は普通だし、
>”Σk∈N Vk”で ∀k∈Nと解される
普通科高校から
駅弁レベルでも国立大学に入れる程度の
脳味噌を持ってる奴なら
∞がNの要素でないことくらいわかる
∞が自然数だとかいう
「ワケワカランこと」いうやつ
は、工業高校中退のナニワのヤンキーニホンザル SET Aだけ
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
wwwwwww
169:DiverCity
22/01/15 10:01:59.23 .net
>>155
負温度の件は全部無視して
>第一可算的空間
>第一可算空間（だいいちかさんくうかん）とは、
>"第一可算公理"を満たす位相空間のこと
170:なんじゃこりゃｗｗｗｗｗｗｗ こんなクソコピペなら、全然せんほうがマシじゃｗｗｗｗｗｗｗ なんで肝心の第一可算公理の説明を引用せんのじゃ 数式一つ読めん文盲ニホンザル！ ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 位相空間 X が第一可算公理を満たすとは 「各点 x が高々可算な近傍からなる基本近傍系（局所基）をもつこと」 を指す。 すなわちx の可算個の開近傍 U1, U2, …で 以下の性質を満たすものが存在するということである 「x の任意の近傍 V に対しある i ∈ N が存在し、Vは Uiを部分集合として含む。」 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
171:DiverCity
22/01/15 10:07:56.78 .net
工業高校中退のナニワのヤンキーニホンザル SET Aは
自然数の定義すら知らんｗ
任意の自然数ｎは、１足したものも自然数になるし
１ずつ引いていったら必ず０に到達する
∞はその性質を満たさん
∞＋１って何じゃ？
∞－１って何じゃ？
∞＝∞＋１なら、∞ー１＝∞じゃ
つまり∞からいくら１引いても∞のままで０に辿り着かんｗ
ニホンザル SET Aが🐎🦌の一つ覚えでわめくリーマン球面での
写像ｚ＋１で、∞は唯一の不動点 これ大学２年生の常識
知らん奴は大卒名乗ったらあかんｗｗｗ
172:１３２人目の素数さん
22/01/15 10:45:22.32 xjjFR+zA.net
【後遺症】コロナ感染で男性器の「サイズが縮小」との報告が相次ぐ、「一生このまま」と医師
ある男性は「約3.8センチ短くなった」と告白。専門家の調査でも数は多くないものの、「精巣や陰茎のサイズ縮小」が報告されている
URLﾘﾝｸ(www.newsweekjapan.jp)
173:１３２人目の素数さん
22/01/15 11:27:09.87 E0wCw7+f.net
>>142
>＜双対定理＞
>そう思うのは勝手だがそれで「ω重シングルトン」を否定することは
>できないだろ
>>86 Zermelo set theory (sometimes denoted by Z-) URLﾘﾝｸ(en.wikipedia.org)
ここで、Zermelo set theoryで批判されているのは、ノイマン構成に比べてのこと
Zermeloでは、空集合Φ={}から始まって、Φ={},{{}},{{{}}},・・と全ての自然数が出来て
ω(=N)＝{0,1,2,・・}ができるとする（Φ={}→0,{{}}→1,{{{}}}→2,など）
ここから、{ω},{{ω}},{{{ω}}},・・とできるけど、
”In the usual cumulative hierarchy Vα of ZFC set theory (for ordinals α), any one of the sets Vα for α a limit ordinal larger than the first infinite ordinal ω (such as Vω・2) forms a model of Zermelo set theory. So the consistency of Zermelo set theory is a theorem of ZFC set theory. Zermelo's axioms do not imply the existence of ｱﾚﾌω or larger infinite cardinals, as the model Vω・2 does not contain such cardinals. (Cardinals have to be defined differently in Zermelo set theory, as the usual definition of cardinals and ordinals does not work very well: with the usual definition it is not even possible to prove the existence of the ordinal ω2.)”
などと批判されているよね
けれども、「ω重シングルトン」を考えるとき、二つの立場がある
1）公理的に、順次集合を構築して、「ω重シングルトン」に至る
2）公理的に、全ての集合や順序数が構築され、いろんな定義、定理（それは通常の数学の定義や定理も含む）を使って、「ω重シングルトン」をどう理解するか？
この二つは、区別しようね
そして、上記2）の立場だと、
1）に比べて自由度が上がっていることにも注意しようね
174:１３２人目の素数さん
22/01/15 11:39:09.40 6
175:uhAbuun.net
176:１３２人目の素数さん
22/01/15 11:59:31.61 E0wCw7+f.net
>>158
>けれども、「ω重シングルトン」を考えるとき、二つの立場がある
> 1）公理的に、順次集合を構築して、「ω重シングルトン」に至る
天地創造とか天地開闢とかに似ている
最初、空集合Φ={}だけがあった
神は、「自然数Nあれ」と言われた（無限公理）
すると、N＝{0,1,2,・・}があったｗ
というわけです
そして、数学の全ての数体系と定理がそろった
参考
URLﾘﾝｸ(ja.wikipedia.org)
天地創造とは、厳密にはユダヤ教のヘブライ語聖書、キリスト教の旧約聖書『創世記』における世界の創造のことを指す。宗教絵画などでよく題材となる[1]。
創世記 1章1-8節（口語訳聖書）
1 はじめに神は天と地とを創造された。
2 地は形なく、むなしく、やみが淵のおもてにあり、神の霊が水のおもてをおおっていた。
3 神は「光あれ」と言われた。すると光があった。
URLﾘﾝｸ(ja.wikipedia.org)(%E4%B8%AD%E5%9B%BD%E7%A5%9E%E8%A9%B1)
中国神話における天地開闢は、史記にも記載がなくその初めての記述は呉の時代（3世紀）に成立した神話集『三五歴記』（藝文類聚）や、『五運暦年記』『述異記』に記述がある[1]。盤古開天闢地、盤古開天とも。
あらすじ
天地がその姿かたちをなす前、全ては卵の中身のようにドロドロで、混沌としていた（『太上妙始経』ではこの状態を仮に「道（タオ）」と呼称し、万物の根源(神格化したものを元始天尊)とする）。
その中に、天地開闢の主人公となる盤古が生まれた。この盤古誕生をきっかけとして天地が分かれ始めたが、天は1日に1丈ずつ高さを増し、地も同じように厚くなっていった（従って、中国神話では、天の高さと地の厚さの長さは同じ）。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%97%A5%E6%9C%AC%E7%A5%9E%E8%A9%B1)
天地開闢 (日本神話)
目次
1 概要
2 あらすじ
2.1 『古事記』
2.2 『日本書紀』
177:１３２人目の素数さん
22/01/15 12:10:15.02 E0wCw7+f.net
>>159
>Kirti Joshi
>というインド系の女性数学者が望月とPeter Scholzeの懸け橋となって
>いつの日か共同研究して論文を書く未来がくる夢を見た
どうも、スレ主です
同意です
マジレスで悪いが、
Kirti Joshi氏は、男だったと思う
178:１３２人目の素数さん
22/01/15 12:15:53.33 6uhAbuun.net
あっ画像検索して出てくる女性は別人なんですね。
179:DiverCity
22/01/15 12:16:08.98 .net
>>158
>Zermeloでは、空集合Φ={}から始まって、
>Φ={},{{}},{{{}}},・・と全ての自然数が出来て
>ω(=N)＝{0,1,2,・・}ができるとする
>（Φ={}→0,{{}}→1,{{{}}}→2,など）
で、上記の ω(=N)＝{0,1,2,・・} は
「全ての有限シングルトンを要素とする”無限集合”」であって
「無限重”シングルトン”(=一元集合)」ではないが
もしかしてシングルトンが一元集合という意味だと知らなかったかね
中卒は数学だけでなく英語も知らんのだね 人間失格のニホンザルだね
>「ω重シングルトン」を考えるとき、二つの立場がある
>1）公理的に、順次集合を構築して、「ω重シングルトン」に至る
>2）公理的に、全ての集合や順序数が構築され、
> いろんな定義、定理（それは通常の数学の定義や定理も含む）を使って、
> 「ω重シングルトン」をどう理解するか？
>この二つは、区別しようね
まず 1)で無限回実施は不可能であると、理解しようね 中卒ニホンザル君
そして2)でいくらごてごて定義定理を持ち出したところで
決して「シングルトン」にならないことも、理解しようね 中卒ニホンザル君
180:Antigod
22/01/15 12:18:38.15 .net
>>160
>最初、空集合Φ={}だけがあった
>神は、「自然数Nあれ」と言われた（無限公理）
>すると、N＝{0,1,2,・・}があった、というわけです
台場君が指摘してるが、Nは無限集合であってシングルトンではないよ
181:１３２人目の素数さん
22/01/15 13:12:55.15 rJnmIXXq.net
Case 1
セタ→Seta→S eta→S穢多→スーパー穢多→超穢多
Case 2
セタ→Seta→Set a→集合a→便所虫の集合a→便食虫の集合a
住処はきっと奥の方 ボットン便器の奥の方
セタ爺はそこから出て来ない ボットン便器の奥の方
厚顔無恥の真っ赤な妄想を デコに咲かせてる
セタ爺はそこから出て来ない ボットン便器の奥の方
182:１３２人目の素数さん
22/01/15 13:34:54.15 rJnmIXXq.net
Case 3
セタ→Seta→seta→tesa→Tesa→鳥esa→鳥餌→鳥の餌
働いては損害ばかり。福祉でも迷惑ばかり。啓蒙しては嘘ばかり。
人権以外に生かす由も価値も無き全き害悪｡
鳥の餌にするか生ゴミ分解処理するが肝要…と思われたが
鳥の餌にするにも肥料にするにも不飽和脂肪酸と運動不足と眼精疲労によるストレス尽くしで全き害毒｡
よって屑鉄熔解炉投入が最適解。単分子レベルにまで佳く佳く分解し、屑成分として分離熔出し産廃へ｡
高温焼却炉では生温い、単分子レベルまでセタ意識クラウドを粉砕する事が必須｡
183:１３２人目の素数さん
22/01/15 13:41:25.03 E0wCw7+f.net
>>162
>あっ画像検索して出てくる女性は別人なんですね。
うん、そうですね
いま、数学者 Kirti Joshi氏の画像、消されているね
以前は、男性画像が貼ってあった
184:１３２人目の素人さん
22/01/15 13:55:24.28 CNM4+gSq.net
| >>164
∞
)…
\
!!
|
∞ 台場俊夫ｻﾝゎ
´д`))。◯゜ふゎもこﾌﾘ-ｽゎ
! !\◯。゜ぉ好ｷｨ! ﾃﾞｽｶ?
!!
|
∞ ふゎふゎもこもこｫﾌﾄｩﾝ(蒲団)
*д*) ﾐﾀｨﾅタートルネックの
⌒⌒)ふゎもこﾌﾘ~ｽ。。。
００ )…ﾎﾟｶﾎﾟｶ暖ｹｪﾅｧ…
✨o₄ｯﾁｬﾏ✨ﾆﾓ…分ｹﾃｬﾘﾃｪﾅｧ…
…ﾁｬｶﾎﾟｶ…ﾁｬｶﾎﾟｶ…ﾎﾟｯｶﾎﾟｶ…
185:１３２人目の素人さん
22/01/15 14:12:26.97 Dqdw7u4M.net
運営ﾉ🔥fireｳｫｫﾙﾙ…ﾃﾞ
ªªｽﾞﾚﾀ~!?
…º₄°₄…o₄ｯﾁｬﾏ!
嵐ｽﾄｶｼﾁｬｯﾃ…ｺﾞﾒﾝﾅｻｨ!
|=₃
| ! …
|∞ ﾇｯ! ／
|_=))
※多ﾄｶ…穢★ﾄｶ…
貶ﾒ·ﾀﾞﾒ·ｾﾞｯﾀｨ!
∞ ﾊﾞﾂﾀﾞ! ﾊﾞﾂﾀﾞ!!
>д<)×ﾊﾞﾂ×!ﾃﾞｽｿﾞ。
❌\ ｫｼｫｷﾀﾞ~!
><
|ｧﾋｨﾝ!
|=₃
186:１３２人目の素数さん
22/01/15 14:14:09.67 Lv54qNF1.net
共通テスト当日だから底辺准教書き込みが完全ストップするかと期待したのに
・半角カタカナのAA
・ID無し
・Set A連呼
を交互に使ったお人形さんごっこが激しいな
去年の共通テストの時の底辺准教は
・前夜はセルフプレジャー書き込み
・終了後はスメグマ大量放出書き込み
だった所から見て、今年は試験担当から外されたのか
187:１３２人目の素人さん
22/01/15 14:21:15.05 Dqdw7u4M.net
|=💊Σ(>>170)
188:１３２人目の素数さん
22/01/15 14:22:55.37 ndPWp95Y.net
>>170
URLﾘﾝｸ(o.5ch.net)
189:１３２人目の素数さん
22/01/15 14:24:11.64 Lv54qNF1.net
Googleナレッジパネル写真によるミスリーディングといえば底辺准教の黒歴史＆容貌隠しのSEOでも発生した珍事だから、用心した方がいいね
URLﾘﾝｸ(pbs.twimg.com)
190:１３２人目の素数さん
22/01/15 14:28:13.97 Lv54qNF1.net
>>172
URLﾘﾝｸ(i.imgur.com)
191:１３２人目の素数さん
22/01/15 14:30:07.04 xjjFR+zA.net
天羽さんのWikipediaページあるのか！凄いね
a_watcherのページも作ろうかな
192:１３２人目の素数さん
22/01/15 14:30:27.66 E0wCw7+f.net
>>129
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
数学に限らない。どの学問でもそう
原点：origin
originalとは、origin＋成る（親父ギャグ）
つまり、だれの後者でもない！
極限順序数みたいなものだな
望月IUTは、まさにoriginalです
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
原点 (数学)
原点（げんてん、英: origin）は、その周りの幾何に言及するための固定された点として用いられる、ユークリッド空間の特別な点で、ふつう O で表される。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Origin (mathematics)
In mathematics, the origin of a Euclidean space is a special point, usually denoted by the letter O, used as a fixed point of reference for the geometry of the surrounding space.
URLﾘﾝｸ(dictionary.goo.ne.jp)
goo 辞書
originalの意味 - 小学館 プログレッシブ英和中辞典
1.〔限定〕（発生・成立の）最初の（解説的語義）
初めて行われた，初公開の；原形［原作，原文，原画］の；原初［本来］の
193:１３２人目の素数さん
22/01/15 14:33:21.32 E0wCw7+f.net
>>169
どうも、スレ主です
ありがとうございます
> ※多ﾄｶ…穢★ﾄｶ…
> 貶ﾒ·ﾀﾞﾒ·ｾﾞｯﾀｨ!
そうだよね
ダメだよ
194:１３２人目の素数さん
22/01/15 14:35:15.70 9BpKK4U4.net
>>173
底辺准教の容貌の正解はコレ
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) URLﾘﾝｸ(youtu.be)
これらの公式イベント公開写真を検索から隠す為に膨大な分量のSEOをしているのがとても哀れ
195:１３２人目の素数さん
22/01/15 14:38:55.51 Lv54qNF1.net
>>171で半角カタカナAA書き込みの主も
底辺准教天羽優子@apjと確定
共通テストの試験担当から外されて
週末一日中お人形さんごっことは悲惨
196:１３２人目の素数さん
22/01/15 14:43:39.02 Lv54qNF1.net
>>175
それ15年くらい前
池田信夫氏とトラブルを起こした底辺准教が
Wikipedia管理者Su-no-Gとバレた時に
嫌味で立てられた記事立項の基準に満たない
泡沫人物記事だろ
底辺准教はアウトローだから自身の記事を自分で編集して体裁を繕った黒歴史の記録が永久保存されていて笑える
197:１３２人目の素数さん
22/01/15 14:46:03.64 E0wCw7+f.net
>>159
あっ、なるほど math_jin 氏のこれか
なるほど
math_jin氏の情報収集能力はすごいね
敬服する
URLﾘﾝｸ(twitter.com)
math_jin
18時間
arXiv:2111.06771 (math)
[Submitted on 9 Nov 2021 (v1), last revised 5 Jan 2022 (this version, v2)]
Comments on Arithmetic Teichmuller Spaces
198:Kirti Joshi https://arxiv.org/abs/2111.06771 #IUTABC math_jinさんがリツイート Jordan Ellenberg 1月14日 But my hope has always been that, ABC or no ABC, there were ideas in Mochizuki's work that could help inspire novel math. Jordan Ellenberg 1月14日 i.e. the claim is that objects that have the kind of properties Mochizuki's objects claim can be constructed in a more "mainstream' way. Jordan Ellenberg 1月14日 There's a lot of technology here I'm not qualified to weigh in on. But the goal is a kind of rehabilitation of Mochizuki's ideas. (deleted an unsolicited ad)
199:江戸前寿司
22/01/15 14:51:06.86 .net
>>177
>>スレ主です
「すれぬし」？
「なれずし」の誤りだろうｗ
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
なれずし（熟れ鮨（鮓）、馴れ鮨（鮓））は、
主に魚を塩と米飯で乳酸発酵させた食品である。
現在の寿司は酢飯を用いるが、
なれずしは乳酸発酵により酸味を生じさせるもので、
これが本来の鮨（鮓）の形態である。
現在でも各地でつくられている。
現在の主流であるにぎり寿司を中心とした早ずし（江戸前寿司）とは、
まったく違う鮨（鮓）である。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
200:１３２人目の素数さん
22/01/15 14:56:00.18 E0wCw7+f.net
>>181
>Jordan Ellenberg
この人は、ちょっと大物かも（下記）
”Ellenberg”の名前は、どこかで見たかも
はっきりとは記憶していないが
URLﾘﾝｸ(en.wikipedia.org)
Jordan Ellenberg
URLﾘﾝｸ(upload.wikimedia.org)
Jordan Stuart Ellenberg (born 1971) is an American mathematician who is a professor of mathematics at the University of Wisconsin?Madison.[2] His research involves arithmetic geometry. He is also an author of both fiction and non-fiction writing.
201:江戸前寿司
22/01/15 14:57:57.94 .net
>>165
>セタ→Seta→S eta→S穢多→スーパー穢多→超穢多
エタは蔑称ではない 穢多と書くなどもってのほかである
日本語を話す日本人は、この島々にもともといた者ではない
彼らは朝鮮半島から来た侵略者である
彼らはもともとこの島にいたエタと呼ばれる人たちを迫害した
我らは今こそエタの言葉を復活させなくてはならない
エタこそがこの島の本当の主であることを示さなくてはならない
朝鮮からきた近畿の日本人入植地を絶滅させなくてはならない
朝鮮からきたオオキミの一族を絶滅させなくてはならない
202:DiverCity
22/01/15 15:02:15.77 .net
>>168
台場といえば台場正だよ
URLﾘﾝｸ(captainharlock.weebly.com)
203:Antigod
22/01/15 15:05:29.52 .net
>>169
>貶ﾒ·ﾀﾞﾒ·ｾﾞｯﾀｨ!
if you show true courage, we can change the world.
URLﾘﾝｸ(www.youtube.com)
204:１３２人目の素数さん
22/01/15 15:06:12.89 ndPWp95Y.net
>>178
水着写真もプリーズ！
205:道玄坂69
22/01/15 15:12:38.92 .net
>>187
ほれっｗ
URLﾘﾝｸ(www.youtube.com)
206:１３２人目の素数さん
22/01/15 15:28:32.79 E0wCw7+f.net
>>176
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
で、「ω重シングルトン」について、過去だれも言及していないならば
おれの「言ったもの勝ち」ってことだな
でも、Zermelo�
207:ｪ、空集合Φ={}から始まって、自然数の集合を構成した1900年代初頭から ZFCが完成する1930年代の文献を掘ったら、何か出てきそうな気はする （ここらは、デジタル検索に乗らないものが多そうだし、その上独語文献が主だろうから、ちょっと手が出ないが） しかし、カッコ{}に添え字付きを考えたのは、私のオリジナルだという気がする ”カッコ{}に添え字付き”なんて、アホなことを考えるのは、私くらいでしょうからｗ