21/06/18 12:09:36.81 SQepgi2z.net
>>288
>つまるところ、
>・・・
>という定義にはなんの問題もなく
数学における定義と異なるなら重大な問題だが理解できんか？
>あなたの中の常識に反するというだけ
数学における定理は「私の中の常識」ではないが
むしろ、あなたの定義こそ「あなたの中だけの常識」ではない�
301:ｩ？
302:１３２人目の素数さん
21/06/18 12:18:43.68 dY1rsWa5.net
>>288
定義を変えて考えるのは勝手だが、定義を変えた用語をもとに既存の定理や結果を使うからだめなんだろ。
303:１３２人目の素数さん
21/06/18 12:45:37.66 1Bo6l00w.net
>>290
言い方が悪かった
well-definedという意味で問題はないということは共通認識で良いんだよね
>>291
それはどこのこと？
304:１３２人目の素数さん
21/06/18 12:57:03.65 WiAlxlcJ.net
>>233
>別に応援する気にはならないよ
>基本的に正しいに決まっているし
どうも、スレ主です
私も、基本的には同意です
が、”風評被害”（下記）の緩和みたいな意味もあるし
IUT自身は、まだどんなものか、漠然としか分からないが＊）、
おもしろそうなので、興味を持って見ています
いつ、世界に認められるかも含めて
＊）私見ですが
・フェルマー方程式 a^n+b^n=c^n をフライ曲線から、楕円曲線に持ち込んで、谷山志村とぶつけるというのが、ワイルズ先生の筋
・で、ABCはn=1で、同様にして、楕円曲線に持ち込んで、
・さらに遠アーベル（楕円曲線に穴をあけて群を作る）に持ち込んで
・それでも足りないから、遠アーベルの先へ、それがIUT
・フロベニオイド、ホッジ舞台、 テータ橋梁
・そして、下記 多輻的復元アルゴリズム：Inter-universal Teichmuller Theory III の定理3.11で構成された論文の抽象的部分の中心となる手法。ガウス積分を多数の宇宙に分離して計算の精度を高め、重みの定理により集計するシステムとして宇宙際アルゴリズムが働く。
・なにか、素数ｐを走る計算をするような気がするのですが・・
（だれか、上記のキーワードを入れた説明を書いてくれないかな？（＾＾；）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
風評被害（ふうひょうひがい）とは、風評によって、経済的な被害を受けること[1]。狭義として「報道被害」もこれの一部にあたる。
URLﾘﾝｸ(ja.)ユアペディア/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
目次
1 論文について
2 宇宙際について
3 楕円曲線と高さの理論
4 ディオファントス幾何
5 ホッジ＝アラケロフ幾何
6 フロベニオイド
7 遠アーベル幾何
8 ホッジ舞台
9 対数殻
10 核性
11 多輻的復元アルゴリズム
12 テート＝セミツイスト
(引用終り)
以上
305:１３２人目の素数さん
21/06/18 13:00:40.04 3NkH6hF0.net
>>273
そんな、人を一家離散に追い込みかねない攻撃は
なしにしていただきたいと思います。
306:１３２人目の素数さん
21/06/18 13:07:51.27 WiAlxlcJ.net
>>290
スレ主です
相乗りして悪いが
おサル
お前の負けだよｗ（＾＾；
307:１３２人目の素数さん
21/06/18 13:30:55.20 WiAlxlcJ.net
>>282
>簡単にいってしまえば、Iは、
>Zもしくはその部分集合
>と同様の性質を有する必要がある
そりゃ、おサルの算数ではそうだろうさ（＾＾
だが、人の数学では下記の通りだｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
添字集合
特定の添字集合による添字付けには、特別な呼び方をすることがある。たとえば、I が自然数からなる（つまり I ⊂ N となる）とき、集合 S の元の I による添字付け
略
は S の元への賦番、あるいは S の元の数え上げといい、集合 S の元がこの�
308:謔､な添字付けによって尽くされるならば、S は可賦番であるという。 有向集合による添字付けは有向点族（ネット）の概念に用いられる。 https://en.wikipedia.org/wiki/Index_set In mathematics, an index set is a set whose members label (or index) members of another set.[1][2] For instance, if the elements of a set A may be indexed or labeled by means of the elements of a set J, then J is an index set. The indexing consists of a surjective function from J onto A, and the indexed collection is typically called an (indexed) family, often written as {Aj}j∈J. Contents 1 Examples 2 Other uses 3 See also Examples An enumeration of a set S gives an index set J⊂ N , where f : J → S is the particular enumeration of S. Any countably infinite set can be (injectively) indexed by the set of natural numbers N . For r∈ R, the indicator function on r is the function 1r： R → {0,1} given by 略 The set of all such indicator functions, {1r}r∈ R , is an uncountable set indexed by R . Other uses In computational complexity theory and cryptography, an index set is a set for which there exists an algorithm I that can sample the set efficiently; e.g., on input 1n, I can efficiently select a poly(n)-bit long element from the set.[3] (引用終り) 以上
309:１３２人目の素数さん
21/06/18 14:29:24.02 SQepgi2z.net
>>292
定義をすり替えるウソツキはキモチ悪い
310:１３２人目の素数さん
21/06/18 14:34:05.09 SQepgi2z.net
>>296
猿回し君は何が肝心なのか、まだわかってないんだねぇ
「添字集合」だけ読んでもダメ
そもそも＜の左右の項が存在する、というのが重要
そこ漫然と否定した猿回し君が大間違い
猿回し君の一人負けだよ
それにしても君はオウンゴールの自爆負けばっかりだねえ
文章読めないの？ 独りよがりな妄想が止まらないの？
311:１３２人目の素数さん
21/06/18 14:34:47.23 WiAlxlcJ.net
>>297
おサル
お前の負けだよｗ（＾＾；
お前には、人の高等数学は無理
サルだもの
このスレから、さる（去る）よろしｗｗ
312:１３２人目の素数さん
21/06/18 14:36:24.44 WiAlxlcJ.net
>>298
ハハハ
まあ、頑張ってくれ
相手は強敵だよ、多分な（＾＾；
313:１３２人目の素数さん
21/06/18 14:36:52.82 SQepgi2z.net
>>293
猿回し君に数論幾何は無理
「ボクの生まれた国、日本は世界一ィィィィィ」
っていいたいためだけにIUTを応援してるんなら
恥かくだけだからやめたほうがいいよ
あと、オリンピックみたいな「国粋ポルノ」で
射★するのも恥ずかしいからやめたほうがいいよ
314:１３２人目の素数さん
21/06/18 14:38:07.70 SQepgi2z.net
>>300
＞相手は強敵だよ
君のドッペルゲンガーも君同様に弱っちいねｗｗｗ
315:１３２人目の素数さん
21/06/18 14:40:34.49 SQepgi2z.net
>>295
誤 相乗りして悪いが
正 ドッペルゲンガー発生させて悪いが
君はジコチュウな幼児だってわかってるから全然驚かないよ
そんな姑息なことしても恥の上塗りだってことがわからないかね？ｗ
316:１３２人目の素数さん
21/06/18 14:44:00.23 SQepgi2z.net
ID:1qYwJmwcの定義だと、
例えば実数を引数とする関数も「列」となり
さらに、単調増加関数は「＜上昇列」となる
そんな破廉恥な拡大を許してまで
無限上昇列を完全正当化したがるのは
頭がオカシイ
317:１３２人目の素数さん
21/06/18 14:45:19.03 SQepgi2z.net
数学に またも負けたか 猿回し
おあとがよろしいようで
318:１３２人目の素数さん
21/06/18 14:46:26.64 1Bo6l00w.net
>>297
well-defined性などに問題ないなら、常識の問題だな
何故常識の問題になってしまったかと言うと、<列という単語の意味が常識に依存してしまっていたから
常識からでは無限列はないと結論づけることはできないので、まず<列の定義から厳密に主張すれば良かった
319:１３２人目の素数さん
21/06/18 14:46:50.58 SQepgi2z.net
>>279-280
猿回しの二つの誤り
１．ツェルメロ構成によるωがシングルトン
２．＜列、０＜・・・＜ωが無限列
■誤り１の説明
lim n→∞ {{・・{{}}・・}}n は
∪(n∈N）{{・・{{}}・・}}n であるから
{{・・{{}}・・}}∞ ではなく
{{},{{}},{{{}}},…} という無限集合である
■誤り２の説明
・・・{{}}・・・は、要素が存在しないから、そもそも集合ではない
{{・・・ ・・・}}は、要素が存在するが、無限降下してしまい、
{}に到達しないから、正則性公理と矛盾し、集合ではない
一方、正解である{{},{{}},{{{}}},…}は
どの要素も有限重シングルトンであるから
有限回で必ず{}に到達する
320:１３２人目の素数さん
21/06/18 14:49:09.90 SQepgi2z.net
>>306
> まず<列の定義から厳密に主張すれば良かった
<列の定義から厳密に主張されている
君が理解できなかったのが悪かった
321:１３２人目の素数さん
21/06/18 14:51:06.06 SQepgi2z.net
要するに ID:1Bo6l00w が自分が理解できない箇所を
そっくりそのまま読み落としたのが悪かった
well-defined？ それ以前の問題
国語ができない人に数学は無理
322:１３２人目の素数さん
21/06/18 14:53:33.13 SQepgi2z.net
ID:1Bo6l00w の独善定義では
>>304のようなものまで
「列」「＜上昇列」となる
そのことに気づいてないようじゃ
数学やる意味がない
323:１３２人目の素数さん
21/06/18 15:06:25.12 1Bo6l00w.net
>>304
その結果が特におかしいとは思わないが矛盾を導くの？
>>308
<列のあなたの中の定義がこのスレで出てきたのはだいぶ後半だったと思うが
とどのつまり、曖昧な用語を使った結果定義に共通認識がなかった
無限列がない、と結論付けるには厳密な用語を使わなければならず、それをしなかったという落ち度があるな
324:１３２人目の素数さん
21/06/18 16:00:34.10 SQepgi2z.net
>>311
＞その結果が特におかしいとは思わないが矛盾を導くの？
順序数は無限降下列を持たない、って知らないの？
＞<列のあなたの中の定義がこのスレで出てきたのはだいぶ後半だったと思うが
最初から定義は示されていた
君が読まなかったか読んでも理解できなかったかのいずれか
とどのつまり、君が理解できず、曖昧と喚いてるだけ
無限列がないと、結論されているのだから厳密な用語の定義がある
あなたが定義を確認しなかったのが落ち度
325:１３２人目の素数さん
21/06/18 16:10:02.46 SQepgi2z.net
ID:1Bo6l00w の変態ぶり
自分の主張が特におかしいとは思わない
→順序数は無限降下列を持たない、という数学の成果がおかしい！
曖昧な用語を使った結果定義に共通認識がなかった
→俺様に理解できない用語の定義は無意味！
無限列がない、と結論付けるには厳密な用語を使わなければならず、
それをしなかったという落ち度がある
→俺様が理解できる範囲の厳密な定義では、無限列は存在する
したがって俺様に分からん屁理屈を用いる数学者どもに落ち度がある
全知全能の俺様を否定する数学者が間違ってる！
さすが、「裸の王様」猿回し君ですなぁ
326:１３２人目の素数さん
21/06/18 16:11:42.01 SQepgi2z.net
もう猿回し君は死んでいいよ
ドッペルゲンガーまで発生させて
自分を正当化するとか異常者だから
恥ずかしいと思わないのかね？
327:１３２人目の素数さん
21/06/18 16:18:37.43 1Bo6l00w.net
>>312
>>158が最初だが出てたか？
>>179で定義を確認したが、そのときはインデックス集合に条件があるかのように返答していたな
しかしwikipediaを見てもそんなものはなく、話す中でようやくあなたの言いたいことが見えてきたという流れだった
>順序数は無限降下列を持たない
すまん、それが矛盾を導くのか？
328:１３２人目の素数さん
21/06/18 16:24:36.73 WiAlxlcJ.net
>>314
おサルさ、ボコボコにされているな
>ドッペルゲンガーまで発生させて
おれが召喚したわけじゃないよ
だけどな
数学ってのは、屁理屈は痛痒しないよ
それを思い知ることになるぞｗ（＾＾；
おサル
頑張れよｗ
329:１３２人目の素数さん
21/06/18 16:25:46.12 WiAlxlcJ.net
>>316 誤変換訂正
数学ってのは、屁理屈は痛痒しないよ
↓
数学ってのは、屁理屈は通用しないよ
分かると思うが（＾＾；
330:１３２人目の素数さん
21/06/18 16:29:19.54 1+GXU3Ah.net
>>272
連続的な数学は自然科学や経済学との親和性が強く
それらの現象がアイディアの元になっているから、それらの分野が滅ばない限り連続的な数学が滅ぶことはない
自然科学や経済学が滅ぶかというと、滅びそうもない
だから、連続敵的な数学は滅ばない可能性が極めて高い
原理的に、計算機の内部の演算のような処理をする部分は、離散的な処理しか出来ない構造になってる
331:１３２人目の素数さん
21/06/18 16:35:06.80 SQepgi2z.net
>>315
＞＞順序数は無限降下列を持たない
＞�
332:ｷまん、それが矛盾を導くのか？ 君の定義では無限降下列を持つだろ？ まさか、確認してないのか？ 自分のいってることもわからんとか頭大丈夫か？
333:１３２人目の素数さん
21/06/18 16:36:54.10 SQepgi2z.net
>>316
＞ボコボコにされているな
ID:1Bo6l00w がなｗ
さすがドッペルゲンガー
猿回し本人同様、実に弱っちいｗ
334:１３２人目の素数さん
21/06/18 16:38:18.42 SQepgi2z.net
猿回し＞数学ってのは、屁理屈は通用しないよ
猿回し君にとっては、大学数学は全て
「俺様には理解できない屁理屈」
だろうな
諦めて数学板から出て行けよ
335:１３２人目の素数さん
21/06/18 16:41:27.30 1+GXU3Ah.net
>>272
>>318の下から2行目の漢字訂正：連続敵的 → 連続的
336:１３２人目の素数さん
21/06/18 16:41:31.49 SQepgi2z.net
>>315
誤 179で定義を確認したが
正 179で定義を捏造したが
>>179を見た瞬間
「あ、こいつ定義を捻じ曲げてきたな」
とわかったよ
ほんとおまえって自分が正しいといいはるためなら
平気でウソつくんだな
どっかの島国の東北のド田舎出身の無学なハゲ首相と同じだなｗ
337:１３２人目の素数さん
21/06/18 16:42:17.54 1Bo6l00w.net
>>319
具体的に何が無限降下列なの？
338:１３２人目の素数さん
21/06/18 16:43:27.40 SQepgi2z.net
URLﾘﾝｸ(fujinkoron.jp)
いまこそこの方には首相にこう言ってほしいね
「オリンピック開催とか何考えてんだ このハゲ！」
339:１３２人目の素数さん
21/06/18 16:45:57.68 SQepgi2z.net
>>324
なんか一気に馬鹿のフリしてごまかそうとしてるね
君のいうインデックス集合が無制限なら無限降下列もできちゃうよ
ほれほれ、インデックスどうした？ｗ
340:１３２人目の素数さん
21/06/18 17:02:16.40 WiAlxlcJ.net
>>324
横からすまんが
時間節約のために
１．無限降下列の説明は、>>188ご参照
２．で、何が”無限降下列”？ってのは、確たる記述は見つけられなかった
３．で、私見では、
>>188の二つのwikipediaの”無限降下列”が議論の出発点だった
二つのwikipediaの”無限降下列”は、あくまで、底なし沼のようなもの
４．一方で、底のある無限上昇列があって、無限に上ったあと、例えば頂上から降りれば、形式的には、無限降下ではあるけれども
二つのwikipediaの”整礎”、”正則性公理”に記されている「無限降下列」は、”底ありの無限上昇列”とは別もの
∵ 無限降下列と無限上昇列の二つとも禁止したら、有限列しかできないよね。それはへん（＾＾；
以上、老婆心ながら補足でした
341:１３２人目の素数さん
21/06/18 17:08:49.67 SQepgi2z.net
>>327
猿回しは黙れ
時間節約のためなら、
今ここで貴様が死ねｗ
（完）
342:１３２人目の素数さん
21/06/18 17:09:35.83 iFv2CSvJ.net
>>318
コロナ禍でテレワークが進んだように
これからは自然への接し方も大きく変化するかもしれない
その結果、連続というフィクションなしでも
数学はやっていけるんだということに
ならないとも限らない」
343:１３２人目の素数さん
21/06/18 17:12:21.21 SQepgi2z.net
無限上昇列でωが現れる場合、かならず有限番目に現れる
要するにいかなる順序数λも、そこに至るのは有限番目
つまり無限上昇列の「無限番目」というものは存在しない
したがって「無限上昇列」があって「無限降下列」がないとしても矛盾はない
344:１３２人目の素数さん
21/06/18 17:29:47.43 1Bo6l00w.net
>>326
自分には無限降下列がないように見えるから、具体的に教えてほしい
345:１３２人目の素数さん
21/06/18 17:45:24.70 WiAlxlcJ.net
>>330
(引用開始)
無限上昇列でωが現れる場合、かならず有限番目に現れる
要するにいかなる順序数λも、そこに至るのは有限番目
つまり無限上昇列の「無限番目」というものは存在しない
したがって「無限上昇列」があって「無限降下列」がないとしても矛盾はない
(引用終り)
ワハハ、ワハハ
それ、おサルさ、お主のいう「コトバのサラダ」そのものじゃんか（＾＾
”無限上昇列”
と
”無限上昇列”
の定義をさ
しっかり書けよ
サル（＾＾
346:１３２人目の素数さん
21/06/18 17:45:40.87 1+GXU3Ah.net
>>329
計算機の内部の構造上、アナログ的な処理をすべてデジタル的で有限な処理に変換することは出来ない
いっていることはそのことと大体同�
347:ｶ
348:１３２人目の素数さん
21/06/18 17:47:02.61 WiAlxlcJ.net
>>332 訂正
”無限上昇列”
と
”無限上昇列”
の定義をさ
↓
”無限上昇列”
と
”無限降下列”
の定義をさ
スマン（＾＾
349:１３２人目の素数さん
21/06/18 17:49:54.06 1+GXU3Ah.net
>>329
ついでに、高度な有機化学とかの実験は常に危険と隣り合わせで、コロナの状況の中でもやっているだろう
350:１３２人目の素数さん
21/06/18 18:32:45.95 3NkH6hF0.net
>>335
その種の実験は近い将来全部リモートで
できるようになるのでは？
351:１３２人目の素数さん
21/06/18 18:42:43.57 WiAlxlcJ.net
>>332
(引用開始)
無限上昇列でωが現れる場合、かならず有限番目に現れる
要するにいかなる順序数λも、そこに至るのは有限番目
(引用終り）
追加
１．何を言っているのか、わけわからんな、おサよ
２．”無限上昇列でωが現れる場合、かならず有限番目に現れる”？ おサルのいう「無限上昇列」の定義は？
「かならず有限番目に現れる」？ どこから どう数えて 有限番目になるのか？
３．「いかなる順序数λも、そこに至るのは有限番目」？ なにそれ？
どこから どう数えて 有限番目になるのか？
４．λ＝ω1 （最小の非可算順序数（下記））で、「ω1に至るのは有限番目」を示せ！！ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
最小の非可算順序数（英: First uncountable ordinal）ω1の存在は、選択公理によらずに示すことができる（ハルトークス数を参照）。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 ?1 に等しい。
位相的性質
任意の順序数は、順序位相の入った位相空間と捉えることができる。位相空間 [0,ω1) および [0,ω1] は、いくつかの興味深い性質を持っている。
[0,ω1) は点列コンパクトであるがコンパクトではない。任意の距離空間においてその二つは同値であるから、[0,ω1) は距離化不可能である。
可算コンパクトではあるため、 [0,ω1) はコンパクトでない可算コンパクト空間の例になっている。
他にも ω1 は、長い直線やTychonoff plankといった、位相空間論における重要な反例を作り出すために用いられている。
連続体仮説
詳細は「連続体仮説」を参照
連続体仮説とは『連続濃度はω1の濃度と等しい』という命題で、19世紀にカントルによって提唱された。現在では、ZFCにおいて証明も反証もできない命題であることが知られている。
(引用終り)
以上
352:１３２人目の素数さん
21/06/18 18:50:04.23 SQepgi2z.net
>>331
>自分には無限降下列がないように見える
自分の定義にしたがってそう証明してごらんｗ
353:１３２人目の素数さん
21/06/18 18:57:25.58 3NkH6hF0.net
>>335
地下２kmくらいの生命体の研究も
リモートでやるしかないだろう
そのような存在に対する科学的知識を
まとめるための新しい数学としては
離散的なものが適しているように思えるのだが
354:１３２人目の素数さん
21/06/18 18:59:31.80 WiAlxlcJ.net
>>338
>>自分には無限降下列がないように見える
>自分の定義にしたがってそう証明してごらんｗ
笑える（＾＾； >>332-334 なｗ
355:１３２人目の素数さん
21/06/18 19:22:38.51 iFv2CSvJ.net
高木貞治が「過渡期の数学」で
離散数学について何かコメントしていたように思う
あの時代よりも今の方がもっと過渡期かも
356:１３２人目の素数さん
21/06/18 19:57:59.53 t9uwnfo9.net
>>338
正則性の公理からすべての集合は無限降下列を持たない
したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
357:１３２人目の素数さん
21/06/18 20:16:21.10 ZHLrkwL7.net
>>342
>>>338
>正則性の公理からすべての集合は無限降下列を持たない
>したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
どうも
スレ主です
全面同意です
完全同意です（＾＾
358:粋蕎
21/06/18 20:22:42.11 xDVRCVDz.net
絶対に正しい主張なら借金上限額を借り入れた上での全財産を担保にした上で主張できる､
借金上限額額を借り入れた上での全財産を担保に出来ないならば、出鱈目な大法螺吹きによる張ったりをこく陰痴己である｡
出鱈目、大法螺吹き、張ったり、陰痴己。つまり
359:は、嘘である｡ 「大方の予測を付けての当て推量による張ったりを言っただけで嘘を吐いた積もりは無い」と宣う言い分は 『張ったり口を叩く行為くらいは嘘を吐きには成らない』と言って自己を過保護にしている事を自ら晒す事に成るが 嘘は嘘である｡ >>294 何だ、借金上限額を借り入れた上での全財産を担保に主張したら一家離散の羽目に陥らざるを得ないんか？ 一家離散の羽目に陥らざるを得ない時点で、吹かしこいてんじゃろうが、張ったりじゃろうが､ 大法螺吹きじゃろうが、陰痴己じゃろうが、嘘吐いたんろうが。商売屋か？ しかし商売屋にしても其れも大義名分も欠いとる様じゃけぇ、商売とは言えんな､ 『売（バイ）』じゃな、バイ。的屋系露店の消え物売りと同類｡ 堅気の癖して極道の真似事とは、徹しとるのう、腹が座っとるのう。人の金を喰う算段なんじゃ？ 分かったか？大義名分も無く張ったりこくと言う事が、どんだけ畏れ多い事か｡ それとも畏れを知らん様な輩（今時の言葉で言う所のDQN）なら、畏れを知る体験をして来た方が良えんと違うか？ 畏れ・危機意識が欠如しとるけぇ、自分が何をしとるか分からず、相手に思い知らされるじゃけぇ｡
360:粋蕎
21/06/18 20:29:37.41 xDVRCVDz.net
>>295
其の援護レス、遂に数学の話じゃない事を認めてる事に気付かんか？
嘘八百行為が証明されても悪びれないSetAこそ『畏敬の念を覚える体験ver.大人向け』した方が世の為じゃな｡
361:１３２人目の素数さん
21/06/18 20:46:04.11 ZHLrkwL7.net
>>345
蕎麦屋のおっさん
相変わらずだな
訳の分からんことをｗ
362:１３２人目の素数さん
21/06/18 20:56:54.31 ZHLrkwL7.net
>>342-343
正則性公理は、下記”Koga”が分かり易い
「最小値」と
「Φ に還元される」と
この二つが重要キーワードです
URLﾘﾝｸ(www.cs-study.com)
集合論：正則性 (Regularity)
27th June 2019 (Updated)
24th Jan. 2018 (First)
Akihiko Koga
内容
動機
[もやもや感」の解消
後日談(正則性公理の技巧的な感じの源泉) (2019.06.27)
話を元に戻して，正則性公理の意図としては，∈ の無限降下列が存在しないことの要請なのだが， フォン・ノイマン順序数だけの集合 x に対しては，この元の集合 x と交わりを 持たない要素 y∈x の存在は大変ありがたい．これは ∈ を順序 < と したときの x の最小値 min x になるからだ．つまり，
y1 < y2 iff y1 ∈ y2
と定義すると，フォン・ノイマン順序数のある集合 x に対しては，
∃ y∈x (x ∩ y = Φ)
という条件は，y に対しては，
￢ (∃ y1∈x y1∈y)
(つまり ￢ (∃ y1∈x y1<y) となり，y が x の中の最小値）
となる．これは順序集合の最小値が必要な時，すぐそれを取り出すことができる 論拠を公理として与えることができることを意味する．
つづく
363:１３２人目の素数さん
21/06/18 20:57:15.02 ZHLrkwL7.net
>>347
つづき
正則性公理は，集合の要素として，それ以上要素を持たない「もの」としてΦ以外に 許すとき（そのような「もの」をアトム(atom)と言ったり，Urelementというが），
∃ y∈x (x ∩ y = Φ)
の形では言うことができない．例えば，a をアトムとして，「もの」
a
の中には要素がないので，上の
364:ような y∈a の存在は言えない．小さいことを 言うようだが， set(x) → ∃ y∈x (x ∩ y = Φ) のように x が集合ならという条件 set(x) を付けることになる．また，その時の y は当然 x の 中の要素の最小値ということではなくなる．それは例えば，もうひとつアトム b をとって，x={a, b} としてみればよい． a と b の間に ∈ 関係はないのであるから，どちらが最小ということもない．ということで，正則性公理の上の形は， ZFC のようにすべてが Φ に還元される集合論とフォン・ノイマン順序数を順序の 基準に取っているとき役に立つことになる． 基礎の公理/正則公理の表現方法としては，もう少し素直に，∈の無限降下列が 存在しないという表現方法もあるようだ．ただし，無限降下列の定義も難しいので フォン・ノイマンのこの形の正則性公理は便利かつコンパクトな表現であるということは 言えると思う． (引用終り) 以上
365:
21/06/18 22:05:32.70 Z7pzaeCl.net
>>274
＞”マッドサイエンティスト”との決めつけは、まだ早いのでは？
論点をずらしてはいけませんよ、マッドサイエンティストかどうかは私にはどうでもよく、私が問題にしたいのは
・covid-19 コロナウィルスは自然発生したウィルスではなくラボで作られた「改造ウイルス」であること
です。これは、現時点ではこれはもうファクトでありフェイクではありません
そして、当初この「改造ウイルス」説を唱えた者に対して、非国民呼ばわりし、よってたかって村八分に加担した人々がいた、ということ
366:１３２人目の素数さん
21/06/18 22:07:09.05 ZHLrkwL7.net
>>349
>です。これは、現時点ではこれはもうファクトでありフェイクではありません
まだ早いと思う
アメリカの90日レポートを待て
367:１３２人目の素数さん
21/06/18 23:15:55.04 bblRRAYm.net
アメリカの90日レポート？
タイではなくて？
368:１３２人目の素数さん
21/06/18 23:25:06.97 ZHLrkwL7.net
>>350
スレチだが
ご参考(wikipediaを鵜呑みにしているわけではない、一つの資料として)
URLﾘﾝｸ(en.wikipedia.org)
Investigations into the origin of COVID-19
Laboratory incident
A final scenario, considered unlikely by scientists, is the introduction of the virus to humans through a laboratory incident. The Wuhan Institute of Virology has performed research into bat coronaviruses since 2005, and identified the RaTG13 virus which is the closest known relative of SARS-CoV-2. Research topics included investigations into the source of the 2002?2004 SARS outbreak and 2012 MERS outbreak, some of which involved conducting gain of function research on viruses.
The proximity of the laboratory to the initial outbreak has led some to speculate that it may be the entry point, and politicians, media personalities and some scientists have called for further investigations into the matter.
Based on the available genomic evidence, bioengineering of the virus for deliberate release has been ruled out by experts, with remaining investigations considering the possibility of a collected natural virus inadvertently infecting laboratory staff during the course of study.
URLﾘﾝｸ(en.wikipedia.org)
COVID-19
History
URLﾘﾝｸ(ja.wikipedia.org)(2019%E5%B9%B4)
新型コロナウイルス感染症 (2019年)
2019年12月に中華人民共和国湖北省・武漢市で初めて検出された新興感染症で、一般に武漢市から世界各地に感染が拡大（パンデミック）したと考えられているが、バルセロナ大学（スペイン）の発表によると2019年3月採取の廃水から新型コロナウイルスが検出されている。イタリアの国立がん研究所の研究によると2019年9月に採取した同国での肺がん検査受診者の血液中から新型コロナウイルスの抗体が検出されており、武漢市で報告される前から、世界中にウイルスが広まっていた可能性が、2020年3月時点で指摘されている。
(引用終り)
369:１３２人目の素数さん
21/06/18 23:29:02.31 ZHLrkwL7.net
>>351
>アメリカの90日レポート？
下記ね。米大統領の
>>274より（参考）
URLﾘﾝｸ(www.sankeibiz.jp)
米大統領が「コロナ起源、90日以内の報告」を指示 「動物説」「流出説」が混在 2021.5.27 sankeibiz
370:１３２人目の素数さん
21/06/18 23:30:11.10 4KGJ8dRA.net
IUTスキャンダルそっくり
371:１３２人目の素数さん
21/06/18 23:39:08.17 ZHLrkwL7.net
>>354
そうあせらないで
IUT国際会議
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Foundations and Perspectives of Anabelian Geometry
場所：オンライン 期間：2021-06-28?2021-07-02
組織委員：Ivan Fesenko （英・ノッティンガム大学）
南出新（京都大学数理解析研究所）
譚福成（京都大学数理解析研究所）
Benjamin Collas（京都大学数理解析研究所）
組合せ論的遠アーベル幾何とその周辺
場所：オンライン 期間：2021-07-05?2021-07-09
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
南出新（京都大学数理解析研究所）
辻村昇太（京都大学数理解析研究所）
Benjamin Collas（京都大学数理解析研究所）
宇宙際タイヒミューラー理論への誘い（いざない）
場所：420号室＋オンライン 期間：2021-08-31?2021-09-03
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎 （東京工業大学）
宇宙際タイヒミューラー理論サミット２０２１
場所：420号室＋オンライン 期間：2021-09-07?2021-09-10
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎 （東京工業大学）
372:１３２人目の素数さん
21/06/18 23:42:33.72 4KGJ8dRA.net
マスコミ カネ ポスト 査読
編集者 出版
373:１３２人目の素数さん
21/06/19 02:57:00.81 dl/k8hqf.net
>>336
>>335でいう「高度な有機化学とかの実験」というのは、院生レベルの有機化学の実験
その中には常に危険と隣り合わせの実験がある
変なこと書くになるけど、院生レベルの有機化学の知識がある人なら、
サリンとかの有毒ガスはドラフトチェンバーとかの装置さえあれば合成出来る
そういう危険な実験は計算機では到底出来ないだろう
>>339
地下２kmくらいの生命体の研究は計算機で出来る可能性はある
374:１３２人目の素数さん
21/06/19 06:58:04.43 dMVF6Ao+.net
>>340
アルェー、ドッペルゲンガーはどうしたのかな？
375:１３２人目の素数さん
21/06/19 07:01:08.74 dMVF6Ao+.net
>>342
降下列の定義を変えたら、無限降下列はできちゃうよ
ただ、それは異なる定義によるものだから、
元の定義による結果を否定するものではないな
376:１３２人目の素数さん
21/06/19 07:03:24.56 dMVF6Ao+.net
>>349
＞現時点ではこれはもうファクトであり
💊、飲もうな
統合失調症は治る病気だぞ
377:１３２人目の素数さん
21/06/19 07:07:40.31 dMVF6Ao+.net
>>355
>そうあせらないで
あせってるのはあんただよ、あんた
ニッポン自慢は、ν速板でやりなよ
378:１３２人目の素数さん
21/06/19 07:11:51.39 dMVF6Ao+.net
ニッポン大好きな人におくる曲
URLﾘﾝｸ(www.youtube.com)
・・・何もかもみななつかしい
379:１３２人目の素数さん
21/06/19 07:18:41.88 dMVF6Ao+.net
今の気分は
五輪・ダメ・ゼッタイ
URLﾘﾝｸ(www.youtube.com)
本当に大事なものが何なのか、気づこう
380:
21/06/19 07:44:23.90 R0tszRzH.net
>>360
治るとはいわないでしょう、寛解とはいいますが
そのような基本的な言葉の使い方すら間違える病気に対する理解の浅薄な馬鹿の言うことなんか信用できるものでしょうか？
381:１３２人目の素数さん
21/06/19 08:44:07.22 IxFCR29a.net
>>359
スレ主です
おサルは、数学科出身だったよね
>元の定義による結果を否定するものではないな
では聞く
「元の定義」を書いてください
出来ないよね、あんたにはｗ
382:１３２人目の素数さん
21/06/19 08:52:21.94 dMVF6Ao+.net
>>364
>治るとはいわないでしょう、寛解とはいいますが
寛解も治ったうちですよ
基本的なのではなく細かい言葉遣いにすぎません
数学とは違うのですからそこに拘っても意味ありません
他人を馬鹿を罵るのも「症状」の一つと思って許してあげますよ
それが正常な人というものです
383:１３２人目の素数さん
21/06/19 08:56:11.96 dMVF6Ao+.net
>>365
>おサルは、数学科出身だったよね
あなたのいうおサルとは誰ですか？
具体的に氏名を書いていただけますか？
さらにその人物が
どこの大学の数学科をいつ卒業したか
も証拠つきで書いていただけますか？
もしそれが不可能であるならば
過去にとある人物が
東京大学理学部数学科を卒業した
とかいってもこういえばいいだけかと
「はいはい、わろすわろす」
それができない時点で頭悪いな、と判断します
384:１３２人目の素数さん
21/06/19 09:01:10.82 dMVF6Ao+.net
>>367
＞では聞く 「元の定義」を書いてください
すでに十分書かれてるようですが
全く理解できませんでしたか？
そもそもωからはじめて、より小さい順序数をその都度選ぶ、
というプロセスをつづければ、有限回で空集合に至らざるを得ない
というだけの話です
わけもわからずインデクス集合を持ち出す時点で完全な拡大解釈であって
そこで無限降下列が実現可能だとしても、本来の上記の意味の降下列とは
全然別物なので無意味です
それがわからないなら・・・
数学学んでも無駄だからやめたほうがいいですね
385:１３２人目の素数さん
21/06/19 09:05:30.33 dMVF6Ao+.net
まず、ω＞ｘで、ωより小さいｘを選ぶ場合
どのようなｘを選んでも、自然数になりますから
その時点で勝負は決まる、ということが
どうしても ID:IxFCR29a 氏には分からないようです
度し難いですね
＞スレ主です
5chのスレッドに主はいませんよ
スレッドを立てた人を「主」という人がいますが誤解ですね
スレッドを立てたからといって、
スレッドの所有権を有するわけでもなく
アクセス制限や投稿の削除ができるわけでもない
まさに立てただけ そういう人は「1」と呼ばれるだけのことです
386:１３２人目の素数さん
21/06/19 10:03:13.47 H9G4VwdL.net
>>359
無限降下列の定義は変えてないけど
>>368
無限降下列は実現不能だけど
仮に実現できてしまったとしたらwell-definedでないということだから、それを先に確認した
387:１３２人目の素数さん
21/06/19 10:38:56.73 dMVF6Ao+.net
>>370
>仮に実現できてしまったとしたらwell-definedでない
なんか言葉遣いがおかしいな
まず、数学でいうwell-definedの意味、分かっ�
388:ﾄる？ 次に、もしあなたの定義で実現できた場合、 "well-definedでない”のではなく そもそも数学における定義とは異なっている ということは、どうしても分かりたくない？
389:１３２人目の素数さん
21/06/19 10:40:27.53 IxFCR29a.net
>>367
>>おサルは、数学科出身だったよね
>あなたのいうおサルとは誰ですか？
しらばっくれてｗ
お前のことだよ、おサル
昨日は、 ID:SQepgi2z [34/34](例えば>>338)だったよね
さらに、テンプレ>>5に、おサルのことは書いてあるよ
（>>5より）
「おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）」
哀れな素人氏から、
「サル石」と呼ばれる男とは（”サル”の由来はこれ）
お前のことだよ！！（＾＾
（参考）
URLﾘﾝｸ(hissi.org)
トップページ > 数学 > 2021年06月18日 > SQepgi2z
1 位/93 ID中 Total 36
使用した名前一覧 １３２人目の素数さん
書き込んだスレッド一覧
Inter-universal geometry と ABC予想 (応援スレ) 55
Inter-univeral geometry と ABC予想44 （2レス）
Inter-univeral geometry と ABC予想44
109 ：１３２人目の素数さん[]：2021/06/18(金) 11:22:14.58 ID:SQepgi2z
>>107-108
結局、ABC予想について説明しただけで
IUT理論による証明についてはまったく
言及すらしてないわけね？
Inter-univeral geometry と ABC予想44
110 ：１３２人目の素数さん[]：2021/06/18(金) 11:27:50.69 ID:SQepgi2z
ま、ブンゲンの本も買わなかったから
小山氏の本も買わないだろうな
毎日新聞あたりが
「夢見る数学者～IUT理論騒動～」
とかいう本を出したら買ってもいいけど
(引用終り)
以上
390:１３２人目の素数さん
21/06/19 10:40:38.49 dMVF6Ao+.net
Well-defined
URLﾘﾝｸ(ja.wikipedia.org)
数学におけるwell-defined（ウェル・ディファインド）は、
「定義によって一意の解釈または値が割り当てられる」
ことを言う。
391:１３２人目の素数さん
21/06/19 10:41:22.39 dMVF6Ao+.net
ある定義がwell-definedであるのは
以下の二命題が示されたときである。
392:１３２人目の素数さん
21/06/19 10:41:59.09 dMVF6Ao+.net
命題１：実際に成立する
（定義で）示された表式が成立しない場合、well-definedであるとは言えない。
393:１３２人目の素数さん
21/06/19 10:42:43.60 dMVF6Ao+.net
命題２：経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する。
このとき、最終的な結論が中途の表式に依存している場合、
well-definedであるとは言えない。
394:１３２人目の素数さん
21/06/19 10:47:57.26 dMVF6Ao+.net
>>372
なんか一人発●してる方がいらっしゃいますが
そんなに「維新！」っていわれてムカついたのなら
こう言い返せばよかったのに
「なんですか？トミファさん」
395:１３２人目の素数さん
21/06/19 10:52:08.69 dMVF6Ao+.net
>>179
＞インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つことか
Iとして任意の半順序集合を取る場合、
数学における上昇列は上記の条件を満たすが
逆は正しくないので不十分
396:１３２人目の素数さん
21/06/19 10:58:13.45 dMVF6Ao+.net
>>179
＞I={0, …, ω}から
そもそもインデクス集合として{0, …, ω}をとった時点でオウンゴール
ｘ＜ωとなるｘ∈Ｉで、最大のものがある？ ないよね？ �
397:ｾから、ダメ <列の意味を理解してないから、そういう間違いをやらかす
398:１３２人目の素数さん
21/06/19 11:02:14.73 MYDkk4us.net
>>357
危険だからAIつきのロボットにやらせるというのは
もはや常識になっていると思っていましたが
その意味では廃炉は挑戦しがいのある課題では？
399:１３２人目の素数さん
21/06/19 11:02:40.60 H9G4VwdL.net
>>378
「数学における上昇列」とは？
>>379
「<列」の定義があなたとこちらでは違うという話だな
曖昧な単語で結論づけてしまったことに落ち度があるということで落ち着いてる
400:１３２人目の素数さん
21/06/19 11:02:56.30 dMVF6Ao+.net
まとめ
・ID:H9G4VwdLさんはwell-definedが分かってない
・ID:IxFCR29aさんはそもそも匿名掲示板が分かってない
匿名掲示板でアイデンティティを主張するくらい、バカなことはありません
しかもそのアイデンティティがバカ丸出しだったら、もう救いようがありません
401:１３２人目の素数さん
21/06/19 11:08:29.66 dMVF6Ao+.net
>>381
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
私ではなく数学界
あなたのいう「こちら」に数学界はありません
あなた一人です
＞曖昧な単語で結論づけてしまったことに
＞落ち度があるということで落ち着いてる
不十分な定義で自己満足したあなた一人に
全ての落ち度があるということで
数学界全体が落ち着きまくってます
あなた、おちつきましょうね
自分が数学の神だと思ってるなら、
そんなもんではないことに気づきましょう
あなたは数学のどん底の地獄の亡者です
はいあがれるといいですね（真上から見下げる目線）
402:１３２人目の素数さん
21/06/19 11:12:06.94 dMVF6Ao+.net
まとめ
「０からより大きな順序数を選んでいって
どの順序数もωより小さい無限列が構成できる」と
「ωからより小さい順序数を選んでいったら
かならず有限回で０に至る」は
全く矛盾しませんよ
♪なんでだろーなんでだろーなんでだなんでだろー
403:１３２人目の素数さん
21/06/19 11:13:06.75 IxFCR29a.net
>>368
>＞では聞く 「元の定義」を書いてください
>すでに十分書かれてるようですが
>全く理解できませんでしたか？
スレ主です
おサルは、数学科出身だったよね
誤魔化しにかかっているよね（＾＾
数学では「定義」の確認は、きほんの”き”
それができないおサルさん
数学で「定義」を聞かれたのに対して、”十分書かれてるようですが”って、なにそれ？ｗ
”十分書かれてる”？
”ようです”？
なにそれ？
数学で「定義」は、出来るだけ簡素に明解に書くべきもの
数学で「定義」を聞かれたら、以前に述べていたとしても、最低でもどこに記されているのかは、真摯に答えるべき
普通は、数学の「定義」は簡単に答えられるから、即答するよね
即答できないのは、数学のド素人だよ（おれも似たようなものだがｗ（＾＾； ）
404:１３２人目の素数さん
21/06/19 11:13:32.65 dMVF6Ao+.net
ついでにいうと、
「ノンコンパクトな集合を包含するコンパクト集合が存在する」
というのも全く矛盾ではありません
♪なんでだろーなんでだろーなんでだなんでだろー
405:１３２人目の素数さん
21/06/19 11:15:13.53 dMVF6Ao+.net
>>385
>誤魔化しにかかっているよね
いいえ
>>383で、定義書いてますから 残念！
406:１３２人目の素数さん
21/06/19 11:17:24.00 dMVF6Ao+.net
>>385
＞即答できないのは、数学のド素人だよ（おれも似たようなものだがｗ
似たようなもの、ではなく、そのものです
ID:IxFCR29aさん あなたは、数学のド素人DEATH！
URLﾘﾝｸ(www.youtube.com)
407:１３２人目の素数さん
21/06/19 11:37:43.78 H9G4VwdL.net
>>383
数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
とりあえず、あなたの言いたいことはようやく分かった
何かしらの定理や補題が証明できてそれを主張するなら、その側が厳密に述べなければならない
それをせずにツッコまれることこそ数学では当たり前だよ
408:１３２人目の素数さん
21/06/19 11:39:11.81 IxFCR29a.net
>>387
>>>383で、定義書いてますから 残念！
？>>383より
(引用開始)
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
(引用終り)
1．まず、「列」の定義が違うんじゃ無いの？（下記）
2．「０からはじめて、より大きい順序数をその都度選ぶ」だったら、”順序数”そのものじゃんかｗ
数学の定義になってないわな、おサル
おサル、アホ丸出しと思うのは、おれ�
409:ｾけか？ おサル、数学科出身だよねｗｗｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) 列とは、粗く言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列） 数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列（あるいは語）という 列の構成要素は、列の要素あるいは項と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さという。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6, ...) ）。 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である 0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。無限に続いていく。だがそれで終わりではない (引用終り) 以上
410:１３２人目の素数さん
21/06/19 11:47:54.59 AWat3zSx.net
>>380
>危険だからAIつきのロボットにやらせるというのは
>もはや常識になっていると思っていました
危険な実験は下手すると大事故につながる
爆発して建物が吹っ飛ぶこともあり得る
逆に、AIが何らかの化学反応を起こすようなこともあり得る
そういう危険な実験はAIでは出来ない
411:１３２人目の素数さん
21/06/19 12:03:26.58 dMVF6Ao+.net
>>389
＞数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
常識的なことはわざわざ書きませんよ
集合における∈の意味みたいなもんです
あとは数学ド素人のあなたの愚痴なので聞き流します
412:１３２人目の素数さん
21/06/19 12:05:25.29 dMVF6Ao+.net
>>390
＞まず、「列」の定義が違うんじゃ無いの？
まず、自分が正しい、という自惚れた思い込みを、真っ先に捨てましょうね ド素人さん
413:１３２人目の素数さん
21/06/19 12:07:50.38 dMVF6Ao+.net
>>390
＞「０からはじめて、より大きい順序数をその都度選ぶ」だったら、
＞”順序数”そのものじゃんか
いいえｗ
たとえば、０の次にωを選んでもＯＫです
べつに必ず後者となる順序数を選ばなくてはならない
なんていってませんよ
いってないことが幻聴で聞こえるのは素人の病です
まっさきに直しましょうね
414:１３２人目の素数さん
21/06/19 12:14:05.83 dMVF6Ao+.net
>>390
＞数学の定義になってないわな
なってますよ ド素人君が理解できないだけです
０＜１＜２＜３＜・・・でも
０＜１＜３＜７＜・・・でも
なんでもいいですが、
いつまでたってもωに至らない無限列はいくらでも存在します
一方で
ω＞ｘ＞ｙ＞・・・
と下がっていく場合、最初にどんなｘを選んでも
それは自然数ですから、そこから下がる列は有限です
要するにωから下がる列は、ｘの選び方で、
いくらでも長くできますが、どう頑張っても
所詮は有限長です
たったこれだけのことが理解できない
ID:H9G4VwdLさんと
ID:IxFCR29aさんは
そもそも数学に全く向いていないので
今すぐ数学を諦めて数学板に書くのはもちろん読むのもやめて
ν速板あたりで「世界に冠たるニッポン！」とか国粋ポルノカキコ
して人生の時間を無駄に過ごせばいいんじゃないでしょうか
415:１３２人目の素数さん
21/06/19 12:17:38.37 dMVF6Ao+.net
オリンピックを見たがる人って
靖国神社に参拝したがる人と同じで
自分と国家（ニッポン）を同化させて
陶酔したい国家依存症患者なのかな
と思います
国家って結局アンフェタミンですよね
ウヨクって結局政治思想じゃなく
ある種の依存症なんだと思います
そう思うと憐れみしかないですね
416:１３２人目の素数さん
21/06/19 12:21:30.06 dMVF6Ao+.net
行動嗜癖
URLﾘﾝｸ(ja.wikipedia.org)
行動嗜癖（こうどうしへき、Behavioral addiction）、
プロセス嗜癖（process addiction）、過程嗜癖（かていしへき））とは、
嗜癖の一形態であり、当人の身体的、精神的、社会的、金銭的な幸福に対して
ネガティブな結果を招くにも関わらず、報酬刺激をもたらす非薬物関連行動へ
強迫的に従事している状態。
417:１３２人目の素数さん
21/06/19 12:23:28.54 dMVF6Ao+.net
「嗜癖性ありとして特定されている過剰行動には、
ギャンブル、摂食、性交、ポルノ、
パソコン、ビデオゲーム、インターネット、
エクササイズ、買い物がある。」
靖国参拝とか外国人排撃も入れたほうがいいね
どうみても嗜癖だから
418:１３２人目の素数さん
21/06/19 12:24:15.67 IxFCR29a.net
>>342
>正則性の公理からすべての集合は無限降下列を持たない
>したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
どうも
猿回しの、スレ主です（＾＾
おサルとの会話中に（バトル中？）
横から悪いが
これ賛成！！
時間の節約のために、解説するよ（当たっているかどうかは不明だが）
1．正則性の公理のいう無限降下列とは？
思うにその本質は、「∈ を順序 < と したときの x の最小値 min x」の存在ってこと(下記Kogaより)
それはまた、選択公理と合わせて、無限降下列 A1 ∋ A2 ∋ A3 ... の非存在でもある
2．最小値 min xの存在は、下記の整礎関係 Well-founded relation ”every non-empty subset S ⊆ X has a minimal element with respect to R”でもある
”Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.”
つまり、”axiom of dependent choice”と合わせて、”no infinite sequence x0, x1, x2, ... of elements of X”
3．で、整礎関係 正則性の公理とも、無限降下列 A1 ∋ A2 ∋ A3 ... の非存在は
最小値 min xの存在と対立するもの。つまり、最小値 min xの存在する列は、たとえ無限列であっても、整礎関係 正則性の公理の下での無限降下列ではない
この最小値 min xの存在する無限列を、”無限上昇列”と呼べば、全てが現代の高等数学と整合します！
4．なお、有限列では、全順序では最小値は常に存在するので、整礎関係 正則性の公理の下での、”降下” or ”上昇”の区別は無意味です
以上
追記
おサルは、アホやな（＾＾
つづく
419:１３２人目の素数さん
21/06/19 12:24:37.69 IxFCR29a.net
>>399
つづき
（>>347より）
URLﾘﾝｸ(www.cs-study.com)
集合論：正則性 (Regularity)
27th June 2019 (Updated) Akihiko Koga
(このページの内容は 英語版の Wikipedia の Axiom of Regularity の項目 を参考にした．と言うか殆ど絵を入れただけのような気もする)
(抜粋)
1.正則性 => A ∋ A1 ∋ A2 ∋ A3 ... という無限列は存在しない
(上記無限降下列は、正則性に矛盾する。証明�
420:ｪす。原文見てください) 3．A1 ∋ A2 ∋ A3 ... という無限列は存在しない & 選択公理 => 正則性（従属選択公理で可） (証明略。原文見てください) 後日談 正則性公理の意図としては，∈ の無限降下列が存在しないことの要請なのだが， フォン・ノイマン順序数だけの集合 x に対しては，この元の集合 x と交わりを 持たない要素 y∈x の存在は大変ありがたい． これは ∈ を順序 < と したときの x の最小値 min x になる (>>188より) https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82 整礎関係 https://en.wikipedia.org/wiki/Well-founded_relation Well-founded relation In mathematics, a binary relation R is called well-founded (or wellfounded) on a class X if every non-empty subset S ⊆ X has a minimal element with respect to R, that is, an element m not related by sRm (for instance, "s is not smaller than m") for any s ∈ S. Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n. (引用終り) 以上
421:１３２人目の素数さん
21/06/19 12:25:32.47 jEvz9hTC.net
>>395
ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと、無限降下列を持たないことごっちゃになってるな
中途半端に基礎論勉強したって感じなのかな
422:１３２人目の素数さん
21/06/19 12:28:03.72 dMVF6Ao+.net
J民党って、結局この手の嗜癖耽溺者に支持されてるんだよね
国粋的活動なんて結局他国との緊張状態を産むだけで
ネガティブな結果しかもたらさないし、結局格差問題に
目をつぶる時点で、貧困層を拡大する点でもネガティブなんで
二重に有害だけど、耽溺してる人は止められないんだね
423:１３２人目の素数さん
21/06/19 12:33:15.14 dMVF6Ao+.net
>>401
＞ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと・・・
その話は一切してない
あなたがごっちゃにしてるだけ
あなたが数学基礎論を齧ったけど理解しそこねただけ
424:１３２人目の素数さん
21/06/19 12:39:05.61 jEvz9hTC.net
>>403
いや君が勘違いしてるようにしか見えないけど、
>>383の「0からはじめてより大きな順序数をその都度選ぶというプロセスを続けること」てあるけど、これ意味なしてないよね
425:１３２人目の素数さん
21/06/19 12:50:50.35 9yfPrJES.net
>>391
だから廃炉ですよ
10年や20年先の話でなく
40年先の姿について言っています
426:１３２人目の素数さん
21/06/19 12:51:29.88 IxFCR29a.net
>>399 訂正スマン
3．で、整礎関係 正則性の公理とも、無限降下列 A1 ∋ A2 ∋ A3 ... の非存在は
最小値 min xの存在と対立するもの。
↓
3．で、整礎関係 正則性の公理とも、無限降下列 A1 ∋ A2 ∋ A3 ... の存在は
最小値 min xの存在と対立するもの。
だな
分かると思おうが
逆を書いていたな（＾＾
427:１３２人目の素数さん
21/06/19 13:03:58.84 AWat3zSx.net
>>405
40年先の廃炉の話？
原子力の工学のことは専門家に聞いた方がいい
428:１３２人目の素数さん
21/06/19 13:15:19.85 IxFCR29a.net
>>401
>ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと、無限降下列を持たないことごっちゃになってるな
>中途半端に基礎論勉強したって感じなのかな
どうもスレ主です。全面同意です
このスレでは、下記引用の>>158から始まっています
で、彼は、０＜・・・＜ω が有限列 と思っています
それは、正則性公理が、無限降下列を禁止していて、０＜・・・＜ω が無限列なのだと
ω→０へ降下するときに、無限降下列になると勘違いしたのです、彼は
（この誤解については、>>399に解説しました）
そして、ωが有限の前者を持たないことが、有限列の根拠だというのです
つまり、０＜・・・＜ωを、”０＜・・n＜ω”と解釈して（かつ、そうしなければならないという）、”有限列にしかなり得ない”（下記）と主張します
ですが、０＜・・・＜ωは、普通の数学として、”＜・・・＜”の部分が、全ての自然数を走ると解釈して、それは無限長であり、
「ωが有限の前者を持たない」ことと、なんら矛盾しないのです
それが、理解できないようですね
彼は、数学科出身を自慢しているのですがね（＾＾
>>158
(引用開始)
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
(引用終り)
以上
429:１３２人目の素数さん
21/06/19 13:53:16.79 IxFCR29a.net
>>408 補足
>＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
>ことも分からん「考えなしの素人」に数学はムリ
おサルは、数学科出身を自慢しています
”「考えなしの素人」に数学はムリ”は
そういうことですね
他
430:にも、(>>392)”あとは数学ド素人のあなたの愚痴なので聞き流します” これもそうですね 言外に、自分は数学科出身の数学プロ級という意識が、存在するのです ID:H9G4VwdLさん（>>389）（多分昨日のID:1Bo6l00wさん(>>331)）が発言してくれて 大変助かりました（＾＾； (引用開始)>>158より ＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない ことも分からん「考えなしの素人」に数学はムリ (引用終り) には、彼もビックリしたでしょうね(>>166もご参照) これで、自分は数学科出身の数学プロ級で ID:H9G4VwdLさん（>>389）を、数学ド素人呼ばわりとはね まさに、下記”石が流れて木の葉が沈む”ですね（＾＾ （参考） https://kotobank.jp/word/%E7%9F%B3%E3%81%8C%E6%B5%81%E3%82%8C%E3%81%A6%E6%9C%A8%E3%81%AE%E8%91%89%E3%81%8C%E6%B2%88%E3%82%80-431892 コトバンク 石が流れて木の葉が沈む（読み）いしがながれてこのはがしずむ 精選版 日本国語大辞典「石が流れて木の葉が沈む」の解説 (「陸賈新語」の「夫衆口之毀誉、浮レ石沈レ木」から) 物事が道理とは逆になっていることをいうたとえ。 (引用終り) 以上
431:１３２人目の素数さん
21/06/19 13:59:16.48 IVIt/ySo.net
>>402
自民が駄目なら、どこがいいの？
432:１３２人目の素数さん
21/06/19 14:04:02.95 IxFCR29a.net
>>389
>数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
>とりあえず、あなたの言いたいことはようやく分かった
>何かしらの定理や補題が証明できてそれを主張するなら、その側が厳密に述べなければならない
あと蛇足だが、一つ補足しておくと
従来の数学の標準と異なる「定義」を採用したり、考案することは、許されるし、何の問題もないが
普通は、従来の数学の標準「定義」はこうで、自分の考案した新定義はこう
と、対比して論じるのが、マナーですよね
勝手に、しかも後出しで、
「自分の考えていた定義は、こうだった」ってｗ
まあ、普通は、言い訳の誤魔化しだよね、それって
おサルさん
それ見え見えだよ、おサルさんよ
433:１３２人目の素数さん
21/06/19 14:07:32.67 IxFCR29a.net
>>410
>自民が駄目なら、どこがいいの？
スマン
横レスだけど
彼は、アナーキストを任じているので
（>>5をご参照）
日本政府が潰れて、無政府状態が理想
つまり、政党など無いのがベストという意見でしょう（＾＾
434:１３２人目の素数さん
21/06/19 14:12:33.63 H9G4VwdL.net
>>411
>>179でこの定義でいい？と確認したけどね
435:１３２人目の素数さん
21/06/19 14:21:51.22 9yfPrJES.net
>>407
流体力学などの細かい話はさておき
某所の所長が高校の先輩で「原子力発電所の安全性の研究に残りの生涯をささげる」と言っているし
東芝で原子炉の設計をしていた親戚がいたりするので
まったく見当だけで言っているのではないつもりです。
436:１３２人目の素数さん
21/06/19 14:59:30.44 Tyzi4VH0.net
>>413
で、いいと返事した人は誰なの？
437:１３２人目の素数さん
21/06/19 15:14:59.81 IxFCR29a.net
>>413 >>415
どうも、スレ主です
うん、>>179には、私が>>188で「それ、多分合っていると思うよ」とレス付けたよ（＾＾
438:１３２人目の素数さん
21/06/19 16:10:20.63 IxFCR29a.net
あと、まともな人が増えたところで書いておくと
>>266のシングルトンの極限（ツェルメロによる）
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
・
・
n := {n-1} = {{・・{{}}・・}}n
↓
ω := lim
439: n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞ （但し、∞はωかもしれないが、素人分かり易しくした） で、{{・・{{}}・・}}∞は、{}が可算多重に重なったものです で、シングルトンというけれど、その集合の元はなんだ？というご批判が、聞こえてきそうだが それはごもっともなれど、自然数の集合N＝{0,1,・・・}も、その集合の元を明示できないのだから 無限集合に対して、必ずしも、「その集合の元を明示せよ」という要求を満たす必要はないと思う あと、可算多重シングルトン {{・・{{}}・・}}∞がどういう性質を満たすかが問題になる まあ、そこは、無責任ですが、よく分かりませんｗ（＾＾； でも、一応極限として、一度 可算多重シングルトン {{・・{{}}・・}}∞を認めても宜しいのではないかと（＾＾ そういう話をしたら、例によっておサルが噛みついてきたのです 彼は最初は、可算多重シングルトンだと、一番外の{}が存在しないとか言った 次に言ったのが、可算多重シングルトンは正則性公理に反すると言った そこから、正則性公理→無限降下列に話が行く それに反論する過程で、おサルは”＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない”と言い出して かつ、０＜・・・＜ω で、ωの前者はなんだ？という話に繋がっているのです それで、数学科出身を自慢されてもね こちらとしては、なんだかね（＾＾；
440:１３２人目の素数さん
21/06/19 16:20:21.36 AC3vil2U.net
>>414
現段階では、ウランやプルトニウムのような原子で構成された核物質をAIのロボットが処理したら、
その核物質がAIのロボットの表面についてその処理に困るかも知れないから、
順序としては原子力発電所の安全性の研究が最初にすることじゃないの
441:１３２人目の素数さん
21/06/19 16:22:08.70 IxFCR29a.net
ついでに
おサルが納得しないのが、下記
箱入り無数目を語る部屋
ｽﾚﾘﾝｸ(math板)
特に
ｽﾚﾘﾝｸ(math板:43番)
辺りね
何年か前に数学セミナーに載った、時枝先生の記事の件です
おサルは、時枝記事を鵜呑みにしている
対して、私は、時枝記事の解法は不成立だと
これも、可算無限個の箱のからむ話です
まあ、大学レベルの確率論でIIDを学ぶとすぐ分かる話なのだが
確率論のIIDが分からないレベルではね
そのレベルで数学科出身を自慢されてもね
なんだかね（＾＾；
442:１３２人目の素数さん
21/06/19 16:39:06.76 dMVF6Ao+.net
あいかわらずフィーバーしてるねｗ
>>404
＞いや君が勘違いしてるようにしか見えないけど、
実際には勘違いしてるのは君だよ ID:jEvz9hTC 君
＞「0からはじめてより大きな順序数をその都度選ぶというプロセスを続けること」
＞てあるけど、これ意味なしてないよね
君が意味を理解できないだけ ID:jEvz9hTC 君
443:１３２人目の素数さん
21/06/19 16:41:57.45 9yfPrJES.net
>>418
経験と知識が豊かな方々には
是非ともそれをお願いするとして
若い人にはAIとロボットの使い方も含めた
革新的な廃炉の方法の研究に
チャレンジしてほしいと思います
444:１３２人目の素数さん
21/06/19 16:46:42.70 dMVF6Ao+.net
>>410
>自民が駄目なら、どこがいいの？
そもそも、議会制がダメなので、その象徴がJ民なわけだが
反J民だが、どこに入れたらいい？ ってことなら
ゆ党のK民や、見た目や党のR民ではなく
反資本主義のK産党しかないだろうねｗ
ま、しかし、今のＫ産党が「一党独裁」に陥らなければ、だけど
（実際にはＫ産党自体巨大組織であり、党内の「利権」に固執する
抵抗勢力もきっと膨大であるから、全然期待できないけどね）
要するに政治に「力」を求めるのが間違いなのね
「力」は必ず人民を絞ることに用いられる
「力」は絶対悪であり、人類絶滅への電車道なのよ
445:１３２人目の素数さん
21/06/19 16:55:09.89 dMVF6Ao+.net
>>413 ID:H9G4VwdL
> >>179でこの定義でいい？と確認したけどね
>>415 ID:Tyzi4VH0
> で、いいと返事した人は誰なの？
>>416 ID:IxFCR29a
> 私が>>188で「それ、多分合っていると思うよ」とレス付けたよ
要するにそういうことですね
ド
446:ッベルゲンガーに当人のみが賛同したと しかも相変わらず「多分・・・と思うよ」と逃げ道確保した上で マウントしたがる一方で、かならず逃げ道を確保する ニセの玄人を演じて、素人の自分はそれをわけもなく信じる、というだけ しっかし、演技がヘッタクソだよね なんか記号を使えば玄人に見せかけられる、と思ってるところがクソ いってることは完全なヌケサクなので、素人だとバレバレだが 自分がド素人だからそこには全然気づけない 滑稽の極み
447:１３２人目の素数さん
21/06/19 17:05:42.60 dMVF6Ao+.net
>>399
>時間の節約のために、解説するよ
ド素人のID:IxFCR29a君に、解説など不可能だよ
>（当たっているかどうかは不明だが）
完全に外してるね
>最小値 min xの存在する列は、
>たとえ無限列であっても、
>整礎関係 正則性の公理の下での無限降下列ではない
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
要は
「あとから最小値 min xを取ってつけさえすれば
反論を完全にかわせる ここに気づいた俺、天才」
ってつもりだろうけど
完全に素人の浅知恵ですからぁ 残念！！！
あとからつけた最小値 min xを取り除いた集合はどうなるかな？
アルェー、やっぱりmin xないじゃんｗ
いやー、君相変わらず底抜けの馬鹿野郎だねえｗ
どこの底辺高卒か知らんけど
だからさ、文章正しく読みなよ
"every non-empty subset S ⊆ X has a minimal element with respect to R"
冒頭に"every"ってあるよね、"some"じゃないよね
「最小値xが存在する部分集合があればいい」ってわけじゃないよ
「最小値xが存在しない部分集合などあってはいかん」のよ
448:１３２人目の素数さん
21/06/19 17:10:30.22 dMVF6Ao+.net
>>400
理解もせずにコピペしても無駄だって、いい加減気づこうぜ
それにしても424でも書いたけど”every”の意味も知らんとかヒドイね
中学英語からやり直せよ
>>406
君はあいかわらず粗忽だね
気持ちが上ずってる証拠だよ
他人にマウントするために数学を利用するのはやめな
理解もできないこと書き並べたって、かえって揚げ足とられて大恥かくから
君の人生なんて、オウンゴールの連続じゃないのかい？
邪な心を捨てて生まれ変わりなよ
すくなくとも安心して往生できる（マジ）
449:１３２人目の素数さん
21/06/19 17:21:34.29 AC3vil2U.net
>>421
へ？
数学でAIとロボットの使い方も含めた革新的な廃炉の方法の開発の研究はしないよ
それをするのは技術者や工学者
元の話は すべての数学の証明はAIで出来るか？ ということだった
何でそんな結論で終わるの？
450:１３２人目の素数さん
21/06/19 17:25:14.38 jEvz9hTC.net
>>420
じゃあ「xが上昇列であること」の定義を数式で書いてみてよ
意味をなしてるというのであればかけるでしょ
451:１３２人目の素数さん
21/06/19 17:25:21.06 dMVF6Ao+.net
>>408
＞彼は、０＜・・・＜ω が有限列 と思っています
彼が誰かは知らんけど、
「＜の左に必ず項があるなら」
上記は正しいね
＞それは、正則性公理が、無限降下列を禁止していて、
＞０＜・・・＜ω が無限列なのだと
＞ω→０へ降下するときに、無限降下列になると勘違いしたのです、彼は
君は「＜ωの左に項が存在しなくてもいい」というんだろう？
その定義の場合、逆向きにしたら、降下列にならないってこと
本当に心から理解してるかい？
＞そして、ωが有限の前者を持たないことが、有限列の根拠だというのです
「有限の」は要らない そもそも前者を持たないから
＞つまり、０＜・・・＜ωを、”０＜・・n＜ω”と解釈して
＞（かつ、そうしなければならないという）、
＞”有限列にしかなり得ない”と主張します
「ひっくり返せば、降下列になる」といいたいんなら
そうせざるを得ないけどね
君さ、整列順序集合の順序を逆にしたら、有限集合でもないかぎり
整列順序集合にはならない、ってこと理解してるかな？
＞ですが、０＜・・・＜ωは、普通の数学として、
＞”＜・・・＜”の部分が、全ての自然数を走ると解釈して、
いや、いつどこで誰がそんな馬鹿なこといったの？
ド素人の君が愚かにも勝手にそう思い込んだだけでしょｗ
＞･･･それは無限長であり、
＞「ωが有限の前者を持たない」ことと、
＞なんら矛盾しないのです
繰り返すけど「有限の」は要らないよ、
「ωが
452:前者を持たない」 はい言ってごらんｗ だから、君が考えるような列をひっくり返したら 「ω＞・・・」 で、のっけから＞の右の項が存在しない つまり降下列にならない 「要するに、ひっくり返したら降下列になってくれるような 無限上昇列なんて存在しない」 っていってるのよ 君は本当に頭が悪い上に固いね ＞それが、理解できないようですね いや、君が理解してないの 君のいう無限上昇列は、ひっくり返して無限降下列にできないの いいかげん、こんな初歩的で簡単なこと、理解しようね 数学科じゃなくても分かるだろ 大学に受かる程度の脳ミソがあるなら ま、実際は偏差値４０以下の底辺高卒だから、無理もないがね だから、君は数学なんか諦めて、自分ができる仕事で生きなよ
453:１３２人目の素数さん
21/06/19 17:28:53.32 dMVF6Ao+.net
>>409
＞ID:H9G4VwdLさん
＞（多分昨日のID:1Bo6l00wさん）
＞が発言してくれて大変助かりました
実は全然助かってないけどね
かえってドッペルゲンガーと言われる始末
浅はかな人はどこまでもやることが浅はかだねえ
454:１３２人目の素数さん
21/06/19 17:32:56.87 dMVF6Ao+.net
>>411
>従来の数学の標準と異なる「定義」を採用したり、考案することは、
>許されるし、何の問題もないが
>普通は、従来の数学の標準「定義」はこうで、
>自分の考案した新定義はこう
>と、対比して論じるのが、マナーですよね
ID:1Bo6l00w＝ID:H9G4VwdLは
そのマナーに完全に反してたけどな
自分の考案した定義で従来の数学の標準定義を塗りつぶそうとしたよな
そしてそれを指摘されてwell-defindがどうとか
トンチンカンなこといってブチ切れてたな
明らかに玄人を演じようとしたところ素人っぷりが暴露されて狼狽してた
だからそういう姑息な演出とかするなよ ド素人は
455:１３２人目の素数さん
21/06/19 17:45:28.90 dMVF6Ao+.net
>>417
＞あと、まともな人が増えたところで書いておくと
そもそもまともでない変態は貴方だけですがね
別ID発生させても、人は増えませんから 残念！
＞ω := lim n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞
＞（但し、∞はωかもしれないが、素人分かり易しくした）
それじゃ循環定義だね アウト
＞で、{{・・{{}}・・}}∞は、{}が可算多重に重なったものです
ド素人君は、極限を「思考の慣性」としてしか理解できないんだねえ
＞で、シングルトンというけれど、
＞その集合の元はなんだ？というご批判が、聞こえてきそうだが
賢い人は、他人に批判される前に、自分で気づきます
そして、ああこりゃダメだな、といってゴミ箱に捨てます
＞それはごもっともなれど、
ごもっとも、で終わりですね
「なれど、」と言い訳する人は愚か者、つまり馬鹿です
＞自然数の集合N＝{0,1,・・・}も、その集合の元を明示できないのだから
明示できますよ 0はそうですね、１もそうですね
はい２つも明示しましたよｗ
自然数の集合Ｎの元は自然数ですから、
どれだけ時間がかかろうとも個々の元は明示できる
と人は考えます（現実的には無理でしょうけどね）
できないのは、「全ての元を明示すること」です
そこは正しく表現しましょうね 馬鹿じゃないんだから
＞無限集合に対して、必ずしも、
＞「その集合の元を明示せよ」
＞という要求を満たす必要はないと思う
無限集合？え、あなたシングルトンっていいましたよね？
シングルトンの意味わかってますか？
一つの要素しか持たない集合ですよ
完全な有限集合ですよね
「唯一の要素しか持たない」って言い切った貴方に
「その唯一の要素って何だよ」って問うのは当たり前じゃないですか
答えられない時点で、
「ああ、俺の考えアサハカだったな」
って引っ込めるのがマトモな人ですよね
「いまここでひっこめたら、俺の面目丸つぶれ」
なんて小さいことにこだわって突っ張り通すのは馬鹿ですよね？
あなた、馬鹿なんですか？
456:１３２人目の素数さん
21/06/19 17:49:07.18 MYDkk4us.net
>>426
これは失礼
本来の話題はそれでしたね
ポイントはデジタルとアナログで
アナログ的な数学は将来的にはデジタルに圧倒されて
趣味的なものに変化することもありうるのではないか
という意見を述べて、実際にデジタル的方法以外ではどうしようもなさそうな
研究対象として地下２kmの生物というものをあげたわけでしたが
それに関連する話として廃炉が浮かんだわけでした。
一般的な話としては「解釈可能AI」(WWAIと
457:呼ばれているそう)の 延長上に数学の証明をどんどん片付けるAIが現れても 全然不思議ではないように思いますが。 技術者や工学者たちはそういう世界を自然に受け入れると思いますね 今日のACCAの集会でも深層学習の研究で科研費を取っている人が 等角写像の「指紋」の話をしていました。
458:１３２人目の素数さん
21/06/19 17:52:27.98 dMVF6Ao+.net
>>417
＞あと、可算多重シングルトン {{・・{{}}・・}}∞が
＞どういう性質を満たすかが問題になる
＞まあ、そこは、無責任ですが、よく分かりません
ド素人あるある その１
「思いついたことをそのまま口にする」
＞でも、一応極限として、一度
＞可算多重シングルトン {{・・{{}}・・}}∞
＞を認めても宜しいのではないかと
ド素人あるある その２
「思いついたことが皆正しいと思い込む」
玄人は自分のナイーブな思いつきがことごとく間違ってたという経験を
嫌というほど十分に積み重ねてきたので、思いついたことをそのまま口にする
ということは決して致しません まず
「この考えはきっと間違ってるに違いない」
と思って十分に自分の考えにツッコミをいれます
それができない人は、数学者になれないどころか
数学科のゼミでも生き残れません
459:１３２人目の素数さん
21/06/19 17:53:26.30 IVIt/ySo.net
>>422
日米安保を廃棄して非武装中立なんて絵空事を唱えてる共産党よりは
アメポチの自民の方がリアリズムでいいと思うけどね
後半の文章もあまりに抽象的で空虚すぎる
あなたはいつも批判するのは得意で威勢もいいけど、
積極的に立言する段になると急に弱々しい口調になるよね
460:１３２人目の素数さん
21/06/19 18:03:51.86 dMVF6Ao+.net
>>417
>そういう話をしたら、例によっておサルが噛みついてきたのです
ド素人発言をして玄人に突っ込まれまくるのが
あなたのお家芸なのかと思ってましたが違うんですか？
＞彼は最初は、可算多重シングルトンだと、一番外の{}が存在しないとか言った
{}から外に順々に｛と｝をかぶせるならそうなるね
＞次に言ったのが、可算多重シングルトンは正則性公理に反すると言った
どうせあなたが
「一番外側の｛｝はある、｛と｝の間に{}を入れていくんだ」
といったんでしょう？
＞そこから、正則性公理→無限降下列に話が行く
内側にどんどんいれていくんなら、
無限降下列ができてしまい
正則性公理に反しますよね
（そもそも順番が逆 無限降下列→正則性公理の否定、です）
＞それに反論する過程で、おサルは
＞”＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない”
＞と言い出して
どうせ、あなたが
「順序数の列、０，１，・・・，ω をひっくり返すだけで
ほ~ら、無限降下列の出来上がり」
みたいなナイーブな馬鹿発言をしたんでしょうｗ
それじゃ、降下列の条件を満たさないってことすらわからない
だいたい「全ての順序数が現れなければならない」と思うのが馬鹿
いったいどこからそんな幻聴が聞こえたのかわからんが
まっさきにそれを振り払えｗ
＞かつ、０＜・・・＜ω で、ωの前者はなんだ？という話に繋がっているのです
あなたがおもいついた「なんちゃって降下列」が降下列でないことを示す
もっとも簡単なツッコミポイントが、「ωの前者は何」ってことです
ないでしょ？だったらあなたの列は降下列ではないですね
いっときますが、降下列は、ω未満の全ての順序数が現れる必要などないし
そもそもそんな降下列はつくれません
ω＞ｎとする時点で、ｎより大きくωより小さい無限個の自然数は
全部すっ飛ばされます どんな大きなｎを選んでもそうなります
それが降下列の宿命ってことに気づかない時点であなたは大馬鹿です
461:１３２人目の素数さん
21/06/19 18:12:22.13 dMVF6Ao+.net
>>434
＞日米安保を廃棄して非武装中立なんて絵空事
＞アメポチの方がリアリズムでいい
力に頼るのはアサハカですよ
リアリスト（というよりオポチュニスト）は
いつもそれで失敗します
何度失敗すれば気が済むんですかね？
＞後半の文章もあまりに抽象的で空虚すぎる
抽象的ではないですね 実に具体的ですよ
何の希望も見いだせず絶望的すぎるという批判は
甘んじてお受けいたしますが
＞あなたはいつも批判するのは得意で威勢もいいけど、
＞積極的に立言する段になると急に弱々しい口調になるよね
問題の提起よりも問題の解決のほうがはるかに難しいのは常識ですよ
デヴィッド・グレーバー�
462:烽｢ってます 「高理論を望むな まず低理論から始めよ」 マルクスは優れた批判家ではあったが、完璧な理論家ではなかった これは批判ではありません そもそもそんなものになるのは無理なんですから 数学においても同様 はじめから出来上がった理論の構築など目指してはいけません 小さいことからコツコツと積み上げる気概が必要です 物事は綺麗事ではうまくいきません
463:１３２人目の素数さん
21/06/19 18:16:42.07 dMVF6Ao+.net
私は、「1」とは違って、他人にマウントしていい気になる趣味はありません
そんなの、何の意味もありませんから
「1」のようなミットモナイ人をたしなめる趣味はありますが
これはイジメではありません 教育的指導ってヤツです
別に体罰なんて行ってませんし、人格否定もありません
え？馬鹿って言ったって？世の中の人の9割9分9厘9毛は馬鹿ですよｗ
そもそも馬鹿であることがミットモナイと思うのは間違ってます
本当にミットモナイのは馬鹿を自覚せず自分が天才だと自惚れて
馬鹿なことをいいつづけることなんです
そこを取り違えてはいけませんね
464:１３２人目の素数さん
21/06/19 18:21:46.76 dMVF6Ao+.net
マルクスに限りませんが
例えば釈迦にしてもイエスにしても
批判者としては実に的確だった
しかしその解決方法については
必ずしも的確ではなかった
別にそれは仕方のないことです
残念なのは「信者」と呼ばれる方々が
解決方法のほうを絶対の真理だと
信奉しちゃったことです
マルクス主義もそういう意味で
（悪い意味の）「宗教」になっちゃいました
本当の宗教というのは永遠の批判の積み重ねです
だから哲学と同じなんですよ
残念なことに哲学も（悪い意味で）「宗教」化しちゃってますが
（ヴィトゲンシュタインも別に自分が教祖になりたかったわけではないが
哲学界ではヴィトゲンシュタイン教徒が実に多くて困ります）
465:１３２人目の素数さん
21/06/19 18:24:56.58 dMVF6Ao+.net
的確な批判者であることは、実はそんなに難しいことではない
そして、的確な批判者でありつづけることによってのみ、
人は、的確に生き続けることができる
安易に幸運にすがるのはもっともダメな生き方です
力に頼るアメリカも、そんなアメリカに頼る日本もダメです
力が人類を滅ぼす この事実から目を背けたら死にますよ