[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
120: 2020/04/22(水)18:06 ID:mg08g5qs(37/48) AAS
↓変態ねらーの呟き↓
121: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:07 ID:gQCe02i1(57/80) AAS
2chｽﾚ:math
＞ネットアンチ収容所
これからBLACKXのことをハイドリヒと呼ばせていただくｗ
122(2): 粋蕎 ◆C2UdlLHDRI 2020/04/22(水)18:08 ID:X38faA9i(8/10) AAS
呑み足りん
123(1): ID:1lEWVa2s 2020/04/22(水)18:08 ID:n+MI8AA7(1/2) AAS
>>122
吞めるだろ今日は。ごめんなさい。
124(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:11 ID:gQCe02i1(58/80) AAS
変態性欲
外部ﾘﾝｸ:ja.wikipedia.org
「抗精神病薬であるエビリファイの服薬により、
新しい性的指向の開発や、異常性欲などの
行動障害を発症することがある。」
ま、関係ないけど（だったら書くなｗ）
125: ID:1lEWVa2s 2020/04/22(水)18:11 ID:n+MI8AA7(2/2) AAS
>>122
僕は酒やらないよ。
126(1): 2020/04/22(水)18:17 ID:mg08g5qs(38/48) AAS
>>124
ﾁﾞﾁﾞｨｯﾁｬﾏ飲み過ぎだったんだw
ほんとの変態かと思ってたw
127: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:18 ID:gQCe02i1(59/80) AAS
2chｽﾚ:math
＞私は中立だよ。
誤 中立
正 無定見
賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ
128: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:20 ID:gQCe02i1(60/80) AAS
>>126
いやいや、酒もクスリも飲んでないって
・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL
129: 2020/04/22(水)18:23 ID:mg08g5qs(39/48) AAS
♪(*´∀`)ﾊﾊﾊ(´∀`*)ｹﾞﾗｹﾞﾗ
ﾊﾊﾊ(´∀`)♪(´∀`)ﾊﾊﾊ♪
ｹﾞﾗｹﾞﾗ
130: 2020/04/22(水)18:30 ID:mg08g5qs(40/48) AAS
も、素数くん、、、
>>123٩(´∀`*)و♪
星座と干支一緒w
131: 2020/04/22(水)18:36 ID:mg08g5qs(41/48) AAS
Ohaluくんちの🐱ﾆｬﾝｺちゃんはお元気ですか。。。?
132: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:37 ID:gQCe02i1(61/80) AAS
個人的にそそられたプレスリリース
外部ﾘﾝｸ:www.s.u-tokyo.ac.jp
余談ですが・・・ボクは系統１です（以前調べた）
133: 2020/04/22(水)18:46 ID:mg08g5qs(42/48) AAS
■ぃ▲▼●ー●ーでしたね…
134: ID:1lEWVa2s 2020/04/22(水)18:54 ID:IWyN5Pb9(1) AAS
しぃずかあぁにぃ。
135: 2020/04/22(水)19:16 ID:mg08g5qs(43/48) AAS
来てた…w
136: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)19:40 ID:gQCe02i1(62/80) AAS
2chｽﾚ:math
>猿芝居をやりだしたら、数学はもう終わり。
もともと数学やりたがるのは変態ｗ
>AI, 宇宙、核融合、生命科学に人材がながれるよ。
やっぱ生命科学かなぁ
AIは・・・いうほど面白くない
137: ID:1lEWVa2s 2020/04/22(水)20:17 ID:zP4DsWDm(1/5) AAS
てすと。
138: ID:1lEWVa2s 2020/04/22(水)20:18 ID:zP4DsWDm(2/5) AAS
ここは書き込めるのか。
すまほににゃろめうぃるすはいった。
まあいいや。
139: ID:1lEWVa2s 2020/04/22(水)20:19 ID:zP4DsWDm(3/5) AAS
ゆぅちゅうぶすらいどできんくなった。
まあいいや。
140: ID:1lEWVa2s 2020/04/22(水)20:19 ID:zP4DsWDm(4/5) AAS
てすと。
141(3): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:19 ID:gQCe02i1(63/80) AAS
諸君らに問題
数学的帰納法は以下の命題と同じであることを示せ
P0 かつ ∃x¬Px ならば ∃x(Px∧¬Psx)
(sxはxの後続者)
142(1): ID:1lEWVa2s 2020/04/22(水)20:23 ID:zP4DsWDm(5/5) AAS
>>141
まずP0が何言ってるかわからないし存在xにp素数掛けるxかつそのp素数の次偶数を掛けるの反対をしたのが何なのか解らん。
まだ、行列の統計の本のが意味解る。
論理学意味不明。解らんだけだけど。
143: ID:1lEWVa2s 2020/04/22(水)20:25 ID:+g0jYdrw(1) AAS
ねりゅ。おやちゅみ。
144(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:32 ID:gQCe02i1(64/80) AAS
>>142
P0：数0は性質Pを満たす
∃x¬Px:ある数xが存在し、xは性質Pを満たさない
さあ、もう分からないとはいわせない
145: ID:1lEWVa2s 2020/04/22(水)20:35 ID:vdJUmMzj(1/4) AAS
>>144
∃x∩∃x|¬P
⇒?
146(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:35 ID:gQCe02i1(65/80) AAS
>>141の論理式を日本語でかくとこうなる
0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない
147: ID:1lEWVa2s 2020/04/22(水)20:37 ID:vdJUmMzj(2/4) AAS
>>146
偶数だから。 但しxは奇数になるだけで
素数かは解らない。
148: ID:1lEWVa2s 2020/04/22(水)20:41 ID:vdJUmMzj(3/4) AAS
ねりゅ。おやちゅみ。
149(1): 2020/04/22(水)20:42 ID:mg08g5qs(44/48) AAS
。。。(”;)お休みなさぃ…
150: ID:1lEWVa2s 2020/04/22(水)20:43 ID:vdJUmMzj(4/4) AAS
>>149
ねりゅ。おやちゅみ。
151: 2020/04/22(水)20:43 ID:mg08g5qs(45/48) AAS
("*)))私も失礼いたします。。。
152: 2020/04/22(水)20:46 ID:mg08g5qs(46/48) AAS
*“))め〜さま…
今日は遊んで頂いてありがとうございました..お先に失礼いたしますね..お休みなさぃ…
153(1): 2020/04/22(水)20:52 ID:l81dZyRC(1) AAS
>>27
いやなんとなく、っていうか
IUTが正しければabc conjectureが証明された（弱いやつだけど）ことになるんで
自分の動画も世間一般の人がそこに至るまでのミッシングリンクとして役に立つんじゃないかなと
まあもう世間ではとっくに忘れられてると思いますけどね
今世紀最大の証明とか銘打っても今すぐどうにかなるってわけでもないし
154(1): 2020/04/22(水)20:54 ID:mg08g5qs(47/48) AAS
(>146…(>Д⊂。)可哀想過ｷﾞﾙ…
誰か答えてあげて…
(´Д`゜)。○゜＊゜。*゜)
155(1): 粋蕎 ◆C2UdlLHDRI 2020/04/22(水)20:56 ID:X38faA9i(9/10) AAS
¬(∀xP(x))≡∃x¬P(x)
¬(∃xP(x))≡∀x¬P(x)
三項目、蛇足入れよったな。相っ変わらずβ
156: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:57 ID:gQCe02i1(66/80) AAS
>>154
＞誰か答えてあげて…
いや、おまえが答えろよｗ
157(1): 2020/04/22(水)20:58 ID:mg08g5qs(48/48) AAS
”*))ねりゅ。おやちゅみw
158(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:59 ID:gQCe02i1(67/80) AAS
>>155
おまえ相変わらずワケワカランこといって頭悪いな マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
159: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:59 ID:gQCe02i1(68/80) AAS
>>157
ねるなぁぁぁぁぁｗ
160: 粋蕎 ◆C2UdlLHDRI 2020/04/22(水)21:02 ID:X38faA9i(10/10) AAS
>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう
161: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)21:05 ID:gQCe02i1(69/80) AAS
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が
「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ
この馬鹿タレが！！！
162(1): 2020/04/22(水)21:55 ID:LxI+KLOb(1/9) AAS
全称命題から特称命題はいえない
絶対ニダ
163(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:32 ID:gQCe02i1(70/80) AAS
2chｽﾚ:math
>結局、3.12の指摘も空振りな状況
望月がそう思いたがってるだけ
164: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:46 ID:gQCe02i1(71/80) AAS
外部ﾘﾝｸ:en.wikipedia.org
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく
そういうこと
165: 2020/04/22(水)22:49 ID:tTF2a26B(1/4) AAS
?“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…
?＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
?=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼
166(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:49 ID:gQCe02i1(72/80) AAS
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
167: 2020/04/22(水)22:51 ID:tTF2a26B(2/4) AAS
?我が名は第七😘kiss魔王
?=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ!
168: 2020/04/22(水)22:52 ID:tTF2a26B(3/4) AAS
?“)ﾉ⌒☆｡.:＊・.｡🌙
ｵﾔｽﾐﾅｻ〜ｨ…<3
169: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:54 ID:gQCe02i1(73/80) AAS
酔っぱらってる？
170: 2020/04/22(水)22:56 ID:tTF2a26B(4/4) AAS
Ｕ're ＩＣＥ!
171(1): 2020/04/22(水)23:04 ID:LxI+KLOb(2/9) AAS
>>166
また一つ公理が増えたな
まあ勝手に構成してろ
人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ
省6
172(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:14 ID:gQCe02i1(74/80) AAS
>>171
＞すべてのカラスは黒い
＞あるカラスが居る ←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？
上記を論理式で表す
省6
173(1): 2020/04/22(水)23:21 ID:LxI+KLOb(3/9) AAS
>>172
>あるものが存在し
これが全称命題からは言えない
つまり3は2と同じことを言っている
全称命題に存在性はないと思うがどうか？
174(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:22 ID:gQCe02i1(75/80) AAS
AA省
175: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:27 ID:gQCe02i1(76/80) AAS
>>173
＞3は2と同じことを言っている
否
２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
２の否定
５．∀ｘ．カラス（ｘ）→¬黒（ｘ） すべてのカラスは黒くない
省3
176(2): 2020/04/22(水)23:29 ID:LxI+KLOb(4/9) AAS
すべてのカラスは黒くない
∀x(Fx→Gx)
等値
∀x(¬Fx∨Gx)
その否定
省6
177: 2020/04/22(水)23:34 ID:LxI+KLOb(5/9) AAS
>>176
訂正
すべてのカラスは黒い
178(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:35 ID:gQCe02i1(77/80) AAS
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）→¬黒（ｘ） ５ ２の否定
カラス（ａ）→黒（ａ） １の全称例化
カラス（ａ）→¬黒（ａ） ５の全称例化
¬カラス（ａ） 黒（ａ）
¬カラス（ａ）¬黒（ａ）¬カラス（ａ） ¬黒（ａ）
×
省1
179: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:40 ID:gQCe02i1(78/80) AAS
>>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)は導けない
180(1): 2020/04/22(水)23:44 ID:LxI+KLOb(6/9) AAS
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない
カラスは居る/居ない
省1
181(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:49 ID:gQCe02i1(79/80) AAS
>>180
君がずらしている
論理式を見ろ
それで君が誤ってると分かる
分からないのは君が式を理解できないから
式を理解しろ
182(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:53 ID:gQCe02i1(80/80) AAS
>>174 >>178 はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く
これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単
183: 2020/04/22(水)23:55 ID:LxI+KLOb(7/9) AAS
>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな
184: 2020/04/22(水)23:57 ID:LxI+KLOb(8/9) AAS
>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら
185(2): 2020/04/22(水)23:59 ID:LxI+KLOb(9/9) AAS
命題論理のタブローならわかるから
書き直してみろよ
186: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:04 ID:HZRVAVG+(1/41) AAS
>>185
＞命題論理のタブローならわかるから
述語論理のタブローを理解しろ
＞書き直してみろよ
述語論理は命題論理より記述力が上
述語論理 勉強しろよ
省1
187: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:11 ID:HZRVAVG+(2/41) AAS
2chｽﾚ:math
>その議論は、私の数学レベルを遙かに超えているのですが
IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ
そもそも、タイヒミュラー理論、分かってんのか？ｗ
外部ﾘﾝｸ:en.wikipedia.org
188: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:21 ID:HZRVAVG+(3/41) AAS
2chｽﾚ:math
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる
そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが
RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？
189: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:25 ID:HZRVAVG+(4/41) AAS
2chｽﾚ:math
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
省8
190(1): ID:1lEWVa2s 2020/04/23(木)08:28 ID:r9wP+5Oj(1) AAS
おはよう。
191(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:33 ID:HZRVAVG+(5/41) AAS
蛇足
2chｽﾚ:math
>何でよりによって素人がIUT目指すんだろうか
ステートメントの意味が素人でも分かるからだろ
フェルマーと同じだよ
もちろん「初等的な」証明が不可能、とはいえない
省3
192: ID:1lEWVa2s 2020/04/23(木)08:41 ID:rdBcJgIA(1) AAS
もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。
193: 2020/04/23(木)08:46 ID:ROJTyYdQ(1/31) AAS
>>190
お早うＯhaluくん😸🎶
194: ID:1lEWVa2s 2020/04/23(木)08:51 ID:kfSGmOV6(1) AAS
ニュース速報+は馬鹿の集まり。
195: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)08:54 ID:HZRVAVG+(6/41) AAS
今日は敵の名称を考えることにしよう
「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」
・・・ああ、バカバカしいｗ
外部ﾘﾝｸ:ja.wikipedia.org
196: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)09:07 ID:HZRVAVG+(7/41) AAS
「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう
「IUTを守る会 会長」とかｗ
197: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)09:20 ID:HZRVAVG+(8/41) AAS
Peter Woit says
>double down on unethical behavior, claiming “there is an argument but we have to keep it secret”
「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」
もしRIMSがこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！
198(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)09:37 ID:HZRVAVG+(9/41) AAS
Ｍブログ曰く
「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。
前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、
理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、
つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。
一方、「誤解学」と呼んでいる後者の方の活動ですが、
相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」
省1
199: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)09:46 ID:HZRVAVG+(10/41) AAS
>>198
Ｍは肝心な点を見逃している
「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である
つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される
省4
200: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)09:48 ID:HZRVAVG+(11/41) AAS
今一度、>>16を再掲する
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)
上下前次1-新書関写板覧索設栞歴
あと 802 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s