Inter-universal geometry と ABC予想 否定派

IU幾何やABC予想に関する否定派の会話のサロンとして使って下さい。
荒らしはご遠慮願います。
擁護派出入り自由ですが◆e.a0E5TtKEは立ち入り禁止で

前スレ
Inter-universal geometry と ABC予想 49
https://rio2016.5ch.net/test/read.cgi/math/1586650355/

クソスレ立てんな

>>1
大儀乙

>>2
邪喧しい!!

現スレ
Inter-universal geometry と ABC予想 50
https://rio2016.5ch.net/test/read.cgi/math/1586907848/

現スレ貼ってくれてサンクス
ちなみに私は中立です。別に否定派だけで囲おうって気はありません。
ちゃんとしたIUTの数学内の話が出来る人達だけが集う事を期待しています。
アンチ体質や登場人物だけに興味ある人はこのスレではNGの方向で。

>>5
別に感謝されるほどのことはしてないよ

さて、前スレの続きだが
https://rio2016.5ch.net/test/read.cgi/math/1586907848/994

今の人は目蒲線知らないよな
目黒線と多摩川線に分かれちゃったし
だいたい、あの歌に出てくる赤羽線がもうない
埼京線になっちゃったからな　大出世（？）だよ

・・・え、そこはどうでもいい？IUTはどうした？
いやいや、わかってるって、ジョークだよ、ジョーク

https://rio2016.5ch.net/test/read.cgi/math/1586655469/202
>定義を取り違えている主張はほとんど無効だよ〜

誤　ほとんど
正　全く

そういえば、正規部分群の定義を間違えて

「おまえの定義だと、全ての部分群が正規部分群になるな（ぷ」

と嘲笑された馬鹿野郎がいたな

最初にRemarkです

ID:fNdyonvYは数学崩れの独善的自称正義ふりかざしヒキコモリおじさんだからNG推奨

難しい数学語ってるふりする前に

ID:fNdyonvYは毎日のマンマの心配しろよ

過保護な親に食わしてもらってるとかないだろ　おじさん

ID:1oujc1HV　処刑

http://shinchan.biz/player.html?video_id=sm15307315

>>8
注意サンクス
もうはじめからNG済みだった

BLACKXとかいうコラッツ厨のド素人もNGで

>>5
＞ちゃんとしたIUTの数学内の話が出来る人達だけが集う事を期待しています。

それは51スレに任せる
http://rio2016.5ch.net/test/read.cgi/math/1587468367/

さて検証事項まとめようかな

フハハハハハハ

第六天魔王　Mara Papiyasだ
今度　上記のHNで活動する

久しぶりに「コンピュータは数学者になれるのか」（照井一成）を読んだら
フィールズメダリストのヴォエヴォドスキーの言葉を発見したので紹介する

ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
　既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
　そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)

>>7
ショルツ批判はそこまでだ

ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。

彼亡き後、ホモトピー型理論はどうなったんだろうか？

>>16
ＩＵＴＴは既知の正しい理論と似てない為にチェックが進まない
と解釈されてますが、それは？

>>19
その通りだ

そして望月のとりまきは、望月の理論の詳細までチェックしたとは思えない
望月への信頼が、仇になっている可能性が大なのだ

新しい理論の検証に対して、義理人情は邪魔である

https://rio2016.5ch.net/test/read.cgi/math/1587468367/21

向こうにも●木Ｇがいるのか・・・

アメリカではティーチングプロフェッサーってのがいる。
研究負担なしで、教育負担がむちゃくちゃ多い役割。
日本みたいに格安で非常勤講師を雇えないから、日本の非常勤に相当するものを
常勤で雇っている。
ウォイトはコロンビアのティーチングプロフェッサーのまとめ役的立ち位置。
微積や線形代数あたりまでを仕切っている。

>>22
なるほど・・・Woitもなかなかタイヘンだねえ

さて、今日も恒例のinter-thread talking battle やらかすか

https://rio2016.5ch.net/test/read.cgi/math/1586655469/203
＞今度は玉川先生が論争に行くことにしたら？

玉川が分かってるなら初めから論争してるって
論争してない時点で分かってない、って悟れよ

＞星先生を助太刀にして

星は望月とショルツ＆スティクスの議論の際
ダンマリを通してたっていうぞ
それじゃ、助太刀にならんだろ

https://rio2016.5ch.net/test/read.cgi/math/1586655469/203
＞ＩＵＴ自身が分かり難い
＞遠アーベル以外の数学者（できればＭ１クラス）
＞に分かる教科書（ＳＧＡにたいするハーツホーン）

順序が逆

そもそも専門家に理解された上で
学生向けの教科書が書かれる

「K2に一般向けの登山道を作れ」
というくらいアホなこといってることに気づけ
（絶対不可能とはいわないが遠い遠い将来の話だ）

https://rio2016.5ch.net/test/read.cgi/math/1586655469/203
＞ＩＵＴ理論への納得性
＞過去に、物理学などでは、革命的な理論が出たとき、
＞周辺の人の理解がおいつかないことがあった
＞数学でも似た例があるが、分からせる努力を怠ってはいけない
＞（物理学だと、相対性理論とか量子力学など）

喩えが悪いな

IUTは現状でいえば、ヘヴィサイドの演算子法よりもっとヒドイ

演算子法は証明はなくてもなんか上手くいくという実績があったが
IUTはそれすらない　そんなんじゃダメダメ

https://rio2016.5ch.net/test/read.cgi/math/1586655469/208
＞IUTが何か知らないけど応援しています

なぜ？理由は？

何か知らないなら、応援するのはマチガッテル

応援したいなら、まず知れよ！知れよ！！知れよ！！！

正直、IUTが成功だろうが失敗だろうが知ったこっちゃないが
専門家が理解できないといってる論文を、
PRIMSがアクセプトし、しかもそれについて
RIMSの数論幾何関係者は誰一人まともな説明ができない

これは異常事態だと感じるのは当然

まちがった愛国心の発露は国を、いや、人類を亡ぼす害悪

https://rio2016.5ch.net/test/read.cgi/math/1586655469/210
＞そういうことは言わないの
＞弘法も筆の誤り

貴様は弘法じゃないだろう

正規部分群の定義を間違えるとか
数学科なら即転科を薦められるレベル

＞正直でいい
＞そういうことは、みなあるものですよ

なに、開き直ってんだ？

数学以前に日本語が読めないヤツに
ショルツを嗤う資格なんかねぇよ

人間として致命的だな

なるほどこういう例があったんですね

「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、
シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[5]。
シアンの主張は幾何学的な手法でケプラー予想を証明したというものだった[6][7]。
しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで
「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。
ヘイルズはシアンの仕事を詳細に批判し[8]、シアンはこれに反論した[9]。

現在ではシアンの証明は不完全なものだったと認められている[10]。」

>>29
多分、探せばもっといろいろ見つかるんじゃないですかね

いっときますが、

・望月が人を欺くつもりでＩＵＴ論文を書いたとは思ってない
・しかし、PRIMS掲載をめぐる一連の行動は疑惑を持たれても仕方ない
・レフェリーすら正当性を説明できない論文をアクセプトするべきではなかった

そういうこと
国際会議とか関係ない　そんなもん勝手にやればいい

掛け算の交換法則の話もしとくか

算数の実施は、ロビンソン算術の公理系で十分である

一方、ロビンソン算術では
自然数全般に関する結合法則及び交換法則
は証明できない

なぜならロビンソン算術には数学的帰納法がないからである

そもそも
「小学生に結合法則および交換法則を教えるのに
　数学的帰納法による証明を示す必要があるか？」
という問題はあるがｗ

https://rio2016.5ch.net/test/read.cgi/math/1586655469/215

「ポジティブ」とかいってるけど◆e.a0E5TtKEは
「世界に冠たるIUT！！！」
っていいたいだけのファシストだから

「ネガティブ」？いやいやこっちがpositivist（実証主義者）だから
論理的根拠なしに翼賛する向こうがnegativist（反実証主義者）でしょ

https://rio2016.5ch.net/test/read.cgi/math/1586655469/216

・IUT論文審査は不十分
・IUT論文は証明として全く十分でない
・以前の国際会議でも理解されなかったのに
　今度の国際会議で理解されると思うのはアサハカ

柏原は只の神輿　玉川は完全に腰が引けてる

日本数学会はIUTとは無関係　支持する理由がない

ファシスト◆e.a0E5TtKEの
「日本人だから日本人を無条件に応援すべき」
という考えは最低最悪

