[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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)
201: ID:1lEWVa2s 2020/04/23(木)09:50 ID:LjUIpMcw(1/3) AAS
馬鹿英語使うな。
202: ID:1lEWVa2s 2020/04/23(木)09:51 ID:LjUIpMcw(2/3) AAS
馬鹿ぁ英語使うな。
203: ID:1lEWVa2s 2020/04/23(木)09:52 ID:LjUIpMcw(3/3) AAS
馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。
204(1): 2020/04/23(木)09:53 ID:ROJTyYdQ(2/31) AAS
…/◎◎\
(*..)…
/◎◎\
ずっと◎◎見てると…
ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?
(Д`゜)。゜*゜みちゃﾀﾞﾒだ〜?…
205: 2020/04/23(木)09:56 ID:ROJTyYdQ(3/31) AAS
?=3 ﾋﾟｭｯ!
もっちー様 ｺﾞﾒﾝﾅｻ-ｨ!
206: ID:1lEWVa2s 2020/04/23(木)10:00 ID:j1YW93bg(1) AAS
>>204
😳。
207: 2020/04/23(木)10:06 ID:ROJTyYdQ(4/31) AAS
Ｏhaluくんにびっくりされたw
208(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)10:10 ID:HZRVAVG+(12/41) AAS
2chｽﾚ:math
＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」
＞注）＊＊は、「肯定的」 or 「否定的」
そもそも「IUTを守る会 会長」ｗの
「肯定的」「否定的」の判断記述が不明
もし、
省7
209: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)10:14 ID:HZRVAVG+(13/41) AAS
>>208 の厳しい基準では
「「前提」及び「結論の否定」から矛盾が導かれるとしても
矛盾に至る証明がいまだ見出されていない状態」
は否定的となるが、それはむしろ当然である
フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった
省1
210: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)10:32 ID:HZRVAVG+(14/41) AAS
まあ、現実には恒に厳しい基準が適用されたわけでもないが
ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された
しかし、論理学者は誰もそこにつっこまなかった
「やればできるだろう」と皆が認めたから
実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
省2
211: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)11:06 ID:HZRVAVG+(15/41) AAS
2chｽﾚ:math
ああ、「IUTを守る会 会長」は全然、数学ってもんが分かってないな
そもそも
ヴォイタ予想
外部ﾘﾝｸ:ja.wikipedia.org
ABC予想
外部ﾘﾝｸ:ja.wikipedia.org
省8
212: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)11:20 ID:HZRVAVG+(16/41) AAS
ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた
「まず、ポアンカレ予想を解かれたことに落胆し、
それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
そして、その解の解説がまったく理解できないことに落胆した」
だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが
省3
213: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)11:45 ID:HZRVAVG+(17/41) AAS
2chｽﾚ:math
外部ﾘﾝｸ[pdf]: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
省7
214: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)11:49 ID:HZRVAVG+(18/41) AAS
2chｽﾚ:math
＞山下解説外している気がする
師匠のdangerousな脱線をさりげなく軌道修正する弟子
215: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)11:59 ID:HZRVAVG+(19/41) AAS
2chｽﾚ:math
＞数学分かってない人が、アンチスレで絶叫しているようだが
正規部分群の定義も間違えた「IUTを守る会 会長」が翼賛スレで絶叫してるな
＞アンチスレの研究できなかった人のタワゴトには、困るなぁ〜
翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ
京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
省6
216(1): y7fKJ8VsjMの保護者 2020/04/23(木)12:03 ID:SJ20ZnnX(1) AAS
平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください
217(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)12:13 ID:HZRVAVG+(20/41) AAS
>>216
残念だが仕事はしてる もう３０年務めた
結婚しなかったおかげで 貯金は結構たまったよ（ニンマリ）
218(1): 2020/04/23(木)12:33 ID:pFvIaQaL(1/5) AAS
>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ
219(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)13:03 ID:HZRVAVG+(21/41) AAS
AA省
220: 2020/04/23(木)13:12 ID:pFvIaQaL(2/5) AAS
>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って
221(1): 2020/04/23(木)13:14 ID:ROJTyYdQ(5/31) AAS
(*“(>>217)
＞お金は貯まった
ﾋｿｯ(そぅぃぅことは...
絶対 言っちゃダメ！)
イッチャ、ダメ、ゼッタイ
今から災難を引き寄せる悪癖は改めましょぅ・・・
１人暮らしの老人が
省10
222(2): 2020/04/23(木)13:38 ID:pFvIaQaL(3/5) AAS
「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ
223: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)13:57 ID:HZRVAVG+(22/41) AAS
>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ
224(1): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)14:00 ID:HZRVAVG+(23/41) AAS
>>221
＞１人暮らし
じゃないから
残念だったね
225: 2020/04/23(木)14:00 ID:ROJTyYdQ(6/31) AAS
♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ〜ﾝ🎶
。゜*゜。🎶。゜*゜。🎶
春の家計見直しプランお知らせで〜す。。。
✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
省14
226: 2020/04/23(木)14:02 ID:pFvIaQaL(4/5) AAS
ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる〜」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる
で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる
227: 2020/04/23(木)14:03 ID:ROJTyYdQ(7/31) AAS
>>224
ΣΣΣ((((´Д｀；)))
228: 2020/04/23(木)14:04 ID:ROJTyYdQ(8/31) AAS
○ ○ ○
229: 2020/04/23(木)14:04 ID:ROJTyYdQ(9/31) AAS
※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★
230(1): 2020/04/23(木)14:05 ID:pFvIaQaL(5/5) AAS
>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた
231: 2020/04/23(木)14:06 ID:ROJTyYdQ(10/31) AAS
ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ
232: 2020/04/23(木)14:08 ID:ROJTyYdQ(11/31) AAS
(騙された。。。❔)
?ΣΣΣΣ(((((๑ºдº๑)))))
233: 2020/04/23(木)14:12 ID:ROJTyYdQ(12/31) AAS
▂▂┃┃┃▂▂
((⚫))((⚫))
234: 2020/04/23(木)14:18 ID:ROJTyYdQ(13/31) AAS
AA省
235: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)14:20 ID:HZRVAVG+(24/41) AAS
兄弟で暮らしてますが何か？
外部ﾘﾝｸ:ja.wikipedia.org
236: 2020/04/23(木)14:21 ID:ROJTyYdQ(14/31) AAS
゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆
237: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)15:02 ID:HZRVAVG+(25/41) AAS
IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）
ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
省1
238: 2020/04/23(木)15:37 ID:onmAzHJf(1/4) AAS
お立ち台はどうだった？
239: 2020/04/23(木)15:55 ID:ROJTyYdQ(15/31) AAS
ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！
240: 2020/04/23(木)15:57 ID:ROJTyYdQ(16/31) AAS
(ノД`。)゜
241: 2020/04/23(木)16:01 ID:ROJTyYdQ(17/31) AAS
ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？
242: 2020/04/23(木)16:04 ID:ROJTyYdQ(18/31) AAS
６３歳だったんですって…
。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…
243: 2020/04/23(木)16:06 ID:ROJTyYdQ(19/31) AAS
安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³
244: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)16:38 ID:HZRVAVG+(26/41) AAS
2chｽﾚ:math
>望月IUTが、何を証明するのか、実はよく知らないんだ
IUTを守る会 会長 自分が守りたいものが何かも分かってなかったｗ
なんだろうなこの馬鹿はｗ
ABC予想
外部ﾘﾝｸ:ja.wikipedia.org
あいつは引用のイロハも分かってない
省19
245: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)16:50 ID:HZRVAVG+(27/41) AAS
2chｽﾚ:math
あの馬鹿は、３つの定式化が同値であることも理解できねぇ
こんなん高卒レベルだろ あいつホントに大学受かったんか？ｗ
「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 + ε を満たすものは
省15
246(1): 2020/04/23(木)16:59 ID:XWvRD9DG(1/10) AAS
任意の値に具体的数値を入れている時点でゴミ
上下前次1-新書関写板覧索設栞歴
あと 756 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s