20/04/22 06:59:16 gQCe02i1.net
フハハハハハハ
第六天魔王 Mara Papiyasだ
今度 上記のHNで活動する
久しぶりに「コンピュータは数学者になれるのか」（照井一成）を読んだら
フィールズメダリストのヴォエヴォドスキーの言葉を発見したので紹介する
17:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 07:02:28 gQCe02i1.net
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)
18:１３２人目の素数さん
20/04/22 07:04:21 mg08g5qs.net
>>7
ショルツ批判はそこまでだ
19:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 07:05:23 gQCe02i1.net
ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。
彼亡き後、ホモトピー型理論はどうなったんだろうか？
20:１３２人目の素数さん
20/04/22 07:07:37 mg08g5qs.net
>>16
ＩＵＴＴは既知の正しい理論と似てない為にチェックが進まない
と解釈されてますが、それは？
21:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 07:10:59 gQCe02i1.net
>>19
その通りだ
そして望月のとりまきは、望月の理論の詳細までチェックしたとは思えない
望月への信頼が、仇になっている可能性が大なのだ
新しい理論の検証に対して、義理人情は邪魔である
22:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 07:14:06 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:21番)
向こうにも●木Ｇがいるのか・・・
23:１３２人目の素数さん
20/04/22 07:45:54.79 z/Pj+e4V.net
アメリカではティーチングプロフェッサーってのがいる。
研究負担なしで、教育負担がむちゃくちゃ多い役割。
日本みたいに格安で非常勤講師を雇えないから、日本の非常勤に相当するものを
常勤で雇っている。
ウォイトはコロンビアのティーチングプロフェッサーのまとめ役的立ち位置。
微積や線形代数あたりまでを仕切っている。
24:5ch反IUT論装戦線
20/04/22 07:52:33.98 gQCe02i1.net
>>22
なるほど・・・Woitもなかなかタイヘンだねえ
25:5ch反IUT論装戦線
20/04/22 07:58:09.13 gQCe02i1.net
さて、今日も恒例のinter-thread talking battle やらかすか
ｽﾚﾘﾝｸ(math板:203番)
＞今度は玉川先生が論争に行くことにしたら？
玉川が分かってるなら初めから論争してるって
論争してない時点で分かってない、って悟れよ
＞星先生を助太刀にして
星は望月とショルツ＆スティクスの議論の際
ダンマリを通してたっていうぞ
それじゃ、助太刀にならんだろ
26:5ch反IUT論装戦線
20/04/22 08:01:34.56 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:203番)
＞ＩＵＴ自身が分かり難い
＞遠アーベル以外の数学者（できればＭ１クラス）
＞に分かる教科書（ＳＧＡにたいするハーツホーン）
順序が逆
そもそも専門家に理解された上で
学生向けの教科書が書かれる
「K2に一般向けの登山道を作れ」
というくらいアホなこといってることに気づけ
（絶対不可能とはいわないが遠い遠い将来の話だ）
27:5ch反IUT論装戦線
20/04/22 08:05:41.28 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:203番)
＞ＩＵＴ理論への納得性
＞過去に、物理学などでは、革命的な理論が出たとき、
＞周辺の人の理解がおいつかないことがあった
＞数学でも似た例があるが、分からせる努力を怠ってはいけない
＞（物理学だと、相対性理論とか量子力学など）
喩えが悪いな
IUTは現状でいえば、ヘヴィサイドの演算子法よりもっとヒドイ
演算子法は証明はなくてもなんか上手くいくという実績があったが
IUTはそれすらない そんなんじゃダメダメ
28:5ch反IUT論装戦線
20/04/22 08:11:38.03 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:208番)
＞IUTが何か知らないけど応援しています
なぜ？理由は？
何か知らないなら、応援するのはマチガッテル
応援したいなら、まず知れよ！知れよ！！知れよ！！！
正直、IUTが成功だろうが失敗だろうが知ったこっちゃないが
専門家が理解できないといってる論文を、
PRIMSがアクセプトし、しかもそれについて
RIMSの数論幾何関係者は誰一人まともな説明ができない
これは異常事態だと感じるのは当然
まちがった愛国心の発露は国を、いや、人類を亡ぼす害悪
29:5ch反IUT論装戦線
20/04/22 08:18:02.35 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:210番)
＞そういうことは言わないの
＞弘法も筆の誤り
貴様は弘法じゃないだろう
正規部分群の定義を間違えるとか
数学科なら即転科を薦められるレベル
＞正直でいい
＞そういうことは、みなあるものですよ
なに、開き直ってんだ？
数学以前に日本語が読めないヤツに
ショルツを嗤う資格なんかねぇよ
人間として致命的だな
30:１３２人目の素数さん
20/04/22 08:19:58.26 kJX6pD4f.net
なるほどこういう例があったんですね
「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、
シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[5]。
シアンの主張は幾何学的な手法でケプラー予想を証明したというものだった[6][7]。
しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで
「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。
ヘイルズはシアンの仕事を詳細に批判し[8]、シアンはこれに反論した[9]。
現在ではシアンの証明は不完全なものだったと認められている[10]。」
31:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 08:36:15 gQCe02i1.net
>>29
多分、探せばもっといろいろ見つかるんじゃないですかね
いっときますが、
・望月が人を欺くつもりでＩＵＴ論文を書いたとは思ってない
・しかし、PRIMS掲載をめぐる一連の行動は疑惑を持たれても仕方ない
・レフェリーすら正当性を説明できない論文をアクセプトするべきではなかった
そういうこと
国際会議とか関係ない そんなもん勝手にやればいい
32:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 08:58:52 gQCe02i1.net
誤りといえば、以前、述語論理に関してこんな主張があった
∀ｘＰｘ ならば ∃ｘＰｘ
上記に関して、「そんなこといえない」という反論があった
で、さっそくタブロー法で確かめてみた
∀ｘＰｘ ?前提
✓￢∃ｘＰｘ ?結論の否定
∀ｘ￢Ｐｘ ? ?より
￢Ｐａ ? ?の全称例化
Ｐａ ? ?の全称例化
×
結論：「∀ｘＰｘ ならば ∃ｘＰｘ」は妥当な推論
全称例化が認められているのは
定義域に属する対象が少なくとも１つ存在する
としているから
ああ、スッキリ
33:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 09:11:36 gQCe02i1.net
>>31
ついでにいうと、
∀ｘ（Ｄｘ→Ｐｘ） ならば ∃ｘ（Ｄｘ∧Ｐｘ）
は云えない
∀ｘ（Ｄｘ→Ｐｘ） ? 前提
✓￢∃ｘ（Ｄｘ∧Ｐｘ） ? 結論の否定
∀ｘ￢（Ｄｘ∧Ｐｘ） ? ?より
￢（Ｄａ∧Ｐａ） ? ?の全称例化
Ｄａ→Ｐａ ? ?の全称例化
￢Ｄａ ￢Ｐａ ? ?より
￢Ｄａ Ｐａ ￢Ｄａ Ｐａ ? ?より
×
結論：全ての枝に×をつけられないので、妥当ではない
34:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 09:22:10 gQCe02i1.net
もちろん
∀ｘ（Ｄｘ→Ｐｘ）、∃ｘＤｘ ならば ∃ｘＰｘ
は云える
∀ｘ（Ｄｘ→Ｐｘ） ? 前提１
✓ ∃ｘＤｘ ? 前提２
￢∃ｘＰｘ ? 結論の否定
∀ｘ￢Ｐｘ ? ?より
Ｄａ ? ?より特称例化
Ｄａ→Ｐａ ? ?より全称例化
￢Ｄａ Ｐａ ? ?より
× ￢Ｐａ ? ?より全称例化
×
結論：全ての枝に×がついたので、妥当
35:5ch反IUT論装戦線
20/04/22 09:35:54.25 gQCe02i1.net
ついでだからラッセル・パラドックスの話もしとくか
￢∃ｙ∀ｘ（Ｅ（ｘ、ｙ）⇔￢Ｅ（ｘ、ｘ））
✓∃ｙ∀ｘ（Ｅ（ｘ、ｙ）⇔￢Ｅ（ｘ、ｘ）） ① 結論の否定
∀ｘ（Ｅ（ｘ、ａ）⇔￢Ｅ（ｘ、ｘ）） ② ①より特称例化
Ｅ（ａ、ａ）⇔￢Ｅ（ａ、ａ） ③ ②より全称例化
Ｅ（ａ、ａ）→￢Ｅ（ａ、ａ） ④ ③より
Ｅ（ａ、ａ）←￢Ｅ（ａ、ａ） ⑤ ③より
￢Ｅ（ａ，ａ） ⑥ ④より
Ｅ（ａ，ａ） ⑦ ⑤より
×
36:5ch反IUT論装戦線
20/04/22 10:11:14.73 gQCe02i1.net
掛け算の交換法則の話もしとくか
算数の実施は、ロビンソン算術の公理系で十分である
一方、ロビンソン算術では
自然数全般に関する結合法則及び交換法則
は証明できない
なぜならロビンソン算術には数学的帰納法がないからである
そもそも
「小学生に結合法則および交換法則を教える�
37:ﾌに 数学的帰納法による証明を示す必要があるか？」 という問題はあるがｗ
38:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 11:14:00 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:215番)
「ポジティブ」とかいってるけど◆e.a0E5TtKEは
「世界に冠たるIUT！！！」
っていいたいだけのファシストだから
「ネガティブ」？いやいやこっちがpositivist（実証主義者）だから
論理的根拠なしに翼賛する向こうがnegativist（反実証主義者）でしょ
39:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 11:15:10 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:216番)
・IUT論文審査は不十分
・IUT論文は証明として全く十分でない
・以前の国際会議でも理解されなかったのに
今度の国際会議で理解されると思うのはアサハカ
柏原は只の神輿 玉川は完全に腰が引けてる
日本数学会はIUTとは無関係 支持する理由がない
ファシスト◆e.a0E5TtKEの
「日本人だから日本人を無条件に応援すべき」
という考えは最低最悪
40:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 11:20:35 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:217番)
こちらは◆e.a0E5TtKEが（HNつきでも匿名でも）書き込まない限り
本スレこと51スレに書きこまない
ま、本スレにはまだ粋蕎 ◆C2UdlLHDRIが書き込んでるが
あいつは絶対中立と云うしか能がない馬鹿だから
放置しといても問題あるまい
41:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 11:26:09 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:218番)
＞本体スレでは、「IUTって数学的にはなんなの？」って話をしてほしい
そんな話、群論の初歩も理解できない工学部卒の◆e.a0E5TtKEには
逆立ちしても理解できまい
「RIMSがサギだ」というのは、
「疑惑などない」と言い張るRIMS礼賛馬鹿
に対するカウンターパンチ
そもそもなにかというと日本自慢をしたがる馬鹿が湧くのが5ch
ウソついてまで民族自慢とかDQNのすること
42:１３２人目の素数さん
20/04/22 11:39:32 DKM8V8pX.net
数学の神様は正直者の味方
43:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 11:42:43 gQCe02i1.net
誰が正直かは明らか
44:１３２人目の素数さん
20/04/22 11:58:37 Gzp6T26l.net
もう望月浮上することないの？
45:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 12:05:46 gQCe02i1.net
「ない」とはいわないが
今の望月の態度から見て
限りなく小さい
46:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 12:26:29 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:33番)
＞一般的に「査読を通過した」ことは、
＞普通、論文が掲載される前に、
＞公にされるべきものなのでしょうか？
否
今回の「発表」は望月の要請によるものと思われる
要するに「”理解者”によって正しいと認められた」と云いたがってる
これに数学界が反発
”理解者”は何をどう理解したのか？
何の説明もないまま掲載をゴリ押しするのか？
８年あっても、弟子は師匠の理論をロクに説明できず
賛同してるロシア人とやらも他人を素人呼ばわりするだけ
まるでギャップがあることに触れられたくないかのごとき反応
これじゃ受け入れられるわけがない
47:１３２人目の素数さん
20/04/22 12:26:43 mg08g5qs.net
>>40
後々大きく修正を受けたり
不成立とされた証明でも
研究者本人の不正直さから
“間違えてる”とされたものってありましたっけ…?
その時点で研究者本人が正しいと確信したからこそ“誤った証明”を発表したんだと思います…
48:１３２人目の素数さん
20/04/22 12:29:10 mg08g5qs.net
IUTTが誤った証明だという意味では勿論ありません
49:１３２人目の素数さん
20/04/22 12:35:23 mg08g5qs.net
あんまり偏って過疎化して
他スレから
「アンチの●■▲ースレ！」
って嘲笑されないように
(及ばずながらお役に立てれば)と思い立ってカキコみ申し上げましたー。
50:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 12:40:03 gQCe02i1.net
>>45
望月が正しいと思ってるのは確か
一方で、他人からの指摘に対して
真摯に向き合ってるとは思えないのも確か
どこか自己防衛のバリアが張り巡らされてる印象
>>46
「誤った」推論というより
「ギャップのある」推論が
証明内にあると思われる
ショルツの指摘はギャップのある個所について
単純化して考えると矛盾する、といってる
しかし、望月はどう複雑化すればいいか示せていない
51:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 12:43:34 gQCe02i1.net
>>47
君は「仲間」のところに戻ったほうがいいな
数学知らない素人なんだろ？
52:１３２人目の素数さん
20/04/22 13:35:22 DKM8V8pX.net
ブログのMZって本人かな〜。文体似てるけど
53:１３２人目の素数さん
20/04/22 13:40:47 mg08g5qs.net
>>48
「ボキちんが３日で解るように教えちくり～っ！
ﾁｭﾊﾟﾁｭﾊﾟｯ（'◎'*）」
「ぼきチンオリジナル解釈したらダメだった٩( ´³`)｡ ﾌﾞｰ」
。。。もっちーピーンチｗ
54:１３２人目の素数さん
20/04/22 13:44:37 mg08g5qs.net
5chIUT論装戦線っていうより
数学のレボリューショニスト☆もっちーに抗う守旧派レジスタント
白色テ論装隊員じゃね？
55:１３２人目の素数さん
20/04/22 13:48:30 mg08g5qs.net
もっちーは現代数学の終わりに現れたポストモダン数学の中で“終わりの始まり”に位置してそう…
56:１３２人目の素数さん
20/04/22 13:59:57 kzIoxp7s.net
ご新規様
5ch反IUT論装戦線 ◆y7fKJ8VsjM
ID:gQCe02i1 (昨日のID:fNdyonvY）
は数学崩れの独善的自称正義ふりかざしヒキコモリおじさん
NG推奨
万年自宅警備員はネットで戦線はる前にマンマの日銭稼ぎなさい
57:１３２人目の素数さん
20/04/22 14:07:29.46 mg08g5qs.net
...w
58:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 15:28:43 gQCe02i1.net
>>52
喩えが悪いね
望月らIUT一派：ボリシェヴィキбольшевики
反IUT論装戦線：マフノフシチナМахновщина
5つの指針
すべての政党の停止
すべての独裁の排除
すべての国家の否定
すべての「過渡期」や「プロレタリア独裁」の否定
評議会によるすべての労働者の自己管理
59:１３２人目の素数さん
20/04/22 15:33:39 mg08g5qs.net
↑🐣👶«🍼»゜。○゜。
。。。w
60:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 15:34:25 gQCe02i1.net
>>54
君はまず「食うために働く」という考えが、
資本主義に飼いならされたイヌのものだと気づけ
URLﾘﾝｸ(ja.wikipedia.org)
無政府共産主義（英: anarchist communism）は、無政府主義（アナキズム）の潮流の一つ。
人の自由と自律を尊び、不当な支配階級や経済格差の無い社会を目指し、
「能力に応じて働き、必要に応じて受け取る」という原理を唱える。
個人各々が自主的に組み合って、資源分配や生産方針を直接民主で決定する。
「能力に応じて働く」というのは、他者から雇用されるまでもなく
自ら出来るところで生産するということで、
生産手段が社会の全員へ開放されているのを前提する。
「必要に応じて受け取る」というのは、生活に必要な財を
貨幣等と交換せずに獲得できるということで、
財が社会の富として充分に随時生産されているのを前提する。
雇用者や富豪などの少数が利益目的で階級的・非民主的に
生産・分配・所有を制御するところの資本主義を根本的に批判する。
ならびに、資本主義型支配に加担してきたとして国家を告発する。
各地で個人が直に参与できる直接民主制の小規模共同体を基盤に、
下意上達で罷免できる代理人を通じて大規模政策用に形成・改変する
連邦群が、従来の国家に代われる、とする。
61:１３２人目の素数さん
20/04/22 15:35:06 mg08g5qs.net
早く大きくなあぁ～れ💗
…w
62:１３２人目の素数さん
20/04/22 15:36:29 mg08g5qs.net
今日の👶赤ちゃん🐣保育🍼
終わりｯ!
63:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 15:38:51 gQCe02i1.net
Анархія
URLﾘﾝｸ(www.nicovideo.jp)
64:１３２人目の素数さん
20/04/22 15:42:39 mg08g5qs.net
人間社会(なんか)に夢見過ぎ
(ピュア過ぎて)ないです
ナイーヴな政治観にも👶ピュア🐣さが漂っちゃってまつねw
65:１３２人目の素数さん
20/04/22 15:43:37 mg08g5qs.net
５４歳児w
66:１３２人目の素数さん
20/04/22 15:45:26 mg08g5qs.net
しぇんしぇ～!
たんぽぽ組の年長さんがピュアしゅぎまつ～
助けてー
67:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 15:47:40 gQCe02i1.net
mg08g5qs は 絵文字ＢＢＡ
本スレでも素人ぶり全開のカキコ
Woitが超弦理論の何を批判してるのかは知らないが
（おそらく、物理学的な証拠がないという点だと思われるが）
高次元だからマチガッテル、といってるわけじゃないだろ
68:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 15:50:54 gQCe02i1.net
>>62
＞人間社会(なんか)に夢見過ぎ
そうやって資本主義に屈服するから
人類は破滅に向かって驀進するわけだ
69:5ch反IUT論装戦線
20/04/22 15:56:55.29 gQCe02i1.net
mg08g5qs は結局💩スレに亡命したらしいｗ
あそこはボリシェビキというより、帝政ロシアの悪名高い
黒百人組Чёрная сотня だな
URLﾘﾝｸ(ja.wikipedia.org)
70:粋蕎
20/04/22 15:57:21.93 X38faA9i.net
此の儘じゃタルタリアの二の舞に成りよるぞ、げに｡
71:5ch反IUT論装戦線
20/04/22 16:02:13.97 gQCe02i1.net
>>68
カルダノの件とは全然違うと思うが
ショルツがABC予想の証明論文書いたとしても
望月とは違う方法だからやっぱり違うな
72:１３２人目の素数さん
20/04/22 16:02:59.63 mg08g5qs.net
💀💀💀💀💩💀💀💀💀
💀💀💀💀💀💩💀💀💀
💀💀💩💀💀💀💩💀💀
💀💩💀💩💀💩💀💀💀
💩💀💀💀💩💀💀💀💩
💀💀💀💩💀💩💀💩💀
💀💀💩💀💀💀💩💀💀
💀💀💀💩💀💀💀💀💀
💀💀💀💀💩💀💀💀💀
素敵なハンカチをありがとうございますたｗ お返しでーすw
さよなら～
73:5ch反IUT論装戦線
20/04/22 16:07:58.59 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:220番)
＞３０年後に「このゴタゴタは何だったんだろう」と総括するときがくる。
総括だけならもっと全然早い
＞数学の担い手が、数学者からAIに移行する兆しの事件
これを機に、計算機による検証の研究が進むだろう
人間に対する不信が極まってるから
74:１３２人目の素数さん
20/04/22 16:09:05.14 mg08g5qs.net
>>66
人が“屈服してる”のは
人が作った�
75:ｧ度の欠陥にではなく ～制度を作る人間自身の欠陥に～ なので 人間自身が分子レベルで生物進化でもしない限り 原始性への屈服から遠ざかるのは無理だと思いま～つw 「スーサイドする文明」を創る理由だと思いま～つw
76:5ch反IUT論装戦線
20/04/22 16:11:34.56 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:224番)
＞IUT 数学の革新性：なにがどう革新的なのか？
＞IUT数学とは何か？
いきなりK2登山とか無理だからｗ
まず、ファン・デル・ヴェルデンでも読んで
群論の革新性を理解しろｗ
話はそれからだ
77:１３２人目の素数さん
20/04/22 16:13:42.44 mg08g5qs.net
>>71
ＡＩは検証を強力に推進しそうだけど、理論家に取って換われるわけじゃ無いよ
それよりあなたが
「少人数でしか機能しない」
としてる直接民主制の方が
よっぽど技術的な実現なら早いよw
78:１３２人目の素数さん
20/04/22 16:16:11 mg08g5qs.net
>>73
臨界期を再現できる脳神経科学を医学が実現したらねw
やりまつw
79:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:17:51 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:224番)
＞１分以内で説明してください
もし学生が時間を切って説明しろといったら
教授はこういうだろう
「君、数学やめたほうがいいよ」
＞長い話はいらない。１分で300字くらいしゃべれるよ
＞まあ、絵や図を書いて、３分間にしてもいいけどね
貴様のブラック会社の💩商品のプレゼンと一緒にされても困るね
（だいたいこの時期に出勤するとかブラック会社だろ
５ｃｈへの書き込みしかしてねぇくせにｗ）
だいたい絵や図で分かった気になるのは思考力のない白痴
80:１３２人目の素数さん
20/04/22 16:18:19 mg08g5qs.net
↑これが実現するならﾁﾞﾁﾞｨもセオリストに生まれ変われるねw
そしたら「理論家の仕事がＡＩに替れる」なんて考えられなくなるんじゃないかなぁ…？
81:１３２人目の素数さん
20/04/22 16:19:26 mg08g5qs.net
>>77
＞これ>>75の「臨界期の再現」
82:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:21:16 gQCe02i1.net
>>74
機械が理論家になる必要はない
機械が行なうのは検証であって創造ではない
そもそも、理論家にロマンを感じすぎｗ
まだギフとか夢みてんのか？BBA
83:１３２人目の素数さん
20/04/22 16:24:56 mg08g5qs.net
>>79
見てるよw
人類の最先端頭脳には希望を見せて貰ってるよw
猿の惑星に生まれちゃったけどw
ﾁﾞﾁﾞｨｯﾁｬﾏには慈悲＆Hateの気持ちを覚えさせて貰ってまつw
84:粋蕎 ◆C2UdlLHDRI
20/04/22 16:25:09 X38faA9i.net
は？彼女は儂にもオドレにも幻滅して去ったじゃろ
85:粋蕎 ◆C2UdlLHDRI
20/04/22 16:25:53 X38faA9i.net
どわっ居たっ
86:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:26:35 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:225番)
＞プロレスで言えば、
＞ヒーローは最初はやられるのです
＞ぼこぼこに
＞ヒーロー危うしとなったその瞬間
＞逆転劇が始まるのです
ないない
そもそもヒーローじゃねぇしｗ
87:１３２人目の素数さん
20/04/22 16:28:17 mg08g5qs.net
ﾁﾞﾁﾞｨｯﾁｬﾏ🐹ﾊﾑｽﾀｰｯﾁｬﾏに似てる🐹w
毎日毎日。。。回し車。。。
＠＠＠ｶﾗｶﾗｶﾗｶﾗ-ｯ!＠＠＠
って必死必死w
可愛ｅ💗(´艸`*)wwww
88:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:28:24 gQCe02i1.net
>>81-82
な、
なんか知らんけどまだいるんだよ
おまえにやるよ
肉体労働者だから・・・大きいんだろ？（何が？）
89:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:32:37 gQCe02i1.net
BBAは直接民主制を只の投票制度と誤解する
あさはかな思考力しか持ち合わせてないようだ
90:１３２人目の素数さん
20/04/22 16:35:31 mg08g5qs.net
🐹ﾊﾑｽﾀｰｯﾁｬﾏ🐹って回し車に
他のﾊﾑｽﾀｰが乗ってるの
オカマいなしに＠＠＠ｶﾗｶﾗ～＠＠って…
他ﾊﾑスｯ飛ばしちゃってもスｯとぼけて１匹で＠回し続けちゃってるのとか。。。
他の人達スっ飛ばしちゃっても動じないで＠＠ｶﾗｶﾗｶﾗ-＠＠って１人でワンオペｽﾙﾙｪ回ししちゃってるの🐹←そっくりw
91:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:38:08 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:228番)
＞「5ch反IUT論装戦線」というネーミングは”新左翼”風
ま、ネタですがね
個人的にはここに着目してます
ウォール街を占拠せよ
URLﾘﾝｸ(ja.wikipedia.org)
「2007年において、
最も裕福な1パーセントが合衆国の全ての資産の34.6パーセントを所有しており、
次の19パーセントの人口が50.5パーセントを所有している。」
これが資本主義の実態ですよ
92:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:41:15 gQCe02i1.net
BBA失せろよ
おめえ自分が賢いとかイタイ勘違いしてねぇか
93:１３２人目の素数さん
20/04/22 16:42:21 mg08g5qs.net
>>85
虹ｯﾋﾟが消えちゃってひまなの…
ちょっと前にｽﾚ梅嵐してﾎｰﾑﾚｽにしちゃったw(*´艸`)ﾌﾌ…♪
みつからなくなっちゃった…(;;*)
ｺﾛﾅでひまひまで…
って思ってたら…
ほのぼのにﾆｭｰｶﾏｰを発見したのw
‪
94:１３２人目の素数さん
20/04/22 16:44:11 mg08g5qs.net
☆☆☆☆☆☆☆☆☆💢
∵・Σ;>>85━🔥🔫＞
95:１３２人目の素数さん
20/04/22 16:46:20 mg08g5qs.net
>>88
これ好き💓
☆ウォール街を占拠せよ☆
☆サンダース☆ﾁﾞﾁﾞｨｯﾁｬﾏも
可愛ｅ💗
96:１３２人目の素数さん
20/04/22 16:47:14 mg08g5qs.net
>>89
ﾊｨﾊｨ。
ｱﾊﾞｮｯ! ｺﾄﾞﾓｯﾁｬﾏ!
97:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:47:33 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:232番)
そもそも投票するだけの「奴隷」が「政治志向」とかいうだけ無駄
議会制は、実は民主主義でもなんでもない
自民党がクソなのは明らかだが、立民がマシというのも実は欺瞞
乃木坂・欅坂・日向坂程度の違いしかないｗ
共産党は・・・せいぜいBiSHかなｗ
98:１３２人目の素数さん
20/04/22 16:52:54 mg08g5qs.net
そんな事言うなら海洋国家陣営ではアメリカ白人にしか民主主義実現の権利なんか無いよ
あとは言いなりになるしかないから。
国力(軍事力)差有り過ぎw
政治なんちゃらは全部“有権者”のガス抜き効果程度の
小芝居で～すw
これが現実w
ｱﾊﾞｮｯ!
99:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:55:37 gQCe02i1.net
>>92
アメリカのおもしろいところは、金持ちも革新政治家もユダヤ人が多いという点
バーニー・サンダース
URLﾘﾝｸ(ja.wikipedia.org)
そういや、デヴィッド・グレーバーもユダヤ人
URLﾘﾝｸ(en.wikipedia.org)
100:１３２人目の素数さん
20/04/22 16:57:38 mg08g5qs.net
>>96
フランスもでしょ
101:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 16:59:06 gQCe02i1.net
>>95
＞国力(軍事力)差有り過ぎ
BBAにしてはいい指摘 （池上彰かｗ）
誰のため何のための軍事力なんですかね？
軍隊とか警察って結局国民を支配するための道具なんだよね
貨幣もそうだけど
そういうものはね・・・全部要らないんだよ
そう、一番要らないのは・・・アメリカｗ
102:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:03:46 gQCe02i1.net
アメリカほどではないね
URLﾘﾝｸ(honkawa2.sakura.ne.jp)
もともとユダヤ人はポーランド（白ロシア・ウクライナを含む）に多かったが
ナチスが勃興してから半分は国外に脱出、半分はナチスに虐殺された
イスラエルやアメリカのユダヤ人の多くはポーランド系
103:粋蕎 ◆C2UdlLHDRI
20/04/22 17:07:26 X38faA9i.net
アメリカと言うかFRBが要らん
�
104:�共露共中央権力も要らん
105:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:09:09 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:234番)
結局、玉川は傀儡で、編集委員会の実態は望月に支配されてるんだろ
106:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:12:48 gQCe02i1.net
>>100
ロシアは共産党政権じゃないがね
ま、旧ソ連にしても中国にしても共産党政権は全然共産主義じゃないがね
彼らはcommuneの意味を知らんのだろう
URLﾘﾝｸ(ejje.weblio.jp)
共産主義は共同体主義と翻訳されるべきだったか
107:１３２人目の素数さん
20/04/22 17:14:22 mg08g5qs.net
新帝国主義時代に“Ｇ０”を感じて国家間競争の激化による国際関係の揺らぎから。。。
一時的に様々なピボット国家プランをシミュレートしてみても結局ポエム。
元々組み込まれてる軍事支配の枠組み内部に留め置かれて、今回のｺﾛﾅパンデミック後の世界では、ビッグテックによる個人情報が、レーシストにジャックされた帝国中心国家により統括されて逝くのでした。。。
スノーデン＆アサンジュが懸念した世界の到来でつw
「９.１１が世界の政治的潮流を変えた」なら。。。
「『コロナ後の世界』は９１１後のレーシズムに基く思想に染まった帝国中心に、世界支配を強化する技術を全権委任する転機になった」
ってまとめられてそうw
108:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:15:44 gQCe02i1.net
ああ、そうそう
一つ言い忘れたことがある
このスレッドが終わったら、本スレッドに戻るよ・・・もちろん匿名で
私はスレッドを立てられないのでね
109:１３２人目の素数さん
20/04/22 17:16:17 mg08g5qs.net
不思議ヲヂさん、お邪魔しますたw
110:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:19:40 gQCe02i1.net
>>103
じゃ、BBAは銀河帝国皇帝役ね
URLﾘﾝｸ(www.youtube.com)
おれ？もちろんジェダイのルーク役だよ 決まってんじゃんｗ
URLﾘﾝｸ(www.youtube.com)
111:粋蕎 ◆C2UdlLHDRI
20/04/22 17:20:54 X38faA9i.net
共産主義は日銀がFRBの下僕に成り下がる前で日本中の企業が
相互資本補助の護送船団経営し、庶民も団塊の世代のな働き方が強力じゃった時代を差すんじゃろうな｡
『20世紀日本は最も成功した共産主義』と言われてもおかしくなかろう｡
日銀がFRBの下僕に成って以降、護送船団経営に風穴が開けられ､
庶民も団塊の世代の働き方では上手く無くなって来た訳じゃな｡
112:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:29:41 gQCe02i1.net
>>107
今度は計画経済を共産主義と誤解する馬鹿現る
日本の学校は嘘ばっか教えてきたことがよくわかるなｗ
21世紀こそ「トロツキーの夢」が実現する時だろうな
・・・世界革命の夢がｗ
113:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:33:09 gQCe02i1.net
そもそも金ありきで考えるから、権力に丸め込まれる
貨幣経済はどう転んだって金持ちに金があつまるようになってる
対数正規分布で、分散が大きくなればなるほど、
金持ちに金が集まるようになってるのは確率論の常識
対数正規分布
URLﾘﾝｸ(ja.wikipedia.org)
経済学が資産分布について全く述べないなら、根本的欠陥があるんだよ
114:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:39:49 gQCe02i1.net
トマ・ピケティの提案する富裕税は所詮対症療法に過ぎず、根本的な解決策ではない
根本的な解決策？もちろん貨幣制度に代わる制度の実現
もちろんこれは容易なことではないし、スマートな理論が即出るわけでもない
試行錯誤でやっていくしかない 世の中は数学とは違うんだよ
115:１３２人目の素数さん
20/04/22 17:
116:44:37 ID:mg08g5qs.net
117:粋蕎 ◆C2UdlLHDRI
20/04/22 17:53:25 X38faA9i.net
>>108
何を読み違えとるん？計画主と主義主が別とは読まんかったんか？
118:粋蕎 ◆C2UdlLHDRI
20/04/22 17:56:21 X38faA9i.net
>>111
恐らく織田信長を拉致し歴史から失踪させた真犯人
119:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:57:09 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:51番)
＞証明自体は合ってるけど論文の体裁が気に入らない
そんな「穏健派」なんているのか？ｗ
主流派：証明にはギャップがある（というかそもそも証明の体を成してない）
過激派：そもそも証明矛盾してね？
ショルツは過激派的な物言いがあったのは確かだが根本は主流派
そもそもあの不透明な論文から矛盾を見つけるのも難しい
120:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 17:59:08 gQCe02i1.net
>>113
つーか、俺が織田信長🤥
121:１３２人目の素数さん
20/04/22 18:00:11 mg08g5qs.net
第六天魔王w
122:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:00:56 gQCe02i1.net
大体なんでここはBBAとか粋蕎とか変態の巣になってんだ😎←満更でもない
123:１３２人目の素数さん
20/04/22 18:04:33 mg08g5qs.net
ﾎﾞｿｯ(類友じゃね…(絶望)
124:１３２人目の素数さん
20/04/22 18:05:21 mg08g5qs.net
ますます嫁に逝け無くなるー！
125:１３２人目の素数さん
20/04/22 18:06:11 mg08g5qs.net
↓変態ねらーの呟き↓
126:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:07:08 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:54番)
＞ネットアンチ収容所
これからBLACKXのことをハイドリヒと呼ばせていただくｗ
127:粋蕎 ◆C2UdlLHDRI
20/04/22 18:08:08 X38faA9i.net
呑み足りん
128:ID:1lEWVa2s
20/04/22 18:08:47 n+MI8AA7.net
>>122
吞めるだろ今日は。ごめんなさい。
129:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:11:19 gQCe02i1.net
変態性欲
URLﾘﾝｸ(ja.wikipedia.org)
「抗精神病薬であるエビリファイの服薬により、
新しい性的指向の開発や、異常性欲などの
行動障害を発症することがある。」
ま、関係ないけど（だったら書くなｗ）
130:ID:1lEWVa2s
20/04/22 18:11:39 n+MI8AA7.net
>>122
僕は酒やらないよ。
131:１３２人目の素数さん
20/04/22 18:17:12.91 mg08g5qs.net
>>124
ﾁﾞﾁﾞｨｯﾁｬﾏ飲み過ぎだったんだw
ほんとの変態かと思ってたw
132:5ch反IUT論装戦線
20/04/22 18:18:29.03 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:58番)
＞私は中立だよ。
誤 中立
正 無定見
賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ
133:5ch反IUT論装戦線
20/04/22 18:20:15.79 gQCe02i1.net
>>126
いやいや、酒もクスリも飲んでないって
・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL
134:１３２人目の素数さん
20/04/22 18:23:02.03 mg08g5qs.net
♪(*´∀`)ﾊﾊﾊ(´∀`*)ｹﾞﾗｹﾞﾗ
ﾊﾊﾊ(´∀`)♪(´∀`)ﾊﾊﾊ♪
ｹﾞﾗｹﾞﾗ
135:１３２人目の素数さん
20/04/22 18:30:15 mg08g5qs.net
も、素数くん、、、
>>123٩(´∀`*)و♪
星座と干支一緒w
136:１３２人目の素数さん
20/04/22 18:36:00 mg08g5qs.net
Ohaluくんちの🐱ﾆｬﾝｺちゃんはお元気ですか。。。?
137:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 18:37:54 gQCe02i1.net
個人的にそそられたプレスリリース
URLﾘﾝｸ(www.s.u-tokyo.ac.jp)
余談ですが・・・ボクは系統１です（以前調べた）
138:１３２人目の素数さん
20/04/22 18:46:49 mg08g5qs.net
■ぃ▲▼●
139:ー●ーでしたね…
140:ID:1lEWVa2s
20/04/22 18:54:40 IWyN5Pb9.net
しぃずかあぁにぃ。
141:１３２人目の素数さん
20/04/22 19:16:02 mg08g5qs.net
来てた…w
142:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 19:40:27 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:64番)
>猿芝居をやりだしたら、数学はもう終わり。
もともと数学やりたがるのは変態ｗ
>AI, 宇宙、核融合、生命科学に人材がながれるよ。
やっぱ生命科学かなぁ
AIは・・・いうほど面白くない
143:ID:1lEWVa2s
20/04/22 20:17:48.46 zP4DsWDm.net
てすと。
144:ID:1lEWVa2s
20/04/22 20:18:35.10 zP4DsWDm.net
ここは書き込めるのか。
すまほににゃろめうぃるすはいった。
まあいいや。
145:ID:1lEWVa2s
20/04/22 20:19:14.18 zP4DsWDm.net
ゆぅちゅうぶすらいどできんくなった。
まあいいや。
146:ID:1lEWVa2s
20/04/22 20:19:24.53 zP4DsWDm.net
てすと。
147:5ch反IUT論装戦線
20/04/22 20:19:46.10 gQCe02i1.net
諸君らに問題
数学的帰納法は以下の命題と同じであることを示せ
P0 かつ ∃x￢Px ならば ∃x(Px∧￢Psx)
(sxはxの後続者)
148:ID:1lEWVa2s
20/04/22 20:23:38.03 zP4DsWDm.net
>>141
まずP0が何言ってるかわからないし存在xにp素数掛けるxかつそのp素数の次偶数を掛けるの反対をしたのが何なのか解らん。
まだ、行列の統計の本のが意味解る。
論理学意味不明。解らんだけだけど。
149:ID:1lEWVa2s
20/04/22 20:25:01.74 +g0jYdrw.net
ねりゅ。おやちゅみ。
150:5ch反IUT論装戦線
20/04/22 20:32:18.19 gQCe02i1.net
>>142
P0：数0は性質Pを満たす
∃x￢Px:ある数xが存在し、xは性質Pを満たさない
さあ、もう分からないとはいわせない
151:ID:1lEWVa2s
20/04/22 20:35:16.40 vdJUmMzj.net
>>144
∃x∩∃x|￢P
⇒?
152:5ch反IUT論装戦線
20/04/22 20:35:30.17 gQCe02i1.net
>>141の論理式を日本語でかくとこうなる
0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない
153:ID:1lEWVa2s
20/04/22 20:37:31 vdJUmMzj.net
>>146
偶数だから。 但しxは奇数になるだけで
素数かは解らない。
154:ID:1lEWVa2s
20/04/22 20:41:33 vdJUmMzj.net
ねりゅ。おやちゅみ。
155:１３２人目の素数さん
20/04/22 20:42:25 mg08g5qs.net
。。。(”;)お休みなさぃ…
156:ID:1lEWVa2s
20/04/22 20:43:10 vdJUmMzj.net
>>149
ねりゅ。おやちゅみ。
157:１３２人目の素数さん
20/04/22 20:43:26 mg08g5qs.net
("*)))私も失礼いたします。。。
158:１３２人目の素数さん
20/04/22 20:46:50 mg08g5qs.net
*“))め～さま…
今日は遊んで頂いてありがとうございました..お先に失礼いたしますね..お休みなさぃ…
159:１３２人目の素数さん
20/04/22 20:52:41 l81dZyRC.net
>>27
いやなんとなく、っていうか
IUTが正しければabc conjectureが証明された（弱いやつだけど）ことになるんで
自分の動画も世間一般の人がそこに至るまでのミッシングリンクとして役に立つんじゃないかなと
まあもう世間ではとっくに忘れられてると思いますけどね
今世紀最大の証明とか銘打っても今すぐどうにかなるってわけでもないし
160:１３２人目の素数さん
20/04/22 20:54:34 mg08g5qs.net
(>146…(>Д⊂。)可哀想過ｷﾞﾙ…
誰か答えてあげて…
(´Д`゜)。○゜＊゜。*゜)
161:粋蕎 ◆C2UdlLHDRI
20/04/22 20:56:55 X38faA9i.net
￢(∀xP(x))≡∃x￢P(x)
￢(∃xP(x))≡∀x￢P(x)
三項目、蛇足入れよったな。相っ変わらずβ
162:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:57:05 gQCe02i1.net
>>154
＞誰か答えてあげて…
いや、おまえが答えろよｗ
163:１３２人目の素数さん
20/04/22 20:58:43 mg08g5qs.net
”*))ねりゅ。おやちゅみw
164:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:09 gQCe02i1.net
>>155
おまえ相変わらずワケワカランこといって頭悪いな マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
165:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 20:59:42 gQCe02i1.net
>>157
ねるなぁぁぁぁぁｗ
166:粋蕎 ◆C2UdlLHDRI
20/04/22 21:02:29 X38faA9i.net
>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう
167:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 21:05:05 gQCe02i1.net
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が
「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ
この馬鹿タレが！！！
168:１３２人目の素数さん
20/04/22 21:55:38 LxI+KLOb.net
全称命題から特称命題はいえない
絶対ニダ
169:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:32:04 gQCe02i1.net
ｽﾚﾘﾝｸ(math板:236番)
>結局、3.12の指摘も空振りな状況
望月がそう思いたがってるだけ
170:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:46:46 gQCe02i1.net
URLﾘﾝｸ(en.wikipedia.org)
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく
そういうこと
171:１３２人目の素数さん
20/04/22 22:49:04 tTF2a26B.net
?“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…
?＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
?=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼
172:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:49:58 gQCe02i1.net
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
173:１３２人目の素数さん
20/04/22 22:51:05 tTF2a26B.net
?我が名は第七😘kiss魔王
?=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ!
174:１３２人目の素数さん
20/04/22 22:52:44.54 tTF2a26B.net
Ⅰ“)ﾉ⌒☆｡.:＊・.｡🌙
ｵﾔｽﾐﾅｻ～ｨ…<3
175:5ch反IUT論装戦線
20/04/22 22:54:19.07 gQCe02i1.net
酔っぱらってる？
176:１３２人目の素数さん
20/04/22 22:56:14.37 tTF2a26B.net
Ｕ're ＩＣＥ!
177:１３２人目の素数さん
20/04/22 23:04:36 LxI+KLOb.net
>>166
また一つ公理が増えたな
まあ勝手に構成してろ
人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ
しかし
すべてのカラスは黒い
あるカラスが居る ←これが居ることの担保がない
ゆえに
そのカラスは黒い
この問題を回避するにはどういう公理が必要なの？
178:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:14:56 gQCe02i1.net
>>171
＞すべてのカラスは黒い
＞あるカラスが居る ←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？
上記を論理式で表す
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
２．∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
よく見ればわかるが、２は１の特称化ではない
１の特称化は以下の通り
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
１から３は導けるが、２は導けない
179:１３２人目の素数さん
20/04/22 23:21:25.76 LxI+KLOb.net
>>172
>あるものが存在し
これが全称命題からは言えない
つまり3は2と同じことを言っている
全称命題に存在性はないと思うがどうか？
180:5ch反IUT論装戦線
20/04/22 23:22:47.48 gQCe02i1.net
>>172
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
３の否定
４．∀ｘ．カラス（ｘ）∧￢黒（ｘ） すべてのものは黒くないカラスである
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）∧￢黒（ｘ） ４ ３の否定
カラス（ａ） ４の全称例化
￢黒（ａ） ４の全称例化
カラス（ａ）→黒（ａ） １の全称例化
￢カラス（ａ） 黒（ａ）
× ×
したがって１から３は導ける
181:5ch反IUT論装戦線
20/04/22 23:27:47.32 gQCe02i1.net
>>173
＞3は2と同じことを言っている
否
２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
２の否定
５．∀ｘ．カラス（ｘ）→￢黒（ｘ） すべてのカラスは黒くない
>>174の４ではカラス以外のものは存在しない
一方５ではカラス以外のものも存在してよい
したがって２と３は意味が異なる
182:１３２人目の素数さん
20/04/22 23:29:58.53 LxI+KLOb.net
すべてのカラスは黒くない
∀x(Fx→Gx)
等値
∀x(￢Fx∨Gx)
その否定
∃x(Fx∧￢Gx)
あるカラスは黒くない
つまり黒くないカラスの存在は
183:何処かで言うことが可能だが ここの黒いカラスの存在は言えない 全称命題の否定から存在性を言うことはできないし またカラスが居ることと関係がない
184:１３２人目の素数さん
20/04/22 23:34:26 LxI+KLOb.net
>>176
訂正
すべてのカラスは黒い
185:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:35:04 gQCe02i1.net
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）→￢黒（ｘ） ５ ２の否定
カラス（ａ）→黒（ａ） １の全称例化
カラス（ａ）→￢黒（ａ） ５の全称例化
￢カラス（ａ） 黒（ａ）
￢カラス（ａ）￢黒（ａ）￢カラス（ａ） ￢黒（ａ）
×
×がつかない枝かあるので １から２は導けない
186:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:40:41 gQCe02i1.net
>>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)は導けない
187:１３２人目の素数さん
20/04/22 23:44:39 LxI+KLOb.net
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない
カラスは居る/居ない
これが全称命題から導出できない
188:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:49:41 gQCe02i1.net
>>180
君がずらしている
論理式を見ろ
それで君が誤ってると分かる
分からないのは君が式を理解できないから
式を理解しろ
189:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:53:37 gQCe02i1.net
>>174 >>178 はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く
これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単
190:１３２人目の素数さん
20/04/22 23:55:27 LxI+KLOb.net
>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな
191:１３２人目の素数さん
20/04/22 23:57:37 LxI+KLOb.net
>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら
192:１３２人目の素数さん
20/04/22 23:59:15 LxI+KLOb.net
命題論理のタブローならわかるから
書き直してみろよ
193:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:04:34 HZRVAVG+.net
>>185
＞命題論理のタブローならわかるから
述語論理のタブローを理解しろ
＞書き直してみろよ
述語論理は命題論理より記述力が上
述語論理 勉強しろよ
じゃあなバイ菌ｗ
194:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:11:21 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:249番)
>その議論は、私の数学レベルを遙かに超えているのですが
IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ
そもそも、タイヒミュラー理論、分かってんのか？ｗ
URLﾘﾝｸ(en.wikipedia.org)
195:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:21:42 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:91番)-92
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる
そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが
RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？
196:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:25:41 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:93番)
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
>・accept通知書
>・京大広報と打ち合わ文書
>・事前報告書
>以上
>文書の公開を求めます
まず査読者と査読報告書を公開しろ
どんなヤツがどんなコメントつけて受理したか明らかにしろ
嗤ってやるからｗ
197:ID:1lEWVa2s
20/04/23 08:28:52 r9wP+5Oj.net
おはよう。
198:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:33:38 HZRVAVG+.net
蛇足
ｽﾚﾘﾝｸ(math板:82番)
>何でよりによって素人がIUT目指すんだろうか
ステートメントの意味が素人でも分かるからだろ
フェルマーと同じだよ
もちろん「初等的な」証明が不可能、とはいえない
ただ、それを素人の試行錯誤で見つけ出せるかといえば
限りなく可能性は小さいね
素数定理の「初等的な」証明を見つけたのもセルバーグ
199:ID:1lEWVa2s
20/04/23 08:41:37 rdBcJgIA.net
もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。
200:１３２人目の素数さん
20/04/23 08:46:52 ROJTyYdQ.net
>>190
お早うＯhaluくん😸🎶
201:ID:1lEWVa2s
20/04/23 08:51:11 kfSGmOV6.net
ニュース速報+は馬鹿の集まり。
202:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 08:54:37 HZRVAVG+.net
今日は敵の名称を考えることにしよう
「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」
・・・ああ、バカバカしいｗ
URLﾘﾝｸ(ja.wikipedia.org)
203:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:07:47 HZRVAVG+.net
「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう
「IUTを守る会 会長」とかｗ
204:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:20:42 HZRVAVG+.net
Peter Woit says
>double down on unethical behavior, claiming “there is an argument but we have to keep it secret”
「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」
もしRIMSがこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！
205:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:37:08 HZRVAVG+.net
Ｍブログ曰く
「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。
前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、
理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、
つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。
一方、「誤解学」と呼んでいる後者の方の活動ですが、
相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」
がないと始まらない活動になります。」
206:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:46:31 HZRVAVG+.net
>>198
Ｍは肝心な点を見逃している
「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である
つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される
Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した
査読者はいったい何をやっていたのか？
Ｍのいうことなら100％正しいと甘え切っていたのか？
もしそうなら怠慢の誹りを免れない
207:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 09:48:54 HZRVAVG+.net
今一度、>>16を再掲する
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
208:そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」 (the devil is in the detail)
209:ID:1lEWVa2s
20/04/23 09:50:59 LjUIpMcw.net
馬鹿英語使うな。
210:ID:1lEWVa2s
20/04/23 09:51:08 LjUIpMcw.net
馬鹿ぁ英語使うな。
211:ID:1lEWVa2s
20/04/23 09:52:21 LjUIpMcw.net
馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。
212:１３２人目の素数さん
20/04/23 09:53:12 ROJTyYdQ.net
…/◎◎\
(*..)…
/◎◎\
ずっと◎◎見てると…
ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?
(Д`゜)。゜*゜みちゃﾀﾞﾒだ～?…
213:１３２人目の素数さん
20/04/23 09:56:28 ROJTyYdQ.net
?=3 ﾋﾟｭｯ!
もっちー様 ｺﾞﾒﾝﾅｻ-ｨ!
214:ID:1lEWVa2s
20/04/23 10:00:11 j1YW93bg.net
>>204
😳。
215:１３２人目の素数さん
20/04/23 10:06:33 ROJTyYdQ.net
Ｏhaluくんにびっくりされたw
216:5ch反IUT論装戦線 論理狼
20/04/23 10:10:28.16 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:253番)
＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」
＞注）＊＊は、「肯定的」 or 「否定的」
そもそも「IUTを守る会 会長」ｗの
「肯定的」「否定的」の判断記述が不明
もし、
・否定的＝証明に矛盾（反例）が見つかった場合
・肯定的＝証明に矛盾（反例）が見つからない場合
といってるなら、実に甘い基準
厳しい基準は以下の通り
・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合
・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合
つまり安易に肯定的と云ってはいけない
217:5ch反IUT論装戦線 論理狼
20/04/23 10:14:47.68 HZRVAVG+.net
>>208 の厳しい基準では
「「前提」及び「結論の否定」から矛盾が導かれるとしても
矛盾に至る証明がいまだ見出されていない状態」
は否定的となるが、それはむしろ当然である
フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった
だから定理と認められていなかった 当然だろう
218:5ch反IUT論装戦線 論理狼
20/04/23 10:32:23.95 HZRVAVG+.net
まあ、現実には恒に厳しい基準が適用されたわけでもないが
ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された
しかし、論理学者は誰もそこにつっこまなかった
「やればできるだろう」と皆が認めたから
実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
（別に、第二不完全性定理に疑念があったからではなく
計算科学的に興味深いと考えられたから）
219:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:06:50 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:255番)
ああ、「IUTを守る会 会長」は全然、数学ってもんが分かってないな
そもそも
ヴォイタ予想
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
URLﾘﾝｸ(ja.wikipedia.org)
スピロ予想
URLﾘﾝｸ(ja.wikipedia.org)
の「数論幾何の三大予想」がIUTとやらで解決できてるのかどうかが大問題
解決できてないなら、別の方法で解決したヤツの成果となる
別証明でも悪くはないが、インパクトが全然違う
だからギャップがあるならあると
コミュニティ内でコンセンサスを得る
必要がある
220:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:20:42 HZRVAVG+.net
ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた
「まず、ポアンカレ予想を解かれたことに落胆し、
それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
そして、その解の解説がまったく理解できないことに落胆した」
だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが
（そもそもトポロジストは３次元や４次元のトポロジーが
自分たちの�
221:]来の手法では手に負えない魔境であることを 薄々自覚していた）
222:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:45:44 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:256番)-258
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
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
につっこまないのか？
貴様の主張に対する真っ向からの否定だろｗｗｗ
223:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:49:09 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:256番)
＞山下解説外している気がする
師匠のdangerousな脱線をさりげなく軌道修正する弟子
224:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 11:59:06 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:259番)
＞数学分かってない人が、アンチスレで絶叫しているようだが
正規部分群の定義も間違えた「IUTを守る会 会長」が翼賛スレで絶叫してるな
＞アンチスレの研究できなかった人のタワゴトには、困るなぁ～
翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ
京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
つまり、誰かが別証明の論文を書けば、
それが最初の正当な証明と認められる
どこぞの島の連中が何を喚こうが知ったこっちゃない
「またアンダマン諸島のセンチネル族が
船に向かって矢を放ってるぞ
届きゃしないのに」
225:y7fKJ8VsjMの保護者
20/04/23 12:03:56 SJ20ZnnX.net
平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください
226:5ch反IUT論装戦線 論理狼
20/04/23 12:13:47.21 HZRVAVG+.net
>>216
残念だが仕事はしてる もう３０年務めた
結婚しなかったおかげで 貯金は結構たまったよ（ニンマリ）
227:１３２人目の素数さん
20/04/23 12:33:27 pFvIaQaL.net
>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ
228:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:03:33 HZRVAVG+.net
>>218
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
229:１３２人目の素数さん
20/04/23 13:12:51 pFvIaQaL.net
>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って
230:１３２人目の素数さん
20/04/23 13:14:51 ROJTyYdQ.net
(*“(>>217)
＞お金は貯まった
ﾋｿｯ(そぅぃぅことは...
絶対 言っちゃダメ！)
イッチャ、ダメ、ゼッタイ
今から災難を引き寄せる悪癖は改めましょぅ・・・
１人暮らしの老人が
「金が有る」と話してた為に
強盗殺人の犠牲者になる事件が多発してます・・
更に・・独身の男性は
「筧ちさ子(かけい・ちさこ)」
の様な
「後妻業(ごさいぎょう)」
の女性に狙われて財産を根こそぎ奪われ保険金まで奪われる殺人の被害者になる事件が多発しています・・
「明日は我が身」
常日頃から気を引き締めて、
災難を未然に防ぐ暮らしぶりを心掛け、平穏無事で幸せな老後を送りたいですね...
231:１３２人目の素数さん
20/04/23 13:38:51 pFvIaQaL.net
「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ
232:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 13:57:55 HZRVAVG+.net
>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ
233:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:00:02 HZRVAVG+.net
>>221
＞１人暮らし
じゃないから
残念だったね
234:１３２人目の素数さん
20/04/23 14:00:49 ROJTyYdQ.net
♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ～ﾝ🎶
。゜*゜。🎶。゜*゜。🎶
春の家計見直しプランお知らせで～す。。。
✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
(口座開設費・維持費無料
証券買わなくてもＯＫです)
電気料金も楽天電気
(賃貸住宅でも利用可能)
にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。
📲通信も楽天モバイルのUNLIMITなら１年間無料
(２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し)
併せて上記全ての支払いに
💳クレジットカード💳の
信販会社を通す決済にすれば
クレカのポイントも溜まります♪v(*^^*)v♪
お時間がお有りの時にご検討くださぃ。。。
楽天Unlimitはもうすぐキャンペーン終了、〆切です。。
※楽天のステマバイトでは有りません。。。
235:１３２人目の素数さん
20/04/23 14:02:30 pFvIaQaL.net
ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる～」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる
で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる
236:１３２人目の素数さん
20/04/23 14:03:01 ROJTyYdQ.net
>>224
ΣΣΣ((((´Д｀；)))
237:１３２人目の素数さん
20/04/23 14:04:07 ROJTyYdQ.net
○ ○ ○
238:１３２人目の素数さん
20/04/23 14:04:42 ROJTyYdQ.net
※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★
239:１３２人目の素数さん
20/04/23 14:05:40 pFvIaQaL.net
>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた
240:１３２人目の素数さん
20/04/23 14:06:24 ROJTyYdQ.net
ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ
241:１３２人目の素数さん
20/04/23 14:08:37 ROJTyYdQ.net
(騙された。。。❔)
?ΣΣΣΣ(((((๑ºдº๑)))))
242:１３２人目の素数さん
20/04/23 14:12:17 ROJTyYdQ.net
▂▂┃┃┃▂▂
((⚫))((⚫))
243:１３２人目の素数さん
20/04/23 14:18:15 ROJTyYdQ.net
========ε=ε=ヾ(゜´Д`)
ウゥｩﾜワアｱｧ━━━ｯ！
244:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:20:41 HZRVAVG+.net
兄弟で暮らしてますが何か？
URLﾘﾝｸ(ja.wikipedia.org)
245:１３２人目の素数さん
20/04/23 14:21:31 ROJTyYdQ.net
゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆
246:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 15:02:19 HZRVAVG+.net
IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）
ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
（無限列だとすると”∈V”の左の文字が明らかでない）
247:１３２人目の素数さん
20/04/23 15:37:48 onmAzHJf.net
お立ち台はどうだった？
248:１３２人目の素数さん
20/04/23 15:55:11 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！
249:１３２人目の素数さん
20/04/23 15:57:59 ROJTyYdQ.net
(ノД`。)゜
250:１３２人目の素数さん
20/04/23 16:01:36 ROJTyYdQ.net
ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？
251:１３２人目の素数さん
20/04/23 16:04:22 ROJTyYdQ.net
６３歳だったんですって…
。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…
252:１３２人目の素数さん
20/04/23 16:06:50 ROJTyYdQ.net
安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³
253:5ch反IUT論装戦線 論理狼
20/04/23 16:38:36.57 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:277番)
>望月IUTが、何を証明するのか、実はよく知らないんだ
IUTを守る会 会長 自分が守りたいものが何かも分かってなかったｗ
なんだろうなこの馬鹿はｗ
ABC予想
URLﾘﾝｸ(ja.wikipedia.org)
あいつは引用のイロハも分かってない
いきなり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+ε)」
254:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 16:50:27 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板: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ランク大学か？ｗ
255:１３２人目の素数さん
20/04/23 16:59:15 XWvRD9DG.net
任意の値に具体的数値を入れている時点でゴミ
256:１３２人目の素数さん
20/04/23 17:01:07 XWvRD9DG.net
まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？
257:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:08:25 HZRVAVG+.net
>>246-247
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
258:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:13:23 HZRVAVG+.net
XWvRD9DGのような誤解をする馬鹿へ
元々のABC予想
「c>rad (abc)^(1+ε)となる a,b,cの組は有限個」
から
「c>rad (abc)^2となる a,b,cの組は存在しない」
は出てこない
259:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:18:39 HZRVAVG+.net
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
これ読むと数学者といえども専門外の分野については
全くといっていいほど無知なうえに、
見当違いな誤解をしまくってることが
よくわかる
「[選択公理] 超限帰納法を使ってよい
(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)
(無限のスーパーレッスン，p.164)」
なんじゃこりゃぁぁぁぁぁ！！！
260:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:21:42 HZRVAVG+.net
>>250の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、
選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」
(無限のスーパーレッスン，p.185)
これはヒドイ・・・
261:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:23:47 HZRVAVG+.net
>>251の続き
『無限のスーパーレッスン』のhyper-critique
URLﾘﾝｸ(fuchino.ddo.jp)
「選択公理なしでは無限の大小が比べられなくなるので、
ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」
(無限のスーパーレッスン，p.201)
マジでヒドイ・・・ヒド過ぎる
262:１３２人目の素数さん
20/04/23 17:28:55 XWvRD9DG.net
たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり
すべてのカラスは黒い
から
太郎くん(カラス)は黒い
を導出できるという考え
そのことが言いたかったんだね
たしかにこれは存在命題とは異なる
俺が言っているのは全称命題から存在命題は導出できない
というのは
すべてのカラスは黒い
から
ある(黒い)カラスが居る
は導出できないと言っている
263:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:36:07 HZRVAVG+.net
加藤文元とかいう人のIUT本が
「無限のスーパーレッスン」より
数学的にはマシな本であることを期待したい
（読んでないし読むつもりもないが）
264:１３２人目の素数さん
20/04/23 17:37:44 onmAzHJf.net
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
このように、すべてのカラスは黒いという仮定が正しい保証はない。
265:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:44:51 HZRVAVG+.net
>>253
そりゃそうでしょ 丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）
＞つまり
＞すべてのカラスは黒い
＞から
＞
266:太郎くん(カラス)は黒い ＞を導出できるという考え いやそれは駄目でしょ というのはスズメはいてもカラスが全く存在しない場合があるから ＞俺が言っているのは全称命題から存在命題は導出できない ＞というのは ＞すべてのカラスは黒い ＞から ＞ある(黒い)カラスが居る ＞は導出できないと言っている 後半の４行は正しい でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが 「ある(黒い)カラスが居る」だとおもってるならそれは誤り 正しい置き換えは 「あるものが存在し、それがカラスならば黒い」 これはスズメしか存在しない世界でも正しい 要するになんかしら存在すればいいし、 述語論理ではそういう前提で考えてるってこと そうでなければ全称例化なんて認められないから
267:１３２人目の素数さん
20/04/23 17:52:34 XWvRD9DG.net
>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
カラスが居る
ということは言えない
これも太郎くん問題だよ
カラスの集合から任意にカラスを選ぶ
その中に太郎くんがいたから
これを黒いカラスと呼ぶ
こういう問題と混同している
俺は全称命題から存在命題は導出できないと言っている
268:１３２人目の素数さん
20/04/23 17:56:37 XWvRD9DG.net
>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り
そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと
269:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:00:16 HZRVAVG+.net
＞俺は全称命題から存在命題は導出できないと言っている
それ述語論理としては誤りだから
なぜかといえば、述語論理の対象領域には必ず個体が存在するから
そうでなければ、全称例化の推論は出来ないから
「カラスは黒い」というのは
「任意のｘについてｘがカラスならば黒い」という意味であって
それを特称化した場合
「あるｘが存在してｘがカラスならば黒い」となる
ｘがカラスである必要はない スズメでもヒバリでもウグイスでもなんでもいい
しかし何にもいない、ということはそもそもあり得ない そういうこと
270:１３２人目の素数さん
20/04/23 18:00:52 XWvRD9DG.net
>>256
a：個体パラメータ
とする
(1) (∀x)Fx
(2) Fa (1)
この導出に異論はあるか？
俺はない
これが認められないなら全称命題の意味がない
271:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:03:03 HZRVAVG+.net
>>258
＞そんなことは一言も言ってない
云ってないだろうが、∀ｘPx と∃ｘPxの関係を誤解してるのが明確なので指摘した
自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ
誤りを認めるのは恥ずかしくない
誤りを認めないことこそ恥ずかしいんだ
272:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 18:05:38 HZRVAVG+.net
>>260
(1) Fa
(2) (∃x)Fx (1)
この導出に異論はあるか？
273:１３２人目の素数さん
20/04/23 18:06:19 XWvRD9DG.net
>>262
あるに決まってんだろｗ
274:１３２人目の素数さん
20/04/23 18:07:44 onmAzHJf.net
>>255
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。
>>255はカラスを物理的に解釈して考えたときの話。
275:１３２人目の素数さん
20/04/23 18:11:22 onmAzHJf.net
>>257
>>264は、>>255ではなく、>>257へのレス。
276:5ch反IUT論装戦線 論理狼
20/04/23 18:36:19.30 HZRVAVG+.net
ｽﾚﾘﾝｸ(math板:289番)
>戦線とか言う時点で共産党員
共産党員ではないな
アナーキストだからｗ
>日本が憎くて仕方がない！
日本政府は要らないと思ってる
ま、日本に限らないけど
憎しみはない
>日本人の自尊心は敵
他国民と比較して上とかいう
異常な精神は害悪だと思ってる
そういうのは本来の「自尊心」ではない
>望月許すまじ
望月の態度には誠意がないと思ってるし
PRIMS掲載で不当な圧力をかけたなら
トンデモないと思うが
改心しろよ そしたら許してやる
>日本人はバカでなくてはならない
いや、賢くなってほしいね
やれ韓国人ガー、中国人ガーという
馬鹿丸出しな態度から脱却してほしい
心からそう思ってるよ
277:１３２人目の素数さん
20/04/23 20:10:37 zY/+UvEc.net
>>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より
逆も同様に示せるので↔が示せる
278:１３２人目の素数さん
20/04/23 20:15:52 zY/+UvEc.net
(A∧B→C)↔(A∧￢C→￢B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ
279:１３２人目の素数さん
20/04/23 20:32:03 zY/+UvEc.net
>>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として空集合さえ考えなければ成り立つ
280:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 20:50:03 HZRVAVG+.net
>>268
その通りですね
281:１３２人目の素数さん
20/04/23 20:53:19 XWvRD9DG.net
存在汎化か……
怪しいやつもってきたなｗ
「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ
282:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 20:54:26 HZRVAVG+.net
>>269
＞命題論理に直すのは簡単だよ
＞もし論議領域としてD={a,b,c}を考える場合
D={a,b}、いや、D={a} でもいいかもｗ
∀xHxはHa、∃xHxもHa
Ha→Ha ！
端的にいえばそういうことだよね
283:１３２人目の素数さん
20/04/23 21:18:40.57 hmqDQuFG.net
論理学の話してて草
284:5ch反IUT論装戦線 論理狼
20/04/23 21:22:47.38 HZRVAVG+.net
爆弾製造の代わりに各自、論証訓練を行ってますｗ
285:１３２人目の素数さん
20/04/23 22:12:16 ROJTyYdQ.net
ある成人は孤児である
親も兄弟もいない
ある成人は兄弟と同居している
この「ある成人」なる両者が同一人物であることは真か？
286:１３２人目の素数さん
20/04/23 22:22:46 ROJTyYdQ.net
スレに嘘つきがでます！
287:１３２人目の素数さん
20/04/23 22:36:56 ROJTyYdQ.net
(。´Д`(>>230)
病的なうそつきみたぃなんです…!?
気をつけて…
言ってることほぼほぼｳｿだと思ぅ～!
信じちゃﾀﾞﾒ～!?
288:１３２人目の素数さん
20/04/23 22:41:04 ROJTyYdQ.net
う"そ"つ"き"を"ち"さ"ん"
★事★態★宣★言★発★動★
289:１３２人目の素数さん
20/04/23 22:43:02 XWvRD9DG.net
>>275
孤児は親兄弟がいないとし
F：成人
G：孤児
とする
このとき(∃x)Fx∧Gxの真理値を考える：
(1) 偽 (∃x)Fx∧Gx
(2) 偽 (∃x)Fx (1)
(3) 偽 (∃x)Gx (1)
(4) 真 (∀x)Fx (2)
(5) 真 (∀x)Gx (3)
(6) 真 Fa (4)
(7) 真 Ga (5)
これ難しいな
まだ勉強不足だからわからないｗ
290:１３２人目の素数さん
20/04/23 23:04:25.74 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
291:１３２人目の素数さん
20/04/23 23:04:27.06 ROJTyYdQ.net
>>279
真ナコトナイ(∃
偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・
HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽
って決まってるから...
292:１３２人目の素数さん
20/04/23 23:11:57 ROJTyYdQ.net
ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・
あらゆる可能性をできるだけ想定して、矛盾が無いか徹底
293:的にチェックしないと・・・ 騙"さ"れ"ち"ゃ"う"か"ら" ね・・・
294:１３２人目の素数さん
20/04/23 23:14:00 ROJTyYdQ.net
ﾋﾟﾉｷｵ爺の呪いで同ﾚｽ2投になっちゃってる…?
295:１３２人目の素数さん
20/04/23 23:18:00 XWvRD9DG.net
なるほどね
296:１３２人目の素数さん
20/04/23 23:19:19 ROJTyYdQ.net
゜ 。○゜ *。゜(ノД`)。
＊゜いっつも…うそばっかり。。。
297:１３２人目の素数さん
20/04/23 23:20:12 ROJTyYdQ.net
＊゜。○*゜。゜
298:１３２人目の素数さん
20/04/23 23:24:10 ROJTyYdQ.net
∵・Σ>>274━━🔥🔫＞💢
299:１３２人目の素数さん
20/04/23 23:24:50 ROJTyYdQ.net
うそつきｯ❗
300:１３２人目の素数さん
20/04/24 03:12:46 kvpK9Wt2.net
荒らしはこっちにだけ来るんだな
わかりやすいわ
301:１３２人目の素数さん
20/04/24 05:56:26.04 G8hF3Q2u.net
ﾁﾞﾁﾞｨｯﾁｬﾏが居るから…つぃ…
(〃¨)
それとﾓｯﾁｬﾏのアンチｽﾚだから、、、
お(邪魔して散らかして帰っちゃぇ…!)…ってのは、ちょっと思ってた…ｺﾞﾒﾝﾅｻｨ
302:１３２人目の素数さん
20/04/24 06:00:19 G8hF3Q2u.net
嵐認定された…(ノД`)。
…ぜんぶﾁﾞﾁﾞｨｯﾁｬﾏのせぃ…?
303:１３２人目の素数さん
20/04/24 06:05:27 G8hF3Q2u.net
本ｽﾙﾙｪは敷居が高い。。。
ａａ職人の☆伝統芸能お披露目サービス☆も無いし…
面白ぃコトもあんまり書いてくれるひとが出ないし。
真面目か…!
304:１３２人目の素数さん
20/04/24 06:11:57 G8hF3Q2u.net
今日も一日元気に。。。
🐹とっとこ☆なたろぅ🐹
君が…ｽﾙﾙｪをﾜﾝｵﾍﾟで。。。
回し車＠＠＠ｶﾗｶﾗｶﾗ～＠＠＠
みたいにｽﾚ回ししちゃいま～す
(´艸`)🍀
305:１３２人目の素数さん
20/04/24 06:14:43 G8hF3Q2u.net
☆ﾓｯﾁｬﾏ☆のｱﾝﾁｽﾚは
(散らかしやすぃ…)
(・ω<) <☆
ﾃﾍﾍﾟﾛ
306:論理狼 ◆y7fKJ8VsjM
20/04/24 08:09:10 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:294番)-299
IUTを守る会 会長は、まだIUTの宇宙が
グロタンディク宇宙だと認められないらしい
「グロタンディク宇宙が２つあったらいけない」
という嘘に固執してる馬鹿ｗ
「集合論の通常実行されるすべての操作を内部にもつ集合」
は唯一だといつ誰がどこで言い切った
今、貴様が愚かにも妄想しただけだろうが！！！
307:論理狼 ◆y7fKJ8VsjM
20/04/24 08:11:22 BTmyP9va.net
>>275
孤児？誰が？
私じゃないな
両親も健在です・・・母親は耄碌してますが
308:論理狼 ◆y7fKJ8VsjM
20/04/24 08:16:02 BTmyP9va.net
ある日のあるID「私は孤児」
論理狼 「弟がいる 両親も健在」
結論
「ある日のあるIDと論理狼は別人」
うむ、無矛盾ｗ
309:論理狼
20/04/24 08:33:04.56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:305番)-307
IUTを守る会 会長の今の心境
「望月の論文を読みながら絶叫」
”おれのグロタンディク宇宙が、二つあるわけなぁぁぁぁぁい！！！”
ほんとこいつどこまで馬鹿野郎なの？
「箱入り無数目」といい今回の「グロタンディク宇宙」といい
素人のナイーブな直感を無条件に絶対の真理と思い込むとかｗｗｗ
310:論理狼
20/04/24 08:37:32.67 BTmyP9va.net
>>294
＞☆ﾓｯﾁｬﾏ☆
望月のストーカー現る・・・
311:論理狼 ◆y7fKJ8VsjM
20/04/24 08:44:56 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:133番)
ま、Mの
「V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V」
とかいうのは忘れていい
どうせ、使ってないんだろ？
別に宇宙が無数にあるのは構わんのだが
各宇宙が上記の関係を満たしていなくてはならない理由がない
（この点、弟子の山下剛のほうが冷静だといっていい）
312:１３２人目の素数さん
20/04/24 08:46:43 G8hF3Q2u.net
ある日の狼中年
「弟は居ないな」
また別のある日の狼中年
「妹はいないな
いたら？(じゅるる」
またある日
「禿げてはおらんｗ」
推定年齢７７歳前後の後期高齢者
(ＤＶ
313:＆ギャンブル・風俗で サラ金に借金有り⇒離婚歴有り⇒★バツ２★子持ち＆ ★ＣhibiＤeＢuＰＳＹＣＨＯ★禿★)←今ｺｺ! なんだと思います。(断言)
314:論理狼 ◆y7fKJ8VsjM
20/04/24 08:54:21 BTmyP9va.net
妹はおらんな
50代
ギャンブル？風俗？したことないよ
そんなことしてたら貯金がたまらないｗ
サラ金？借りたことない
貯金があるのになんで金借りる必要あるの？
結婚歴はない 子供もいない
身長は１７０ｃｍ代
髪の毛はさすがに薄くなりつつある気がするが
ハゲというほどではない
・・・という設定で４６４８（←ドルヲタか！）
315:１３２人目の素数さん
20/04/24 09:01:52 G8hF3Q2u.net
粘着ｾｸﾊﾗ★ｽﾄｰｶｰで悪の爺を
もっともっと。。。
彡⌒ミ⇒✨⌒✨
✨ﾊｹﾞ✨させちゃおぅっと。。。
(*´艸`)…♪
「☆ﾓｯﾁｬﾏ☆ﾉ敵」ｦ倒ｽ為ﾆ…
و(*")٩頑張ﾘﾏ～ｽ♪
316:論理狼 ◆y7fKJ8VsjM
20/04/24 09:05:37 BTmyP9va.net
>>303
「☆ﾓｯﾁｬﾏ☆命」の方へ
今回のIUT論文で
「証明に大穴がある論文を、編集委員長権限で強行アクセプトさせた」
疑惑がもたれていますが、それでもいいんですか？
つまり「大天才」というのは偽りの可能性があるってことですが
まあ、それ以前の業績は認めたとしても
世界的にはせいぜい「プチ天才」ですよね
（フィールズメダリストのショルツと比べたら）
317:１３２人目の素数さん
20/04/24 09:10:51 G8hF3Q2u.net
>>302
可変設定は(どうでも)いいです
もう…↓
「梅毒＆淋病＆AIDS＆水子
＆借金＆ｺﾛﾅ持ちで虚言癖の
ぼけはじめた👴ｦﾁﾞｨﾁｬﾝ👴」
って設定にしちゃったから。
(きっぱり)
容赦無くｲﾁﾞｸﾘ倒してやるからなぁ…?もぉ許せるｿﾞｵｫｯ!?ｫｨｯ!
(混乱)
318:１３２人目の素数さん
20/04/24 09:25:07 G8hF3Q2u.net
>>304
「(子持ち)大天才」(どうでも)
いいですねぇ…!
天才はやっぱり✨毒男✨の方が夢がありますねぇ…!
…ｱﾘﾏｽ…ｱﾘﾏｽ…((*¨)(*‥))ｳﾝｳﾝ*
319:１３２人目の素数さん
20/04/24 09:29:10 G8hF3Q2u.net
『🐣petit🐤✨天才✨』
『ﾌﾟｯﾁﾓﾁ🐣』。。。
ぅん、💗可愛ｅ💗。。。
320:１３２人目の素数さん
20/04/24 09:42:32 G8hF3Q2u.net
。✳゜。＊゜。☆゜。○゜。
。○゜いつまでも゜。☆゜
。*゜少年の心を忘れない゜＊゜
゜☆゜。*゜。○゜。✳゜
゜～ 永遠の🐣petit🐤 ～゜
○゜。✳゜。☆゜。゜*。゜゜。゜
((*¨)*‥))*¨))*‥))ｳﾝｳﾝ…
321:１３２人目の素数さん
20/04/24 09:51:10 G8hF3Q2u.net
やっぱり☆もっちー☆は。。。
★喪ｯﾁｬﾏﾗ★の🌟星🌟
ですねぇ…！
ｱﾝﾁｽﾙﾙｪに入り浸っちゃったら
🐣もっちー💖ＬＯＶＥ💖
が激化したでござるw
322:１３２人目の素数さん
20/04/24 10:00:33 G8hF3Q2u.net
ひとみんﾈｷのお気もちがわかります…
ｴﾓｯﾋﾟ…餅さまﾌﾞﾛｸﾞに決して凸ってはならなぃ…(戒め)
323:１３２人目の素数さん
20/04/24 10:09:47 G8hF3Q2u.net
午前の道場破り活動終わりｯ!
『💖愛💗は勝つ』
略して💖愛活💗。。。
(〃ﾟ艸ﾟ)ﾌﾟｯ
324:論理狼
20/04/24 10:19:46.92 BTmyP9va.net
ｽﾚﾘﾝｸ(math板: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 ∈ ...
でいい
325:論理狼
20/04/24 10:27:10.51 BTmyP9va.net
ｽﾚﾘﾝｸ(math板:134番)
＞何故かZFC公理系の公理が9個であるという記述は修正していないし、
＞ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
上記以上に>>312の誤りは酷いと思うが・・・
ま、最終的にはＶを除けば 無限上昇列はできるけどね
しかし、そこ、実はどうでもいいんだろ？
(P.S.)
荒らしのBBAへ
このスレ埋めたいみたいだけど、
埋まったら本スレに匿名で書くよ
私はスレ立てられないからね
自分の行為のアサハカさに気づこうな BBA！
326:ID:1lEWVa2s
20/04/24 10:43:53 /YSDMAvQ.net
軍事機密すれの私のフェルマーの最終定理について。の解合ってるの？
一応証明ごと日本数学会事務局に送ったんだけど。
誰も答えてはくれない。どうなってんの。
327:ID:1lEWVa2s
20/04/24 10:45:34 /YSDMAvQ.net
だまっとれってか。
はい。
328:論理狼 ◆y7fKJ8VsjM
20/04/24 10:47:32 BTmyP9va.net
>>314
＞証明ごと日本数学会事務局に送ったんだけど。
意味ないよ
数学会事務局には数学分かる人いないから
君の手紙を数学者に転送することもしない
まあ、君がもし数学者に直接手紙を書いても読まないだろうな
なんで素人の書いた自己流の嘘「証明」を読んで
「ここがギャップです」とか「ここが誤りです」とか
教えてやる必要があるの？ ないよな
329:１３２人目の素数さん
20/04/24 10:49:20 G8hF3Q2u.net
>>314
合ってなぃﾄｺを見つけちゃぃました…
素数じゃ無いのが「素数」ってなっちゃってたょー
(お直ししてみた方が良ぃんじゃなぃかな…?)って思ぃました…
330:ID:1lEWVa2s
20/04/24 10:50:23 u9u2JrJT.net
>>316
いや、担当者がいて教授が読んでるって電話で言ってた。
331:１３２人目の素数さん
20/04/24 10:52:38 G8hF3Q2u.net
🌈Ｏhaluさん🍀
身体に気をつけて。。。
頑張ってくださぃね…🍀*゜
332:ID:1lEWVa2s
20/04/24 10:53:49 u9u2JrJT.net
>>317
それはないはず。
私の計算にみすはあまりない。
さんざん練習したから。
まあ、不等式止まりだからその間違いがあったことも含めて6カ月後くらいから素数の研究に再度着く。
333:１３２人目の素数さん
20/04/24 10:56:11 rcHJMCjA.net
>>318
これ、相手にされてないと思うよ。
334:１３２人目の素数さん
20/04/24 10:56:48 G8hF3Q2u.net
あ、でも送る前に。。。
✨素数スレ✨にａｇｅて
皆さまにチェックして貰ってから郵送した方が
郵送コストが無駄にならないかも…?でしょうか…
335:ID:1lEWVa2s
20/04/24 10:59:32 NEYzDdgf.net
ま、読んでないなら宝に気付かないだけで気にしないが。
かわいそうに。
僕は数学を日本数学会事務局が相手にするしない気にせず一方的に送りますが。
なんせ読みたいなら読めばいいだけだから。
336:１３２人目の素数さん
20/04/24 10:59:37 G8hF3Q2u.net
>>320
自分のミスに自分で気付けるのは限界があると思うから…
やっぱり皆さまチェックをして貰ってからの方が…良いんじゃないてしょうか…?
337:ID:1lEWVa2s
20/04/24 11:00:39 NEYzDdgf.net
>>324
だってすれ建てれないもん。