https://rio2016.5ch.net/test/read.cgi/math/1586655469/217

こちらは◆e.a0E5TtKEが（HNつきでも匿名でも）書き込まない限り
本スレこと51スレに書きこまない

ま、本スレにはまだ粋蕎 ◆C2UdlLHDRIが書き込んでるが
あいつは絶対中立と云うしか能がない馬鹿だから
放置しといても問題あるまい

https://rio2016.5ch.net/test/read.cgi/math/1586655469/218
＞本体スレでは、「IUTって数学的にはなんなの？」って話をしてほしい

そんな話、群論の初歩も理解できない工学部卒の◆e.a0E5TtKEには
逆立ちしても理解できまい

「RIMSがサギだ」というのは、
「疑惑などない」と言い張るRIMS礼賛馬鹿
に対するカウンターパンチ

そもそもなにかというと日本自慢をしたがる馬鹿が湧くのが5ch
ウソついてまで民族自慢とかDQNのすること

数学の神様は正直者の味方

誰が正直かは明らか

もう望月浮上することないの？

「ない」とはいわないが
今の望月の態度から見て
限りなく小さい

https://rio2016.5ch.net/test/read.cgi/math/1587468367/33
＞一般的に「査読を通過した」ことは、
＞普通、論文が掲載される前に、
＞公にされるべきものなのでしょうか？

否

今回の「発表」は望月の要請によるものと思われる

要するに「”理解者”によって正しいと認められた」と云いたがってる

これに数学界が反発

”理解者”は何をどう理解したのか？
何の説明もないまま掲載をゴリ押しするのか？

８年あっても、弟子は師匠の理論をロクに説明できず
賛同してるロシア人とやらも他人を素人呼ばわりするだけ
まるでギャップがあることに触れられたくないかのごとき反応

これじゃ受け入れられるわけがない

>>40
後々大きく修正を受けたり
不成立とされた証明でも
研究者本人の不正直さから
“間違えてる”とされたものってありましたっけ…?

その時点で研究者本人が正しいと確信したからこそ“誤った証明”を発表したんだと思います…

IUTTが誤った証明だという意味では勿論ありません

あんまり偏って過疎化して
他スレから
「アンチの●■▲ースレ！」
って嘲笑されないように
(及ばずながらお役に立てれば)と思い立ってカキコみ申し上げましたー。

>>45
望月が正しいと思ってるのは確か

一方で、他人からの指摘に対して
真摯に向き合ってるとは思えないのも確か
どこか自己防衛のバリアが張り巡らされてる印象

>>46
「誤った」推論というより
「ギャップのある」推論が
証明内にあると思われる

ショルツの指摘はギャップのある個所について
単純化して考えると矛盾する、といってる
しかし、望月はどう複雑化すればいいか示せていない

>>47
君は「仲間」のところに戻ったほうがいいな

数学知らない素人なんだろ？

ブログのMZって本人かな〜。文体似てるけど

>>48
「ボキちんが３日で解るように教えちくり〜っ！
ﾁｭﾊﾟﾁｭﾊﾟｯ（'◎'*）」
「ぼきチンオリジナル解釈したらダメだった٩( ´³`)｡ ﾌﾞｰ」

。。。もっちーピーンチｗ

5chIUT論装戦線っていうより
数学のレボリューショニスト☆もっちーに抗う守旧派レジスタント
白色テ論装隊員じゃね？

もっちーは現代数学の終わりに現れたポストモダン数学の中で“終わりの始まり”に位置してそう…

ご新規様

5ch反IUT論装戦線 ◆y7fKJ8VsjM
ID:gQCe02i1 (昨日のID:fNdyonvY）
は数学崩れの独善的自称正義ふりかざしヒキコモリおじさん
NG推奨

万年自宅警備員はネットで戦線はる前にマンマの日銭稼ぎなさい
　

...w

>>52
喩えが悪いね

望月らIUT一派：ボリシェヴィキбольшевики
反IUT論装戦線：マフノフシチナМахновщина

5つの指針

すべての政党の停止
すべての独裁の排除
すべての国家の否定
すべての「過渡期」や「プロレタリア独裁」の否定
評議会によるすべての労働者の自己管理

↑🐣👶«🍼»゜。○゜。
。。。w

>>54
君はまず「食うために働く」という考えが、
資本主義に飼いならされたイヌのものだと気づけ

https://ja.wikipedia.org/wiki/%E7%84%A1%E6%94%BF%E5%BA%9C%E5%85%B1%E7%94%A3%E4%B8%BB%E7%BE%A9

無政府共産主義（英: anarchist communism）は、無政府主義（アナキズム）の潮流の一つ。
人の自由と自律を尊び、不当な支配階級や経済格差の無い社会を目指し、
「能力に応じて働き、必要に応じて受け取る」という原理を唱える。
個人各々が自主的に組み合って、資源分配や生産方針を直接民主で決定する。
「能力に応じて働く」というのは、他者から雇用されるまでもなく
自ら出来るところで生産するということで、
生産手段が社会の全員へ開放されているのを前提する。
「必要に応じて受け取る」というのは、生活に必要な財を
貨幣等と交換せずに獲得できるということで、
財が社会の富として充分に随時生産されているのを前提する。
雇用者や富豪などの少数が利益目的で階級的・非民主的に
生産・分配・所有を制御するところの資本主義を根本的に批判する。
ならびに、資本主義型支配に加担してきたとして国家を告発する。
各地で個人が直に参与できる直接民主制の小規模共同体を基盤に、
下意上達で罷免できる代理人を通じて大規模政策用に形成・改変する
連邦群が、従来の国家に代われる、とする。

早く大きくなあぁ〜れ💗

…w

今日の👶赤ちゃん🐣保育🍼
終わりｯ!

Анархія
https://www.nicovideo.jp/watch/sm33025887

人間社会(なんか)に夢見過ぎ
(ピュア過ぎて)ないです

ナイーヴな政治観にも👶ピュア🐣さが漂っちゃってまつねw

５４歳児w

しぇんしぇ〜!
たんぽぽ組の年長さんがピュアしゅぎまつ〜
助けてー

mg08g5qs　は　絵文字ＢＢＡ

本スレでも素人ぶり全開のカキコ

Woitが超弦理論の何を批判してるのかは知らないが
（おそらく、物理学的な証拠がないという点だと思われるが）
高次元だからマチガッテル、といってるわけじゃないだろ

>>62
＞人間社会(なんか)に夢見過ぎ
そうやって資本主義に屈服するから
人類は破滅に向かって驀進するわけだ

mg08g5qs　は結局💩スレに亡命したらしいｗ

あそこはボリシェビキというより、帝政ロシアの悪名高い
黒百人組Чёрная сотня　だな

https://ja.wikipedia.org/wiki/%E9%BB%92%E7%99%BE%E4%BA%BA%E7%B5%84

此の儘じゃタルタリアの二の舞に成りよるぞ、げに｡

>>68
カルダノの件とは全然違うと思うが
ショルツがABC予想の証明論文書いたとしても
望月とは違う方法だからやっぱり違うな

💀💀💀💀💩💀💀💀💀
💀💀💀💀💀💩💀💀💀
💀💀💩💀💀💀💩💀💀
💀💩💀💩💀💩💀💀💀
💩💀💀💀💩💀💀💀💩
💀💀💀💩💀💩💀💩💀
💀💀💩💀💀💀💩💀💀
💀💀💀💩💀💀💀💀💀
💀💀💀💀💩💀💀💀💀

素敵なハンカチをありがとうございますたｗ お返しでーすw
さよなら〜

http://rio2016.5ch.net/test/read.cgi/math/1586655469/220
＞３０年後に「このゴタゴタは何だったんだろう」と総括するときがくる。

総括だけならもっと全然早い

＞数学の担い手が、数学者からAIに移行する兆しの事件

これを機に、計算機による検証の研究が進むだろう
人間に対する不信が極まってるから

>>66
人が“屈服してる”のは
人が作った制度の欠陥にではなく 〜制度を作る人間自身の欠陥に〜 なので
人間自身が分子レベルで生物進化でもしない限り
原始性への屈服から遠ざかるのは無理だと思いま〜つw

「スーサイドする文明」を創る理由だと思いま〜つw

http://rio2016.5ch.net/test/read.cgi/math/1586655469/224
＞IUT 数学の革新性：なにがどう革新的なのか？
＞IUT数学とは何か？

いきなりK2登山とか無理だからｗ

まず、ファン・デル・ヴェルデンでも読んで
群論の革新性を理解しろｗ

話はそれからだ

>>71
ＡＩは検証を強力に推進しそうだけど、理論家に取って換われるわけじゃ無いよ

それよりあなたが
「少人数でしか機能しない」
としてる直接民主制の方が
よっぽど技術的な実現なら早いよw

>>73
臨界期を再現できる脳神経科学を医学が実現したらねw

やりまつw

http://rio2016.5ch.net/test/read.cgi/math/1586655469/224
＞１分以内で説明してください

もし学生が時間を切って説明しろといったら
教授はこういうだろう

「君、数学やめたほうがいいよ」

＞長い話はいらない。１分で300字くらいしゃべれるよ
＞まあ、絵や図を書いて、３分間にしてもいいけどね

貴様のブラック会社の💩商品のプレゼンと一緒にされても困るね
（だいたいこの時期に出勤するとかブラック会社だろ
　５ｃｈへの書き込みしかしてねぇくせにｗ）

だいたい絵や図で分かった気になるのは思考力のない白痴

↑これが実現するならﾁﾞﾁﾞｨもセオリストに生まれ変われるねw

そしたら「理論家の仕事がＡＩに替れる」なんて考えられなくなるんじゃないかなぁ…？

>>77
＞これ>>75の「臨界期の再現」

>>74
機械が理論家になる必要はない　
機械が行なうのは検証であって創造ではない

そもそも、理論家にロマンを感じすぎｗ
まだギフとか夢みてんのか？BBA

>>79
見てるよw
人類の最先端頭脳には希望を見せて貰ってるよw
猿の惑星に生まれちゃったけどw

ﾁﾞﾁﾞｨｯﾁｬﾏには慈悲＆Hateの気持ちを覚えさせて貰ってまつw

は？彼女は儂にもオドレにも幻滅して去ったじゃろ

どわっ居たっ

http://rio2016.5ch.net/test/read.cgi/math/1586655469/225

＞プロレスで言えば、
＞ヒーローは最初はやられるのです
＞ぼこぼこに
＞ヒーロー危うしとなったその瞬間
＞逆転劇が始まるのです

ないない

そもそもヒーローじゃねぇしｗ

ﾁﾞﾁﾞｨｯﾁｬﾏ🐹ﾊﾑｽﾀｰｯﾁｬﾏに似てる🐹w

毎日毎日。。。回し車。。。
＠＠＠ｶﾗｶﾗｶﾗｶﾗ-ｯ!＠＠＠
って必死必死w
可愛ｅ💗(´艸`*)wwww

>>81-82
な、
なんか知らんけどまだいるんだよ

おまえにやるよ
肉体労働者だから・・・大きいんだろ？（何が？）

BBAは直接民主制を只の投票制度と誤解する
あさはかな思考力しか持ち合わせてないようだ

🐹ﾊﾑｽﾀｰｯﾁｬﾏ🐹って回し車に
他のﾊﾑｽﾀｰが乗ってるの
オカマいなしに＠＠＠ｶﾗｶﾗ〜＠＠って…

他ﾊﾑスｯ飛ばしちゃってもスｯとぼけて１匹で＠回し続けちゃってるのとか。。。

他の人達スっ飛ばしちゃっても動じないで＠＠ｶﾗｶﾗｶﾗ-＠＠って１人でワンオペｽﾙﾙｪ回ししちゃってるの🐹←そっくりw

http://rio2016.5ch.net/test/read.cgi/math/1586655469/228
＞「5ch反IUT論装戦線」というネーミングは”新左翼”風

ま、ネタですがね

個人的にはここに着目してます

ウォール街を占拠せよ
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A9%E3%83%BC%E3%83%AB%E8%A1%97%E3%82%92%E5%8D%A0%E6%8B%A0%E3%81%9B%E3%82%88

「2007年において、
　最も裕福な1パーセントが合衆国の全ての資産の34.6パーセントを所有しており、
　次の19パーセントの人口が50.5パーセントを所有している。」

これが資本主義の実態ですよ

BBA失せろよ

おめえ自分が賢いとかイタイ勘違いしてねぇか

>>85
虹ｯﾋﾟが消えちゃってひまなの…

ちょっと前にｽﾚ梅嵐してﾎｰﾑﾚｽにしちゃったw(*´艸`)ﾌﾌ…♪

みつからなくなっちゃった…(;;*)

ｺﾛﾅでひまひまで…
って思ってたら…
ほのぼのにﾆｭｰｶﾏｰを発見したのw



‪

☆☆☆☆☆☆☆☆☆💢
∵・Σ;>>85━━🔥🔫＞

>>88
これ好き💓
☆ウォール街を占拠せよ☆

☆サンダース☆ﾁﾞﾁﾞｨｯﾁｬﾏも
可愛ｅ💗

>>89
ﾊｨﾊｨ。
ｱﾊﾞｮｯ! ｺﾄﾞﾓｯﾁｬﾏ!

http://rio2016.5ch.net/test/read.cgi/math/1586655469/232

そもそも投票するだけの「奴隷」が「政治志向」とかいうだけ無駄

議会制は、実は民主主義でもなんでもない

自民党がクソなのは明らかだが、立民がマシというのも実は欺瞞

乃木坂・欅坂・日向坂程度の違いしかないｗ

共産党は・・・せいぜいBiSHかなｗ

そんな事言うなら海洋国家陣営ではアメリカ白人にしか民主主義実現の権利なんか無いよ

あとは言いなりになるしかないから。
国力(軍事力)差有り過ぎw

政治なんちゃらは全部“有権者”のガス抜き効果程度の
小芝居で〜すw
これが現実w

ｱﾊﾞｮｯ!

>>92
アメリカのおもしろいところは、金持ちも革新政治家もユダヤ人が多いという点

バーニー・サンダース
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%83%8B%E3%83%BC%E3%83%BB%E3%82%B5%E3%83%B3%E3%83%80%E3%83%BC%E3%82%B9

そういや、デヴィッド・グレーバーもユダヤ人
https://en.wikipedia.org/wiki/David_Graeber

>>96
フランスもでしょ

>>95
＞国力(軍事力)差有り過ぎ

BBAにしてはいい指摘　（池上彰かｗ）

誰のため何のための軍事力なんですかね？

軍隊とか警察って結局国民を支配するための道具なんだよね
貨幣もそうだけど

そういうものはね・・・全部要らないんだよ
そう、一番要らないのは・・・アメリカｗ

アメリカほどではないね
http://honkawa2.sakura.ne.jp/9038.html

もともとユダヤ人はポーランド（白ロシア・ウクライナを含む）に多かったが
ナチスが勃興してから半分は国外に脱出、半分はナチスに虐殺された
イスラエルやアメリカのユダヤ人の多くはポーランド系

アメリカと言うかFRBが要らん
中共露共中央権力も要らん

http://rio2016.5ch.net/test/read.cgi/math/1586655469/234

結局、玉川は傀儡で、編集委員会の実態は望月に支配されてるんだろ

>>100
ロシアは共産党政権じゃないがね

ま、旧ソ連にしても中国にしても共産党政権は全然共産主義じゃないがね
彼らはcommuneの意味を知らんのだろう
https://ejje.weblio.jp/content/commune

共産主義は共同体主義と翻訳されるべきだったか

新帝国主義時代に“Ｇ０”を感じて国家間競争の激化による国際関係の揺らぎから。。。
一時的に様々なピボット国家プランをシミュレートしてみても結局ポエム。

元々組み込まれてる軍事支配の枠組み内部に留め置かれて、今回のｺﾛﾅパンデミック後の世界では、ビッグテックによる個人情報が、レーシストにジャックされた帝国中心国家により統括されて逝くのでした。。。

スノーデン＆アサンジュが懸念した世界の到来でつw

「９.１１が世界の政治的潮流を変えた」なら。。。

「『コロナ後の世界』は９１１後のレーシズムに基く思想に染まった帝国中心に、世界支配を強化する技術を全権委任する転機になった」

ってまとめられてそうw

ああ、そうそう
一つ言い忘れたことがある

このスレッドが終わったら、本スレッドに戻るよ・・・もちろん匿名で

私はスレッドを立てられないのでね

不思議ヲヂさん、お邪魔しますたw

>>103
じゃ、BBAは銀河帝国皇帝役ね
https://www.youtube.com/watch?v=nohQReM7BpI

おれ？もちろんジェダイのルーク役だよ　決まってんじゃんｗ
https://www.youtube.com/watch?v=pPV9NNvtL20

共産主義は日銀がFRBの下僕に成り下がる前で日本中の企業が
相互資本補助の護送船団経営し、庶民も団塊の世代のな働き方が強力じゃった時代を差すんじゃろうな｡
『20世紀日本は最も成功した共産主義』と言われてもおかしくなかろう｡
日銀がFRBの下僕に成って以降、護送船団経営に風穴が開けられ､
庶民も団塊の世代の働き方では上手く無くなって来た訳じゃな｡

>>107
今度は計画経済を共産主義と誤解する馬鹿現る

日本の学校は嘘ばっか教えてきたことがよくわかるなｗ

21世紀こそ「トロツキーの夢」が実現する時だろうな

・・・世界革命の夢がｗ

そもそも金ありきで考えるから、権力に丸め込まれる

貨幣経済はどう転んだって金持ちに金があつまるようになってる
対数正規分布で、分散が大きくなればなるほど、
金持ちに金が集まるようになってるのは確率論の常識

対数正規分布
https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0%E6%AD%A3%E8%A6%8F%E5%88%86%E5%B8%83

経済学が資産分布について全く述べないなら、根本的欠陥があるんだよ

トマ・ピケティの提案する富裕税は所詮対症療法に過ぎず、根本的な解決策ではない

根本的な解決策？もちろん貨幣制度に代わる制度の実現

もちろんこれは容易なことではないし、スマートな理論が即出るわけでもない

試行錯誤でやっていくしかない　世の中は数学とは違うんだよ

(あ、そうだ。。。聞き忘れてました…
ﾁﾞﾁﾞｨｯﾁｬﾏ…ドラクロワの
『民衆を率いる自由の女神』
の向かって右側で。。。
短銃持って登場してませんでした？

ColdplayのViva la vitaのmashupをYouTubeで聴く度にｼﾞｬｹｯﾄの🔫ﾔﾊﾞｲ★ｦﾁﾞｻﾝ♂wが
ﾁﾞﾁﾞｨｯﾁｬﾏに見えて仕方ないんですよね…w 失礼しますたw)

>>108
何を読み違えとるん？計画主と主義主が別とは読まんかったんか？

>>111
恐らく織田信長を拉致し歴史から失踪させた真犯人

https://rio2016.5ch.net/test/read.cgi/math/1587468367/51
＞証明自体は合ってるけど論文の体裁が気に入らない

そんな「穏健派」なんているのか？ｗ

主流派：証明にはギャップがある（というかそもそも証明の体を成してない）
過激派：そもそも証明矛盾してね？

ショルツは過激派的な物言いがあったのは確かだが根本は主流派

そもそもあの不透明な論文から矛盾を見つけるのも難しい

>>113
つーか、俺が織田信長🤥

第六天魔王w

大体なんでここはBBAとか粋蕎とか変態の巣になってんだ😎←満更でもない

ﾎﾞｿｯ(類友じゃね…(絶望)

ますます嫁に逝け無くなるー！

↓変態ねらーの呟き↓

https://rio2016.5ch.net/test/read.cgi/math/1587468367/54
＞ネットアンチ収容所

これからBLACKXのことをハイドリヒと呼ばせていただくｗ

呑み足りん

>>122
吞めるだろ今日は。ごめんなさい。

変態性欲
https://ja.wikipedia.org/wiki/%E5%A4%89%E6%85%8B%E6%80%A7%E6%AC%B2

「抗精神病薬であるエビリファイの服薬により、
　新しい性的指向の開発や、異常性欲などの
　行動障害を発症することがある。」

ま、関係ないけど（だったら書くなｗ）

>>122
僕は酒やらないよ。

>>124
ﾁﾞﾁﾞｨｯﾁｬﾏ飲み過ぎだったんだw

ほんとの変態かと思ってたw

http://rio2016.5ch.net/test/read.cgi/math/1587468367/58
＞私は中立だよ。

誤　中立
正　無定見

賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ

>>126
いやいや、酒もクスリも飲んでないって

・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL

♪(*´∀`)ﾊﾊﾊ(´∀`*)ｹﾞﾗｹﾞﾗ
ﾊﾊﾊ(´∀`)♪(´∀`)ﾊﾊﾊ♪
ｹﾞﾗｹﾞﾗ

も、素数くん、、、
>>123٩(´∀`*)و♪
星座と干支一緒w

Ohaluくんちの🐱ﾆｬﾝｺちゃんはお元気ですか。。。?

個人的にそそられたプレスリリース
https://www.s.u-tokyo.ac.jp/ja/press/2019/6431/

余談ですが・・・ボクは系統１です（以前調べた）

■ぃ▲▼●ー●ーでしたね…

しぃずかあぁにぃ。

来てた…w

http://rio2016.5ch.net/test/read.cgi/math/1587468367/64
>猿芝居をやりだしたら、数学はもう終わり。

もともと数学やりたがるのは変態ｗ

>AI, 宇宙、核融合、生命科学に人材がながれるよ。

やっぱ生命科学かなぁ

AIは・・・いうほど面白くない

てすと。

ここは書き込めるのか。
すまほににゃろめうぃるすはいった。
まあいいや。

ゆぅちゅうぶすらいどできんくなった。
まあいいや。

てすと。

諸君らに問題

数学的帰納法は以下の命題と同じであることを示せ

P0　かつ　∃x¬Px　ならば　∃x(Px∧¬Psx)

(sxはxの後続者)

>>141
まずP0が何言ってるかわからないし存在xにp素数掛けるxかつそのp素数の次偶数を掛けるの反対をしたのが何なのか解らん。
まだ、行列の統計の本のが意味解る。
論理学意味不明。解らんだけだけど。

ねりゅ。おやちゅみ。

>>142
P0：数0は性質Pを満たす
∃x¬Px:ある数xが存在し、xは性質Pを満たさない

さあ、もう分からないとはいわせない

>>144
∃x∩∃x|¬P
⇒?

>>141の論理式を日本語でかくとこうなる

0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない

>>146
偶数だから。　但しxは奇数になるだけで
素数かは解らない。

ねりゅ。おやちゅみ。

。。。(”;)お休みなさぃ…

>>149
ねりゅ。おやちゅみ。

("*)))私も失礼いたします。。。

*“))め〜さま…
今日は遊んで頂いてありがとうございました..お先に失礼いたしますね..お休みなさぃ…

>>27
いやなんとなく、っていうか
IUTが正しければabc conjectureが証明された（弱いやつだけど）ことになるんで
自分の動画も世間一般の人がそこに至るまでのミッシングリンクとして役に立つんじゃないかなと
まあもう世間ではとっくに忘れられてると思いますけどね
今世紀最大の証明とか銘打っても今すぐどうにかなるってわけでもないし

(>146…(>Д⊂。)可哀想過ｷﾞﾙ…
誰か答えてあげて…
(´Д`゜)。○゜＊゜。*゜)

¬(∀xP(x))≡∃x¬P(x)
¬(∃xP(x))≡∀x¬P(x)

三項目、蛇足入れよったな。相っ変わらずβ

>>154
＞誰か答えてあげて…

いや、おまえが答えろよｗ

”*))ねりゅ。おやちゅみw

>>155
おまえ相変わらずワケワカランこといって頭悪いな　マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ

>>157
ねるなぁぁぁぁぁｗ

>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう

また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が

「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ

この馬鹿タレが！！！

全称命題から特称命題はいえない
絶対ニダ

http://rio2016.5ch.net/test/read.cgi/math/1586655469/236
>結局、3.12の指摘も空振りな状況

望月がそう思いたがってるだけ

https://en.wikipedia.org/wiki/List_of_incomplete_proofs
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく

そういうこと

�T“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…


�T＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
�T=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼

>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう

�T我が名は第七😘kiss魔王
�T=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ!

�T“)ﾉ⌒☆｡.:＊・.｡🌙
ｵﾔｽﾐﾅｻ〜ｨ…<3

酔っぱらってる？

Ｕ're ＩＣＥ!

>>166
また一つ公理が増えたな
まあ勝手に構成してろ

人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ

しかし

すべてのカラスは黒い
あるカラスが居る　←これが居ることの担保がない
ゆえに
そのカラスは黒い

この問題を回避するにはどういう公理が必要なの？

>>171
＞すべてのカラスは黒い
＞あるカラスが居る　←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？

上記を論理式で表す

１．∀ｘ．カラス（ｘ）→黒（ｘ）　すべてのカラスは黒い
２．∃ｘ．カラス（ｘ）∧黒（ｘ）　そのカラスは黒い（黒いカラスが存在する）

よく見ればわかるが、２は１の特称化ではない

１の特称化は以下の通り

３．∃ｘ．カラス（ｘ）→黒（ｘ）　あるものが存在しカラスであるならば黒い

１から３は導けるが、２は導けない

>>172
>あるものが存在し

これが全称命題からは言えない
つまり3は2と同じことを言っている

全称命題に存在性はないと思うがどうか？

>>173
＞3は2と同じことを言っている

否

２　∃ｘ．カラス（ｘ）∧黒（ｘ）　そのカラスは黒い（黒いカラスが存在する）

２の否定

５．∀ｘ．カラス（ｘ）→¬黒（ｘ）　すべてのカラスは黒くない

>>174の４ではカラス以外のものは存在しない
一方５ではカラス以外のものも存在してよい
したがって２と３は意味が異なる

すべてのカラスは黒くない

∀x(Fx→Gx)

等値

∀x(¬Fx∨Gx)

その否定

∃x(Fx∧¬Gx)

あるカラスは黒くない

つまり黒くないカラスの存在は何処かで言うことが可能だが
ここの黒いカラスの存在は言えない
全称命題の否定から存在性を言うことはできないし
またカラスが居ることと関係がない

>>176
訂正
すべてのカラスは黒い

>>176
∀x(Fx→Gx)　の特称化は
∃x(Fx→Gx)　であって
∃x(Fx∧Gx)　ではない

∃x(Fx→Gx)　と　∃x(Fx∧Gx)　は異なる
∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
∀x(Fx→Gx)から∃x(Fx∧Gx)は導けない

>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない

カラスは居る/居ない

これが全称命題から導出できない

>>180
君がずらしている

論理式を見ろ　

それで君が誤ってると分かる

分からないのは君が式を理解できないから

式を理解しろ

>>174　>>178　はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く

これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単

>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける

それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな

>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら

命題論理のタブローならわかるから
書き直してみろよ

>>185
＞命題論理のタブローならわかるから

述語論理のタブローを理解しろ

＞書き直してみろよ

述語論理は命題論理より記述力が上

述語論理　勉強しろよ

じゃあなバイ菌ｗ

http://rio2016.5ch.net/test/read.cgi/math/1586655469/249
>その議論は、私の数学レベルを遙かに超えているのですが

IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ

そもそも、タイヒミュラー理論、分かってんのか？ｗ

https://en.wikipedia.org/wiki/Teichm%C3%BCller_space

http://rio2016.5ch.net/test/read.cgi/math/1587468367/91-92
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる

そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが

RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？

http://rio2016.5ch.net/test/read.cgi/math/1587468367/93
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
>・accept通知書
>・京大広報と打ち合わ文書
>・事前報告書
>以上
>文書の公開を求めます

まず査読者と査読報告書を公開しろ

どんなヤツがどんなコメントつけて受理したか明らかにしろ

嗤ってやるからｗ

おはよう。

蛇足

http://rio2016.5ch.net/test/read.cgi/math/1587468367/82
>何でよりによって素人がIUT目指すんだろうか

ステートメントの意味が素人でも分かるからだろ

フェルマーと同じだよ

もちろん「初等的な」証明が不可能、とはいえない

ただ、それを素人の試行錯誤で見つけ出せるかといえば
限りなく可能性は小さいね

素数定理の「初等的な」証明を見つけたのもセルバーグ

もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。

>>190
お早うＯhaluくん😸🎶

ニュース速報+は馬鹿の集まり。

今日は敵の名称を考えることにしよう

「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」

・・・ああ、バカバカしいｗ

https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E4%BC%9A%E8%AD%B0

「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう

「IUTを守る会　会長」とかｗ

Peter Woit says

>double down on unethical behavior, claiming “there is an argument but we have to keep it secret”


「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」

もしRIMSがこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！

>>198
Ｍは肝心な点を見逃している

「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である

つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される

Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した
査読者はいったい何をやっていたのか？
Ｍのいうことなら100％正しいと甘え切っていたのか？
もしそうなら怠慢の誹りを免れない

今一度、>>16を再掲する

ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
　既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
　そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)

馬鹿英語使うな。

馬鹿ぁ英語使うな。

馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。

…/◎◎\


(*..)…
/◎◎\


ずっと◎◎見てると…

ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?

(Д`゜)。゜*゜みちゃﾀﾞﾒだ〜?…

�T=3 ﾋﾟｭｯ!
もっちー様 ｺﾞﾒﾝﾅｻ-ｨ!

>>204
😳。

Ｏhaluくんにびっくりされたw

https://rio2016.5ch.net/test/read.cgi/math/1586655469/253

＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」

＞注）＊＊は、「肯定的」 or 「否定的」

そもそも「IUTを守る会　会長」ｗの
「肯定的」「否定的」の判断記述が不明

もし、
・否定的＝証明に矛盾（反例）が見つかった場合
・肯定的＝証明に矛盾（反例）が見つからない場合
といってるなら、実に甘い基準

厳しい基準は以下の通り
・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合
・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合

つまり安易に肯定的と云ってはいけない

>>208　の厳しい基準では

「「前提」及び「結論の否定」から矛盾が導かれるとしても
　矛盾に至る証明がいまだ見出されていない状態」

は否定的となるが、それはむしろ当然である

フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった

だから定理と認められていなかった　当然だろう

まあ、現実には恒に厳しい基準が適用されたわけでもないが

ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された

しかし、論理学者は誰もそこにつっこまなかった

「やればできるだろう」と皆が認めたから

実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
（別に、第二不完全性定理に疑念があったからではなく
　計算科学的に興味深いと考えられたから）

http://rio2016.5ch.net/test/read.cgi/math/1586655469/255

ああ、「IUTを守る会　会長」は全然、数学ってもんが分かってないな

そもそも

ヴォイタ予想
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A9%E3%82%A4%E3%82%BF%E4%BA%88%E6%83%B3

ABC予想
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3

スピロ予想
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%AD%E4%BA%88%E6%83%B3

の「数論幾何の三大予想」がIUTとやらで解決できてるのかどうかが大問題

解決できてないなら、別の方法で解決したヤツの成果となる

別証明でも悪くはないが、インパクトが全然違う

だからギャップがあるならあると
コミュニティ内でコンセンサスを得る
必要がある

ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた

「まず、ポアンカレ予想を解かれたことに落胆し、
　それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
　そして、その解の解説がまったく理解できないことに落胆した」

だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが

（そもそもトポロジストは３次元や４次元のトポロジーが
　自分たちの従来の手法では手に負えない魔境であることを
　薄々自覚していた）

https://rio2016.5ch.net/test/read.cgi/math/1586655469/256-258

http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
Remark 3.1.4. Note that because the data involved in a species is given by
abstract set-theoretic formulas, the mathematical notion constituted by the species
is immune to, i.e., unaffected by, extensions of the universe - i.e., such as
the ascending chain V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V that appears in
the discussion preceding Definition 3.1 - in which one works. This is the sense
in which we apply the term “inter-universal”. That is to say, “inter-universal
geometry” allows one to relate the “geometries” that occur in distinct universes.

「グロタンディーク宇宙は只一ぉぉぉぉぉつ！！！」と絶叫してた
IUTを守る会　会長　◆e.a0E5TtKE　は

V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V

につっこまないのか？

貴様の主張に対する真っ向からの否定だろｗｗｗ

https://rio2016.5ch.net/test/read.cgi/math/1586655469/256
＞山下解説外している気がする

師匠のdangerousな脱線をさりげなく軌道修正する弟子

http://rio2016.5ch.net/test/read.cgi/math/1586655469/259
＞数学分かってない人が、アンチスレで絶叫しているようだが

正規部分群の定義も間違えた「IUTを守る会　会長」が翼賛スレで絶叫してるな

＞アンチスレの研究できなかった人のタワゴトには、困るなぁ〜

翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ

京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
つまり、誰かが別証明の論文を書けば、
それが最初の正当な証明と認められる

どこぞの島の連中が何を喚こうが知ったこっちゃない

「またアンダマン諸島のセンチネル族が
　船に向かって矢を放ってるぞ
　届きゃしないのに」

平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください

>>216
残念だが仕事はしてる　もう３０年務めた
結婚しなかったおかげで　貯金は結構たまったよ（ニンマリ）

>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ

>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って

(*“(>>217)
＞お金は貯まった

ﾋｿｯ(そぅぃぅことは...
絶対 言っちゃダメ！)

イッチャ、ダメ、ゼッタイ

今から災難を引き寄せる悪癖は改めましょぅ・・・

１人暮らしの老人が
「金が有る」と話してた為に
強盗殺人の犠牲者になる事件が多発してます・・

更に・・独身の男性は
「筧ちさ子(かけい・ちさこ)」
の様な
「後妻業(ごさいぎょう)」
の女性に狙われて財産を根こそぎ奪われ保険金まで奪われる殺人の被害者になる事件が多発しています・・

「明日は我が身」
常日頃から気を引き締めて、
災難を未然に防ぐ暮らしぶりを心掛け、平穏無事で幸せな老後を送りたいですね...

「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ

>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ

>>221
＞１人暮らし
じゃないから　

残念だったね

♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ〜ﾝ🎶
。゜*゜。🎶。゜*゜。🎶

春の家計見直しプランお知らせで〜す。。。

✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
(口座開設費・維持費無料
証券買わなくてもＯＫです)

電気料金も楽天電気
(賃貸住宅でも利用可能)
にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。

📲通信も楽天モバイルのUNLIMITなら１年間無料
(２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し)

併せて上記全ての支払いに
💳クレジットカード💳の
信販会社を通す決済にすれば
クレカのポイントも溜まります♪v(*^^*)v♪

お時間がお有りの時にご検討くださぃ。。。

楽天Unlimitはもうすぐキャンペーン終了、〆切です。。

※楽天のステマバイトでは有りません。。。

ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる〜」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる

で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる

>>224

ΣΣΣ((((´Д｀；)))

○ ○ ○

※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★

>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた

ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ

(騙された。。。❔)

買ｰΣΣΣ(((((๑ºдº๑)))))

▂▂┃┃┃▂▂

((⚫))((⚫))

========ε=ε=ヾ(゜´Д`)
ウゥｩﾜワアｱｧ━━━━━ｯ！

兄弟で暮らしてますが何か？

https://ja.wikipedia.org/wiki/%E9%96%93%E5%AE%AE%E5%85%84%E5%BC%9F

゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆

IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
　注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）

ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
（無限列だとすると”∈V”の左の文字が明らかでない）

お立ち台はどうだった？

ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！

(ノД`。)゜

ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？

６３歳だったんですって…

。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…

安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³

https://rio2016.5ch.net/test/read.cgi/math/1586655469/277
>望月IUTが、何を証明するのか、実はよく知らないんだ

IUTを守る会　会長　自分が守りたいものが何かも分かってなかったｗ

なんだろうなこの馬鹿はｗ

ABC予想
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3

あいつは引用のイロハも分かってない

いきなりradとか書いて読者が分かるわけねぇだろ

まずここから書けよ

「自然数 n に対して、
　n の互いに異なる素因数の積
　を n の根基 (radical) と呼び、rad n と書く。」

「自然数の組 (a, b, c) で、
　a + b = c, a < b で、a と b は互いに素であるもの
　を abc-triple と呼ぶ。」

「大抵の場合は c < rad(abc) が成り立つが、
　abc予想が主張するのはこれが成り立たない例
　（例えば、a = 1, b = 8, c = 9 のとき rad(abc) = 6 である）
　の方である。
　ただし、c > rad(abc) が成り立つ例も無限に存在するため、
　rad(abc) を少しだけ大きくすることで
　例を有限個にできないかどうかを考える。」

「すなわち、abc予想は任意の ε > 0 に対して、
　次を満たすような自然数の組 (a, b, c) は
　高々有限個しか存在しないであろうと述べている：

　c>rad (abc)^(1+ε)」

http://rio2016.5ch.net/test/read.cgi/math/1586655469/277

あの馬鹿は、３つの定式化が同値であることも理解できねぇ
こんなん高卒レベルだろ　あいつホントに大学受かったんか？ｗ

「abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する：
　q(a,b,c):=log c/log(rad (abc))
　このときabc予想は、任意の ε > 0 に対して、
　abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは
　高々有限個しか存在しないということを主張している。」

　log c/log(rad (abc))>1+ε
→log c>log(rad (abc))*(1+ε)
→log c>log(rad (abc)^(1+ε))
→c>rad (abc)^(1+ε)

>q(a, b, c) > 1 + εのεの取り方で、
>q(a, b, c) > 1.6とかq(a, b, c) > 2 とか
>まあ、いろいろあるみたい

ばぁぁぁぁぁかｗ

ε＞０は任意の値でいい

ただε＝１の場合　１＋ε＝２となり
q(a, b, c) > 2　となる場合は皆無
というのは、もっと強い予想

そのくらい読んで３分で分かれよ
大阪大ってマジで大東亜帝国以下のFランク大学か？ｗ

任意の値に具体的数値を入れている時点でゴミ

まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？

XWvRD9DGのような誤解をする馬鹿へ

元々のABC予想
「c>rad (abc)^(1+ε)となる　a,b,cの組は有限個」
から
「c>rad (abc)^2となる　a,b,cの組は存在しない」
は出てこない

『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

これ読むと数学者といえども専門外の分野については
全くといっていいほど無知なうえに、
見当違いな誤解をしまくってることが
よくわかる

「[選択公理] 超限帰納法を使ってよい
　(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)
　(無限のスーパーレッスン，p.164)」

なんじゃこりゃぁぁぁぁぁ！！！

>>250の続き
『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、
　選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」
　(無限のスーパーレッスン，p.185)

これはヒドイ・・・

>>251の続き
『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

「選択公理なしでは無限の大小が比べられなくなるので、
　ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」
　(無限のスーパーレッスン，p.201)

マジでヒドイ・・・ヒド過ぎる

たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり

すべてのカラスは黒い
から
太郎くん(カラス)は黒い

を導出できるという考え

そのことが言いたかったんだね
たしかにこれは存在命題とは異なる
俺が言っているのは全称命題から存在命題は導出できない
というのは

すべてのカラスは黒い
から
ある(黒い)カラスが居る
は導出できないと言っている

加藤文元とかいう人のIUT本が
「無限のスーパーレッスン」より
数学的にはマシな本であることを期待したい
（読んでないし読むつもりもないが）

>すべてのカラスは黒い
>あるカラスが居る　←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
このように、すべてのカラスは黒いという仮定が正しい保証はない。

>>253
そりゃそうでしょ　丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）

＞つまり
＞すべてのカラスは黒い
＞から
＞太郎くん(カラス)は黒い
＞を導出できるという考え

いやそれは駄目でしょ
というのはスズメはいてもカラスが全く存在しない場合があるから

＞俺が言っているのは全称命題から存在命題は導出できない
＞というのは
＞すべてのカラスは黒い
＞から
＞ある(黒い)カラスが居る
＞は導出できないと言っている

後半の４行は正しい

でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
「ある(黒い)カラスが居る」だとおもってるならそれは誤り

正しい置き換えは
「あるものが存在し、それがカラスならば黒い」

これはスズメしか存在しない世界でも正しい
要するになんかしら存在すればいいし、
述語論理ではそういう前提で考えてるってこと
そうでなければ全称例化なんて認められないから

>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
カラスが居る
ということは言えない

これも太郎くん問題だよ

カラスの集合から任意にカラスを選ぶ
その中に太郎くんがいたから
これを黒いカラスと呼ぶ

こういう問題と混同している
俺は全称命題から存在命題は導出できないと言っている

>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り

そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと

＞俺は全称命題から存在命題は導出できないと言っている

それ述語論理としては誤りだから

なぜかといえば、述語論理の対象領域には必ず個体が存在するから

そうでなければ、全称例化の推論は出来ないから

「カラスは黒い」というのは
「任意のｘについてｘがカラスならば黒い」という意味であって
それを特称化した場合
「あるｘが存在してｘがカラスならば黒い」となる

ｘがカラスである必要はない　スズメでもヒバリでもウグイスでもなんでもいい
しかし何にもいない、ということはそもそもあり得ない　そういうこと

>>258
＞そんなことは一言も言ってない

云ってないだろうが、∀ｘPx　と∃ｘPxの関係を誤解してるのが明確なので指摘した
自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ

誤りを認めるのは恥ずかしくない
誤りを認めないことこそ恥ずかしいんだ

>>260
(1)　Fa
(2)　(∃x)Fx　(1)

この導出に異論はあるか？

>>262
あるに決まってんだろｗ

>>255
>すべてのカラスは黒い
>あるカラスが居る　←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。

>>255はカラスを物理的に解釈して考えたときの話。

>>257

>>264は、>>255ではなく、>>257へのレス。

http://rio2016.5ch.net/test/read.cgi/math/1586655469/289
>戦線とか言う時点で共産党員

共産党員ではないな
アナーキストだからｗ

>日本が憎くて仕方がない！

日本政府は要らないと思ってる
ま、日本に限らないけど

憎しみはない

>日本人の自尊心は敵

他国民と比較して上とかいう
異常な精神は害悪だと思ってる
そういうのは本来の「自尊心」ではない

>望月許すまじ

望月の態度には誠意がないと思ってるし
PRIMS掲載で不当な圧力をかけたなら
トンデモないと思うが

改心しろよ　そしたら許してやる

>日本人はバカでなくてはならない

いや、賢くなってほしいね
やれ韓国人ガー、中国人ガーという
馬鹿丸出しな態度から脱却してほしい

心からそう思ってるよ

>>141
1、P0∧∀x(Px→Psx)→∀xPx　・・・数学的帰納法
2、P0∧∃x¬Px　・・・仮定
3、∀x(Px→Psx)　・・・仮定
4、P0　・・・2より∧除去
5、P0∧∀x(Px→Psx)　・・・4と3より∧導入
6、∀xPx　・・・1と5より→除去
7、Pa　・・・6より全称例示仮
8、∃xPx　・・・7より存在汎化
9、∃x¬Px　・・・2より∧除去
10、矛盾　・・・8と9より矛盾導入
11、¬∀x(Px→Psx)　・・・3より¬導入
12、¬∃x(Px∧¬Psx)　・・・仮定
13、Pa∧¬Psa　・・・仮定
14、∃x(Px∧¬Psx)　・・・13より存在汎化
15、矛盾　・・・12と14より矛盾導入
16、¬(Pa∧¬Psa)　・・・15と13より¬導入
17、Pa→Psa　・・・16より
18、∀x(Px→Psx)　・・・17より全称汎化
19、矛盾　・・・17と11より
20、∃x(Px∧¬Psx)　・・・12と19より¬導入と二重否定除去
21、(P0∧∃x¬Px)→∃x(Px∧¬Psx)　・・・2と20より→導入
22、{P0∧∀x(Px→Psx)→∀xPx}→{(P0∧∃x¬Px)→∃x(Px∧¬Psx)}　1と21より

逆も同様に示せるので↔が示せる

(A∧B→C)↔(A∧¬C→¬B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ

>>185
命題論理に直すのは簡単だよ

>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
は、Fx→GxをHxと書くと、
1、∀xHx　・・・仮定
2、Ha　・・・1より全称例示化
3、∃xHx　・・・2より存在汎化
4、∀xHx→∃xHx　・・・1と3より→導入
で楽勝だが、もし論議領域としてD={a,b,c}を考える場合、
∀xHxはHa∧Hb∧Hc、∃xHxはHa∨Hb∨Hcとなって命題論理になるので、
1、Ha∧Hb∧Hc　・・・仮定
2、Ha　・・・1より∧除去
3、Ha∨Hb∨Hc　・・・2より∨導入
4、(Ha∧Hb∧Hc)→(Ha∨Hb∨Hc)　・・・1と3より→導入
となるのでDとして空集合さえ考えなければ成り立つ

>>268
その通りですね

存在汎化か……
怪しいやつもってきたなｗ

「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ

>>269
＞命題論理に直すのは簡単だよ
＞もし論議領域としてD={a,b,c}を考える場合
D={a,b}、いや、D={a}　でもいいかもｗ
∀xHxはHa、∃xHxもHa　
Ha→Ha　！
端的にいえばそういうことだよね

論理学の話してて草

爆弾製造の代わりに各自、論証訓練を行ってますｗ

ある成人は孤児である
親も兄弟もいない

ある成人は兄弟と同居している

この「ある成人」なる両者が同一人物であることは真か？

スレに嘘つきがでます！

(。´Д`(>>230)
病的なうそつきみたぃなんです…!?
気をつけて…
言ってることほぼほぼｳｿだと思ぅ〜!
信じちゃﾀﾞﾒ〜!?

う"そ"つ"き"を"ち"さ"ん"
★事★態★宣★言★発★動★

>>279

真ナコトナイ(∃

偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・

HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽

って決まってるから...

>>279

真ナコトナイ(∃

偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・

HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽

って決まってるから...

ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・

あらゆる可能性をできるだけ想定して、矛盾が無いか徹底的にチェックしないと・・・

騙"さ"れ"ち"ゃ"う"か"ら"
ね・・・

ﾋﾟﾉｷｵ爺の呪いで同ﾚｽ2投になっちゃってる…?

なるほどね

゜ 。○゜ *。゜(ノД`)。
＊゜いっつも…うそばっかり。。。

＊゜。○*゜。゜

∵・Σ>>274━━━🔥🔫＞💢

うそつきｯ❗

荒らしはこっちにだけ来るんだな
わかりやすいわ

ﾁﾞﾁﾞｨｯﾁｬﾏが居るから…つぃ…
(〃¨)
それとﾓｯﾁｬﾏのアンチｽﾚだから、、、
お(邪魔して散らかして帰っちゃぇ…!)…ってのは、ちょっと思ってた…ｺﾞﾒﾝﾅｻｨ

嵐認定された…(ノД`)。
…ぜんぶﾁﾞﾁﾞｨｯﾁｬﾏのせぃ…?

本ｽﾙﾙｪは敷居が高い。。。
ａａ職人の☆伝統芸能お披露目サービス☆も無いし…
面白ぃコトもあんまり書いてくれるひとが出ないし。

真面目か…!

今日も一日元気に。。。
🐹とっとこ☆なたろぅ🐹
君が…ｽﾙﾙｪをﾜﾝｵﾍﾟで。。。
回し車＠＠＠ｶﾗｶﾗｶﾗ〜＠＠＠
みたいにｽﾚ回ししちゃいま〜す
(´艸`)🍀

☆ﾓｯﾁｬﾏ☆のｱﾝﾁｽﾚは
(散らかしやすぃ…)
(・ω<) <☆
ﾃﾍﾍﾟﾛ

http://rio2016.5ch.net/test/read.cgi/math/1586655469/294-299

IUTを守る会　会長は、まだIUTの宇宙が
グロタンディク宇宙だと認められないらしい

「グロタンディク宇宙が２つあったらいけない」
という嘘に固執してる馬鹿ｗ

「集合論の通常実行されるすべての操作を内部にもつ集合」
は唯一だといつ誰がどこで言い切った

今、貴様が愚かにも妄想しただけだろうが！！！

>>275
孤児？誰が？
私じゃないな

両親も健在です・・・母親は耄碌してますが

http://rio2016.5ch.net/test/read.cgi/math/1586655469/305-307

IUTを守る会　会長の今の心境
「望月の論文を読みながら絶叫」
”おれのグロタンディク宇宙が、二つあるわけなぁぁぁぁぁい！！！”

ほんとこいつどこまで馬鹿野郎なの？
「箱入り無数目」といい今回の「グロタンディク宇宙」といい
素人のナイーブな直感を無条件に絶対の真理と思い込むとかｗｗｗ

>>294
＞☆ﾓｯﾁｬﾏ☆
望月のストーカー現る・・・

http://rio2016.5ch.net/test/read.cgi/math/1587468367/133

ま、Mの
「V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V」
とかいうのは忘れていい
どうせ、使ってないんだろ？

別に宇宙が無数にあるのは構わんのだが
各宇宙が上記の関係を満たしていなくてはならない理由がない
（この点、弟子の山下剛のほうが冷静だといっていい）

ある日の狼中年

「弟は居ないな」


また別のある日の狼中年

「妹はいないな
いたら？(じゅるる」

またある日

「禿げてはおらんｗ」


推定年齢７７歳前後の後期高齢者
(ＤＶ＆ギャンブル・風俗で
サラ金に借金有り⇒離婚歴有り⇒★バツ２★子持ち＆
★ＣhibiＤeＢuＰＳＹＣＨＯ★禿★)←今ｺｺ!

なんだと思います。(断言)

妹はおらんな

50代

ギャンブル？風俗？したことないよ
そんなことしてたら貯金がたまらないｗ

サラ金？借りたことない
貯金があるのになんで金借りる必要あるの？

結婚歴はない　子供もいない
身長は１７０ｃｍ代
髪の毛はさすがに薄くなりつつある気がするが
ハゲというほどではない

・・・という設定で４６４８（←ドルヲタか！）

粘着ｾｸﾊﾗ★ｽﾄｰｶｰで悪の爺を
もっともっと。。。
彡⌒ミ⇒✨⌒✨
✨ﾊｹﾞ✨させちゃおぅっと。。。
(*´艸`)…♪


「☆ﾓｯﾁｬﾏ☆ﾉ敵」ｦ倒ｽ為ﾆ…
و(*")٩頑張ﾘﾏ〜ｽ♪

>>303
「☆ﾓｯﾁｬﾏ☆命」の方へ

今回のIUT論文で
「証明に大穴がある論文を、編集委員長権限で強行アクセプトさせた」
疑惑がもたれていますが、それでもいいんですか？

つまり「大天才」というのは偽りの可能性があるってことですが

まあ、それ以前の業績は認めたとしても
世界的にはせいぜい「プチ天才」ですよね
（フィールズメダリストのショルツと比べたら）

>>302
可変設定は(どうでも)いいです

もう…↓
「梅毒＆淋病＆AIDS＆水子
＆借金＆ｺﾛﾅ持ちで虚言癖の
ぼけはじめた👴ｦﾁﾞｨﾁｬﾝ👴」
って設定にしちゃったから。
(きっぱり)

容赦無くｲﾁﾞｸﾘ倒してやるからなぁ…?もぉ許せるｿﾞｵｫｯ!?ｫｨｯ!
(混乱)

>>304
「(子持ち)大天才」(どうでも)
いいですねぇ…!

天才はやっぱり✨毒男✨の方が夢がありますねぇ…!
…ｱﾘﾏｽ…ｱﾘﾏｽ…((*¨)(*‥))ｳﾝｳﾝ*

『🐣petit🐤✨天才✨』

『ﾌﾟｯﾁﾓﾁ🐣』。。。
ぅん、💗可愛ｅ💗。。。

。✳゜。＊゜。☆゜。○゜。
。○゜いつまでも゜。☆゜
。*゜少年の心を忘れない゜＊゜
゜☆゜。*゜。○゜。✳゜
゜〜 永遠の🐣petit🐤 〜゜
○゜。✳゜。☆゜。゜*。゜゜。゜

((*¨)*‥))*¨))*‥))ｳﾝｳﾝ…

やっぱり☆もっちー☆は。。。
★喪ｯﾁｬﾏﾗ★の🌟星🌟
ですねぇ…！

ｱﾝﾁｽﾙﾙｪに入り浸っちゃったら
🐣もっちー💖ＬＯＶＥ💖
が激化したでござるw

ひとみんﾈｷのお気もちがわかります…

ｴﾓｯﾋﾟ…餅さまﾌﾞﾛｸﾞに決して凸ってはならなぃ…(戒め)

午前の道場破り活動終わりｯ!

『💖愛💗は勝つ』

略して💖愛活💗。。。
(〃ﾟ艸ﾟ)ﾌﾟｯ

http://rio2016.5ch.net/test/read.cgi/math/1586655469/295
>Note that this means, in particular, that there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>ー where n ranges over the natural numbers.

ヤベェ・・・IUT考案者　望月が
IUTを守る会　会長　セタ　こと　◆e.a0E5TtKE と同じ
初歩的な誤り犯してることを発見しちまった

>we conclude that Vi ∈ V , for all i ∈ I

というのは正しいが、その場合
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は、正確には
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... Vm ∈ V (m∈Ｎ)
であるから、finite ascending chains of universes　である

そもそもinfinite ascending chains of universesというならＶ抜きで
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
でいい

http://rio2016.5ch.net/test/read.cgi/math/1587468367/134
＞何故かZFC公理系の公理が9個であるという記述は修正していないし、
＞ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス

上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはＶを除けば　無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ？

(P.S.)
荒らしのBBAへ
このスレ埋めたいみたいだけど、
埋まったら本スレに匿名で書くよ
私はスレ立てられないからね

自分の行為のアサハカさに気づこうな　BBA！

軍事機密すれの私のフェルマーの最終定理について。の解合ってるの？
一応証明ごと日本数学会事務局に送ったんだけど。
誰も答えてはくれない。どうなってんの。

だまっとれってか。
はい。

>>314
＞証明ごと日本数学会事務局に送ったんだけど。

意味ないよ

数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない

まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
「ここがギャップです」とか「ここが誤りです」とか
教えてやる必要があるの？　ないよな

>>314
合ってなぃﾄｺを見つけちゃぃました…

素数じゃ無いのが「素数」ってなっちゃってたょー
(お直ししてみた方が良ぃんじゃなぃかな…?)って思ぃました…

>>316
いや、担当者がいて教授が読んでるって電話で言ってた。

🌈Ｏhaluさん🍀
身体に気をつけて。。。
頑張ってくださぃね…🍀*゜

>>317
それはないはず。
私の計算にみすはあまりない。
さんざん練習したから。
まあ、不等式止まりだからその間違いがあったことも含めて6カ月後くらいから素数の研究に再度着く。

>>318
これ、相手にされてないと思うよ。

あ、でも送る前に。。。
✨素数スレ✨にａｇｅて
皆さまにチェックして貰ってから郵送した方が
郵送コストが無駄にならないかも…?でしょうか…

ま、読んでないなら宝に気付かないだけで気にしないが。
かわいそうに。
僕は数学を日本数学会事務局が相手にするしない気にせず一方的に送りますが。
なんせ読みたいなら読めばいいだけだから。

>>320
自分のミスに自分で気付けるのは限界があると思うから…
やっぱり皆さまチェックをして貰ってからの方が…良いんじゃないてしょうか…?

>>324
だってすれ建てれないもん。

日本数学会事務局を相手にしてないのは僕の方。
ただ、ご奉仕で送ってやってるだけ。

>>325
よろしければ代わりに新スレお立てしましょうか…?

…でも元のスレは落ちちゃったんでしょうか？使えませんか？

日本数学会事務局が友達なのは事実。

>>327
落ちてないよ。
新すれたてなくていい。
宗教団体じゃないんだから。

たててやれよ　BBA＝G8hF3Q2u

おめぇ数学できねぇんだから

まさか、おめぇもスレ立てれねぇの？

おめぇ・・・絵文字ばっかの💩カキコしてっから
荒らしBBAに認定されるんだよ

数学板やめな　おめぇみてぇな💩BBAの来るとこじゃねぇから

>>312
だからそれ、おまえが間違っているんだよ！
<Zermelo構成>の多重シングルトンと同じ話だし
時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！ｗ（＾＾；

＜現代数学の系譜　カントル　超限集合論2 ＞
https://rio2016.5ch.net/test/read.cgi/math/1576852086/33
33 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日：2019/12/22(日) 08:06:52.76 ID:jNutOcAm [1/6]

ちょっと笑いました。

流れとよどみに。ちょっと笑いました。
大森荘蔵

メンドクサイので1lEWVa2s隔離スレ上げてやった
https://rio2016.5ch.net/test/read.cgi/math/1576154011/

おめぇ梅田悠祐っつうのか

ま、素人が名前だしたって誰も関心もたねぇけどな

クスリ・・・飲んでるか？

フェルマーの最終定理について、x^n+y^n＝z^n n≧3 n∈N を満たす解 (x,y,z) が高々有限個存在することは手紙で示せなくもないけど、
x^n+y^n＝z^n n≧3 n∈N を満たす解 (x,y,z) が存在しないことは手紙のような長さの証明では示せない。
それとも、なんか拡張したことでも考えているのかい？

>>334
精神病院の担当医から処方された薬のんでます。

>>335
1ぺぇじで証明した。

>>331
会長　たまらず書き込みｗｗｗｗｗｗｗ

＞<Zermelo構成>の多重シングルトンと同じ話だし

だろ？だからセタ会長　あんたが間違ってるｗ

ωは極限順序数だ　後続順序数じゃねえ

ωの要素は自然数　だから　0から始まってωに至る∈列は有限

＞時枝の可算無限個の箱に数を入れたときの数列と、全く同じだよ！！

あんた・・・まだ可算無限列に∞番めの最後の箱があると妄想してんのか？
∞って自然数か？　最後の箱だったら∞＋１は無いんだろ？
だったら自然数じゃねぇじゃん　ペアノの公理に反するから
あんた、ペアノの公理も知らんのか　白痴か？　え？は・く・ち・か？

>>334
4回入院歴あり。
入院中は数学三昧。
あんまやり過ぎると言われるけど。

>>334
隔離室1ヶ月連続だった。
何も持ち込めない。

そうか・・・４回も入院したのか

そりゃ大変だな

数学・・・好きか？